Revision 58a463e7
Added by Pierre-Loïc Garoche over 7 years ago
| src/lustreSpec.ml | ||
|---|---|---|
| 75 | 75 |
|
| 76 | 76 |
type quantifier_type = Exists | Forall |
| 77 | 77 |
|
| 78 |
|
|
| 79 |
|
|
| 80 | 78 |
(* The tag of an expression is a unique identifier used to distinguish |
| 81 | 79 |
different instances of the same node *) |
| 82 | 80 |
type expr = |
| ... | ... | |
| 209 | 207 |
|
| 210 | 208 |
type program = top_decl list |
| 211 | 209 |
|
| 210 |
type dep_t = Dep of |
|
| 211 |
bool |
|
| 212 |
* ident |
|
| 213 |
* (top_decl list) |
|
| 214 |
* bool (* is stateful *) |
|
| 215 |
|
|
| 212 | 216 |
type error = |
| 213 | 217 |
Main_not_found |
| 214 | 218 |
| Main_wrong_kind |
Also available in: Unified diff
Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@380 041b043f-8d7c-46b2-b46e-ef0dd855326e