cgi-bin/viewcvs.cgi/TODO

Beppe 2003-07-01

Ajouter des delimitateurs pour pouvoir ecrire du xml verbatim

zack propose """   """   moi je pensais {{ }}


======================================================================


Beppe  2003-01-17

Il faudrait que les tags soyent compatibles avec le standard XML

    Name    ::=    (Letter | '_' | ':') (NameChar)*

NameChar    ::=    Letter | Digit | '.' | '-' | '_' | ':' 
            |      CombiningChar | Extender

Donc en particulier au moins permettre _ et : comme debut de tag et . -
au milieu du tag


Alain 2003-05-15
  En fait, il vaut mieux imposer les contraintes de Namespaces
  (ie, au plus un : ).

  C'est presque fait au niveau du lexer; il suffit de trouver une
  syntaxe quand le source est en Latin1 pour mettre des charactères
  non représentables dans les identificateurs/tags.

======================================================================

Alain 2003-01-20

Warning ou erreur pour une déclaration:

type T = ...

avec T==Empty


Ou alors, dès que l'on rencontre une expression de type vide ?


Regarder plus en general la section Error mining du Design paper


Alain 2003-05-15

  Fait: détection des déclaration de type qui donnent un type vide


======================================================================

Beppe 2003-03-02

Add an operator random(n)

é

======================================================================


Beppe 2003-01-23

Add comparison operators for integers (< > >= <= ==) booleans
and ifthenelse

(Add floats????)


Alain 2003-05-15
  Booléens:  type Bool = `True | `False
  if-then-else
  Comparaison << >> = <= >= sur toutes les valeurs non-fonctionnelles

======================================================================

Beppe 2003-01-23

Add libraries inclusion


Alain 2003-03-16
  Implemented source file inclusion as a temporary solution


======================================================================

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...

======================================================================

Alain 2003-03-16

  Issue a warning for inclusion loops

Alain 2003-05-15
  Done

======================================================================

Alain 2003-03-16

  Pretty-printing (or at least decent-printing) of types
  Decompilation of regexp
  Detection of defined names


Alain 2003-06-17  
  Fait, il y a qq temps déjà

======================================================================

Zack 2003-05-08

  Support for unary "-"


Alain 2005-05-15
  Fait (pas très satisfaisant:  a-b est un identificateur;
  1-2 ne marche pas non plus; etc...)

======================================================================

Alain 2003-05-15

  Terminer support pour Unicode:
  load_xml charge représentation UTF-8; adapter print_xml
  noms de tags et identificateurs en UTF-8 en interne
  
Alain 2003-06-17  
  Fait, il y a qq temps déjà
  Il reste:
  - donner la possibilité d'utiliser des identificateurs/tags
    Unicode dans un source CDuce en Latin1
  - source en UTF8 (ou autre)

Alain 2003-09-23
  Avec le passage à ulex, on gagne la possibilité de changer
  l'encoding du source

======================================================================

Alain 2003-05-15

  Support pour namespaces.
  Deux solutions: utiliser paires à la place des tags dans les
  éléments XML, ou faire que les tags/atomes soient des paires.
  Syntaxe pour déclarer des préfixes dans les sources.
  Etudier les problèmes avec print_xml (ex: XHTML a besoin
  d'avoir un prefixe bien défini...)

Alain 2003-09-23
  Fait il y a longtemps.

======================================================================

Alain 2003-05-19

  Noeud spécial dans l'AST pour les sequences et les chaines
  (meilleurs messages d'erreurs + meilleure implémentation des chaines).

Alain 2003-06-17  
  Fait

======================================================================

Alain 2003-05-29

  let fun f (...) ===>  let f (...)

Alain 2003-06-17  
  Fait, il y a qq temps déjà
1	Beppe 2003-07-01
2
3	Ajouter des delimitateurs pour pouvoir ecrire du xml verbatim
4
5	zack propose """ """ moi je pensais {{ }}
6
7
8	======================================================================
9
10
11	Beppe 2003-01-17
12
13	Il faudrait que les tags soyent compatibles avec le standard XML
14
15	Name ::= (Letter \| '_' \| ':') (NameChar)*
16
17	NameChar ::= Letter \| Digit \| '.' \| '-' \| '_' \| ':'
18	\| CombiningChar \| Extender
19
20	Donc en particulier au moins permettre _ et : comme debut de tag et . -
21	au milieu du tag
22
23
24	Alain 2003-05-15
25	En fait, il vaut mieux imposer les contraintes de Namespaces
26	(ie, au plus un : ).
27
28	C'est presque fait au niveau du lexer; il suffit de trouver une
29	syntaxe quand le source est en Latin1 pour mettre des charactères
30	non représentables dans les identificateurs/tags.
31
32	======================================================================
33
34	Alain 2003-01-20
35
36	Warning ou erreur pour une déclaration:
37
38	type T = ...
39
40	avec T==Empty
41
42
43	Ou alors, dès que l'on rencontre une expression de type vide ?
44
45
46	Regarder plus en general la section Error mining du Design paper
47
48
49	Alain 2003-05-15
50
51	Fait: détection des déclaration de type qui donnent un type vide
52
53
54	======================================================================
55
56	Beppe 2003-03-02
57
58	Add an operator random(n)
59
60	é
61
62	======================================================================
63
64
65	Beppe 2003-01-23
66
67	Add comparison operators for integers (< > >= <= ==) booleans
68	and ifthenelse
69
70	(Add floats????)
71
72
73	Alain 2003-05-15
74	Booléens: type Bool = `True \| `False
75	if-then-else
76	Comparaison << >> = <= >= sur toutes les valeurs non-fonctionnelles
77
78	======================================================================
79
80	Beppe 2003-01-23
81
82	Add libraries inclusion
83
84
85	Alain 2003-03-16
86	Implemented source file inclusion as a temporary solution
87
88
89	======================================================================
90
91	Beppe 2003-01-23
92
93	Add the following types.
94
95	<!--> String
96	<? T> String
97	<!cdata> String
98
99	Alain 2003-05-15
100	Il faut faire attention: on ne veut pas de commentaires dans la
101	representation interne, on ne veut pas distinguer section CDATA, etc...
102
103	======================================================================
104
105	Alain 2003-03-16
106
107	Issue a warning for inclusion loops
108
109	Alain 2003-05-15
110	Done
111
112	======================================================================
113
114	Alain 2003-03-16
115
116	Pretty-printing (or at least decent-printing) of types
117	Decompilation of regexp
118	Detection of defined names
119
120
121	Alain 2003-06-17
122	Fait, il y a qq temps déjà
123
124	======================================================================
125
126	Zack 2003-05-08
127
128	Support for unary "-"
129
130
131	Alain 2005-05-15
132	Fait (pas très satisfaisant: a-b est un identificateur;
133	1-2 ne marche pas non plus; etc...)
134
135	======================================================================
136
137	Alain 2003-05-15
138
139	Terminer support pour Unicode:
140	load_xml charge représentation UTF-8; adapter print_xml
141	noms de tags et identificateurs en UTF-8 en interne
142
143	Alain 2003-06-17
144	Fait, il y a qq temps déjà
145	Il reste:
146	- donner la possibilité d'utiliser des identificateurs/tags
147	Unicode dans un source CDuce en Latin1
148	- source en UTF8 (ou autre)
149
150	Alain 2003-09-23
151	Avec le passage à ulex, on gagne la possibilité de changer
152	l'encoding du source
153
154	======================================================================
155
156	Alain 2003-05-15
157
158	Support pour namespaces.
159	Deux solutions: utiliser paires à la place des tags dans les
160	éléments XML, ou faire que les tags/atomes soient des paires.
161	Syntaxe pour déclarer des préfixes dans les sources.
162	Etudier les problèmes avec print_xml (ex: XHTML a besoin
163	d'avoir un prefixe bien défini...)
164
165	Alain 2003-09-23
166	Fait il y a longtemps.
167
168	======================================================================
169
170	Alain 2003-05-19
171
172	Noeud spécial dans l'AST pour les sequences et les chaines
173	(meilleurs messages d'erreurs + meilleure implémentation des chaines).
174
175	Alain 2003-06-17
176	Fait
177
178	======================================================================
179
180	Alain 2003-05-29
181
182	let fun f (...) ===> let f (...)
183
184	Alain 2003-06-17
185	Fait, il y a qq temps déjà