Project

General

Profile

« Previous | Next » 

Revision 58a463e7

Added by Pierre-Loïc Garoche over 7 years ago

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

View differences:

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