TODO 4.45 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17



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

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

18
19
20
21
22
23
24
25
26
27
Beppe 2003-07-01

Ajouter des delimitateurs pour pouvoir ecrire du xml verbatim

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


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


28
29
30
31
32
33
34
35
36
37
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 . -
38
au milieu du tag
39

40
41
42
43
44
45
46
47
48

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.

49
======================================================================
50
51
52
53
54
55
56
57
58
59
60
61

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 ?

62

63
64
65
66
67
Regarder plus en general la section Error mining du Design paper


Alain 2003-05-15

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

70

71
72
73
74
75
76
======================================================================

Beppe 2003-03-02

Add an operator random(n)

77
é
78

79
======================================================================
80
81
82
83
84
85
86
87
88
89


Beppe 2003-01-23

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

(Add floats????)


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

95
96
97
98
99
100
101
======================================================================

Beppe 2003-01-23

Add libraries inclusion


102
103
104
105
Alain 2003-03-16
  Implemented source file inclusion as a temporary solution


106
107
108
109
110
111
112
113
114
115
======================================================================

Beppe 2003-01-23

Add the following types. 

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

116
117
118
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...
119

120
======================================================================
121
122
123
124
125

Alain 2003-03-16

  Issue a warning for inclusion loops

126
127
128
Alain 2003-05-15
  Done

129
130
======================================================================

131
Alain 2003-03-16
132
133
134
135
136

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

137
138
139
140

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

141
142
======================================================================

143
Zack 2003-05-08
144
145
146

  Support for unary "-"

147
148
149
150
151
152
153
154
155
156
157
158
159

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
  
160
161
162
163
164
165
166
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)

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

171
172
======================================================================

173
174
175
176
177
178
179
180
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...)
181

182
183
184
Alain 2003-09-23
  Fait il y a longtemps.

185
186
187
188
189
190
======================================================================

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

192
193
194
Alain 2003-06-17  
  Fait

195
196
197
198
199
200
======================================================================

Alain 2003-05-29

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

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