Project

General

Profile

« Previous | Next » 

Revision 66359a5e

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

[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

View differences:

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