TODO 1.22 KB
Newer Older
1
2
3
4
5
======================================================================
Alain 2005-03-04

Handle OCaml exception in the OCaml/CDuce interface

6
======================================================================
7
Beppe 2003-11-30
8

9
10
11
12
Add url support for non selfcontained documents and expat


======================================================================
13
14
15
16
17
18
19
20
Beppe 2003-01-23

Add the following types. 

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

21
22
23
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...
24

25
======================================================================
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
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