[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-dev] Use of ids and CDuce typing

From: David MENTRE
Subject: [Demexp-dev] Use of ids and CDuce typing
Date: Mon, 31 Jan 2005 21:52:19 +0100
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Hello Serge,

I noticed that in your code, your write different ids for different
parts of the CDuce data type:

type Xml_participant = 
    <participant p_id=Xml_id [...]
type Xml_tag = <tag t_id=Xml_id>Latin1 ;;
type Xml_response =
    <response r_id=Xml_id [...]
type Xml_question = 
    <question q_id=Xml_id [...]

Is using different identifiers (p_id, t_id, r_id, q_id) mandatory for

pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

reply via email to

[Prev in Thread] Current Thread [Next in Thread]