Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
src/global.ml | ||
---|---|---|
1 |
module Types = Types.Main |
|
2 |
|
|
1 | 3 |
let type_env : (Types.type_expr Env.t) ref = ref Env.initial |
2 | 4 |
let clock_env : (Clocks.clock_expr Env.t) ref = ref Env.initial |
3 | 5 |
let basename = ref "" |
Also available in: Unified diff
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program