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/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