TODO 5.23 KB
Newer Older
1
Beppe 2003-11-30
2

3
4
5
6
Add url support for non selfcontained documents and expat


======================================================================
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22


Beppe 2003-11-15

Make a configure file so that 
1. add the .exe suffix in case of 
Cygwin environment. Also put complete path to the install command
(which otherwise under Cygwin calls the INSTALL file)

2. set NATIVE on the presence of ocamlopt

Beppe 2003-11-17
1. done

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

23
24
25
26
27
28
29
30
31
32
Beppe 2003-07-01

Ajouter des delimitateurs pour pouvoir ecrire du xml verbatim

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


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


33
34
35
36
37
38
39
40
41
42
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 . -
43
au milieu du tag
44

45
46
47
48
49
50
51
52
53

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.

54
======================================================================
55
56
57
58
59
60
61
62
63
64
65
66

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 ?

67

68
69
70
71
72
Regarder plus en general la section Error mining du Design paper


Alain 2003-05-15

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

75

76
77
78
79
80
81
======================================================================

Beppe 2003-03-02

Add an operator random(n)

82
é
83

84
======================================================================
85
86
87
88
89
90
91
92
93
94


Beppe 2003-01-23

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

(Add floats????)


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

100
101
102
103
104
105
106
======================================================================

Beppe 2003-01-23

Add libraries inclusion


107
108
109
110
Alain 2003-03-16
  Implemented source file inclusion as a temporary solution


111
112
113
114
115
116
117
118
119
120
======================================================================

Beppe 2003-01-23

Add the following types. 

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

121
122
123
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...
124

125
======================================================================
126
127
128
129
130

Alain 2003-03-16

  Issue a warning for inclusion loops

131
132
133
Alain 2003-05-15
  Done

134
135
======================================================================

136
Alain 2003-03-16
137
138
139
140
141

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

142
143
144
145

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

146
147
======================================================================

148
Zack 2003-05-08
149
150
151

  Support for unary "-"

152
153
154
155
156
157
158
159
160
161
162
163
164

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
  
165
166
167
168
169
170
171
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)

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

176
177
======================================================================

178
179
180
181
182
183
184
185
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...)
186

187
188
189
Alain 2003-09-23
  Fait il y a longtemps.

190
191
192
193
194
195
======================================================================

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

197
198
199
Alain 2003-06-17  
  Fait

200
201
202
203
204
205
======================================================================

Alain 2003-05-29

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

206
207
Alain 2003-06-17  
  Fait, il y a qq temps déjà
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230

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

Alain 2004-01-22


Bug signalé par Cedric:
        CDuce version 0.2.0-pre3

# let fun toto ( String -> String)
 |Int -> x
 |_ -> raise "";;
Warning at chars 35-43:
This branch is not used
Fatal error: exception Failure("Compile: cannot find x")


La branche inutilisée n'est pas du tout type-checkée.
Solutions possibles:
 - type-checker quand même les branches inutilisées
 - eventuellement, vérifier seulement la definition des variables utilisées
 - calculer les variables libres d'une fonction après la detection
   des branches inutilisées, pour ne pas en tenir compte