|
Task #207 Erreur de syntaxe Zenon sur les let in. |
|
Opened by François Pessaux (francois) - 28 May 2009 |
| Task Type |
Bug Report |
| Category |
Zenon |
| Status |
Assigned |
| Assigned To |
Damien Doligez (doligez) |
| Operating System |
All |
|
| Severity |
High |
| Reported Version |
Current |
| Due in Version |
Undecided |
| Percent Complete |
|
|
| Details |
Il semblerait que Zenon ne reconnaisse pas la syntaxe des let in.
C.f. le fichier .zv en attachement qui ne passe pas lorsque l'on le donne à Zenon:
diddlina:~/devel/ssurf/focalize/focalizec$ zvtov -debug -new ~/BUG_tutorial_sets.zv
#1 File "/home/didou/BUG_tutorial_sets.fcl":
File "/home/didou/BUG_tutorial_sets.zv-zvtmp.coz", line 12, character 19:
Zenon error: syntax error.
### proof failed
|
|
|