|
Task #201 Logical let rec |
|
Opened by Lionel Habib (habib) - 6 Mar 2009 |
| Task Type |
Bug Report |
| Category |
Compiler |
| Status |
Assigned |
| Assigned To |
François Pessaux (francois) |
| Operating System |
All |
|
| Severity |
Medium |
| Reported Version |
CVS |
| Due in Version |
CVS |
| Percent Complete |
|
|
| Details |
La propriété paramétrée suivante :
logical let rec reachable (st in St) =
reachable (st) ;
produit l'erreur :
Types basics#bool and coq_builtins#prop are not compatible.
alors qu'il devrait probablement y avoir une erreur de syntaxe sur le "rec". |
|
|
Home 
