Contents of /cduce/trunk/TODO

- Define a small library to pretty print xml documents
  e.g.  pretty_dump_xml_to_file (shorter name of course)


- Dans l'evaluateur, pour les appels en position terminale, essayer de réutiliser
  l'environnement (si c'est la bonne taille, réutiliser le bloc; si c'est les bonnes
  valeurs, juste utiliser le même bloc).

- Problem: a custom toplevel doesn't find ./cdo2ml (should put the path
  to cduce's directory in the toplevel?)


======================================================================
Alain 2005-06-18

Simplifier la sérialisation/déserialisation des structures internes;
utiliser les fonctions de sérialisation de Caml.

Plan d'attaque:

- utiliser des clés de hachage au lieu d'entiers séquentiels pour représenter
  les namespaces, tags, labels, identificateurs; signaler quand même 
  les collisions dans chaque espace de nommage.

    type 'a t
    val mk: int -> 'a t = "%identity"
    val get: 'a t -> int = "%identity"

  (autre avantage: possibilité de generer statiquement tables de dispatch
  sur les atomes)

  
- pour les structures cycliques (types, patterns, automates): attacher
  un identifiant unique d'unité de compilation dans chaque noeud;
  interdire deux unités avec même id. Accepter que les mêmes noeuds
  se retrouvent dupliqués en mémoire (on peut quand detecter l'égalité
  en regardant id d'unité + id séquentiel).


Autres idées:

- applatir la representation des valeurs.
  | Atom of ns * local
  | Xml of ns * local * fields * v

  (support du système de types pour interdire autre chose en position
  de tag / attribut - bonne chose de toute manière).

- représentation plus compacte des descriptions de types, liste
  chainée par ordre croissant des constructeurs:

   type descr =
    | Prod of BoolPair.t * descr
    | Times of BoolPair.t * descr
    | ...
    | Empty

  Avantage: opérations plus rapides ? (à vérifier)   Bien choisir
  l'ordre.
  Supprimer clé de hash stockée.

- Utiliser un générateur automatique pour les fonctions de hash/comparaison.

======================================================================
Alain 2005-03-04

Handle OCaml exception in the OCaml/CDuce interface

======================================================================
Beppe 2003-11-30

Add url support for non selfcontained documents and expat


======================================================================
Beppe 2003-01-23

Add the following types. 

<!--> String
<? T> String
<!cdata> String

Alain 2003-05-15
  Il faut faire attention: on ne veut pas de commentaires dans la
  representation interne, on ne veut pas distinguer section CDATA, etc...

1	- Define a small library to pretty print xml documents
2	e.g. pretty_dump_xml_to_file (shorter name of course)
3
4
5	- Dans l'evaluateur, pour les appels en position terminale, essayer de réutiliser
6	l'environnement (si c'est la bonne taille, réutiliser le bloc; si c'est les bonnes
7	valeurs, juste utiliser le même bloc).
8
9	- Problem: a custom toplevel doesn't find ./cdo2ml (should put the path
10	to cduce's directory in the toplevel?)
11
12
13	======================================================================
14	Alain 2005-06-18
15
16	Simplifier la sérialisation/déserialisation des structures internes;
17	utiliser les fonctions de sérialisation de Caml.
18
19	Plan d'attaque:
20
21	- utiliser des clés de hachage au lieu d'entiers séquentiels pour représenter
22	les namespaces, tags, labels, identificateurs; signaler quand même
23	les collisions dans chaque espace de nommage.
24
25	type 'a t
26	val mk: int -> 'a t = "%identity"
27	val get: 'a t -> int = "%identity"
28
29	(autre avantage: possibilité de generer statiquement tables de dispatch
30	sur les atomes)
31
32
33	- pour les structures cycliques (types, patterns, automates): attacher
34	un identifiant unique d'unité de compilation dans chaque noeud;
35	interdire deux unités avec même id. Accepter que les mêmes noeuds
36	se retrouvent dupliqués en mémoire (on peut quand detecter l'égalité
37	en regardant id d'unité + id séquentiel).
38
39
40	Autres idées:
41
42	- applatir la representation des valeurs.
43	\| Atom of ns * local
44	\| Xml of ns * local * fields * v
45
46	(support du système de types pour interdire autre chose en position
47	de tag / attribut - bonne chose de toute manière).
48
49	- représentation plus compacte des descriptions de types, liste
50	chainée par ordre croissant des constructeurs:
51
52	type descr =
53	\| Prod of BoolPair.t * descr
54	\| Times of BoolPair.t * descr
55	\| ...
56	\| Empty
57
58	Avantage: opérations plus rapides ? (à vérifier) Bien choisir
59	l'ordre.
60	Supprimer clé de hash stockée.
61
62	- Utiliser un générateur automatique pour les fonctions de hash/comparaison.
63
64	======================================================================
65	Alain 2005-03-04
66
67	Handle OCaml exception in the OCaml/CDuce interface
68
69	======================================================================
70	Beppe 2003-11-30
71
72	Add url support for non selfcontained documents and expat
73
74
75	======================================================================
76	Beppe 2003-01-23
77
78	Add the following types.
79
80	<!--> String
81	<? T> String
82	<!cdata> String
83
84	Alain 2003-05-15
85	Il faut faire attention: on ne veut pas de commentaires dans la
86	representation interne, on ne veut pas distinguer section CDATA, etc...
87