|
Task #195 Zenon et syntaxe des annotations de type *. |
|
Opened by François Pessaux (francois) - 5 Jan 2009 |
| Task Type |
Bug Report |
| Category |
Zenon |
| Status |
Unconfirmed |
| Assigned To |
Damien Doligez (doligez) |
| Operating System |
All |
|
| Severity |
Medium |
| Reported Version |
Current |
| Due in Version |
Undecided |
| Percent Complete |
|
|
| Details |
Il semblerait que zenon ne reconnaisse pas la syntaxe
let (a : ((_p_Aut2_T * _p_Po_T)%type))
et pointe sur le *.
Ceci se produit par exemple sur le fichier focalize/focalizec/src/contribs/automata/switch_automata.fcl version 1.2. Zenon reporte une "Syntax error".
|
|
|
| Other tasks that this task is related to |
|
Home 
