Mercurial > urweb

comparison src/mono_env.sig @ 2257:28a541bd2d23

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use referenced (rather than all) free variables as keys for pure caches.
author Ziv Scully <ziv@mit.edu>
date Sun, 27 Sep 2015 14:46:12 -0400
parents 6f2ea4ed573a
children
comparison
equal deleted inserted replaced
2256:6f2ea4ed573a 2257:28a541bd2d23
40 val lookupConstructor : env -> int -> string * Mono.typ option * int 40 val lookupConstructor : env -> int -> string * Mono.typ option * int
41 41
42 val pushERel : env -> string -> Mono.typ -> Mono.exp option -> env 42 val pushERel : env -> string -> Mono.typ -> Mono.exp option -> env
43 val lookupERel : env -> int -> string * Mono.typ * Mono.exp option 43 val lookupERel : env -> int -> string * Mono.typ * Mono.exp option
44 44
45 val typeContext : env -> Mono.typ list
46
47 val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> string -> env 45 val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> string -> env
48 val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string 46 val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string
49 47
50 val declBinds : env -> Mono.decl -> env 48 val declBinds : env -> Mono.decl -> env
51 val patBinds : env -> Mono.pat -> env 49 val patBinds : env -> Mono.pat -> env