TODO 1.08 KB
Newer Older
1
======================================================================
2
Beppe 2003-11-30
3

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


======================================================================
8
9
10
11
12
13
14
15
Beppe 2003-01-23

Add the following types. 

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

16
17
18
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...
19

20
======================================================================
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
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