Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
src/env.ml | ||
---|---|---|
27 | 27 |
IMap.mem ident env |
28 | 28 |
|
29 | 29 |
let iter env f = IMap.iter f env |
30 |
let fold = IMap.fold |
|
30 | 31 |
|
31 | 32 |
(* Merges x and y. In case of conflicting definitions, |
32 | 33 |
overwrites definitions in x by definitions in y *) |
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