Mercurial > urweb
comparison src/mono_env.sig @ 2257:28a541bd2d23
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 |