Revision 9bdfc99f
Added by Xavier Thirioux over 10 years ago
| src/lustreSpec.ml | ||
|---|---|---|
| 33 | 33 |
| Tydec_clock of type_dec_desc |
| 34 | 34 |
| Tydec_const of ident |
| 35 | 35 |
| Tydec_enum of ident list |
| 36 |
(* | Tydec_struct of (ident * type_dec_desc) list *) |
|
| 36 | 37 |
| Tydec_array of Dimension.dim_expr * type_dec_desc |
| 37 | 38 |
|
| 38 | 39 |
type clock_dec = |
Also available in: Unified diff
corrected bug in arrow macros names, added storage attribute for static alloc macros, option -d now creates the destination directory if needed, with current dir as file permissions