Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/mono_env.sig Sun Sep 27 03:52:14 2015 -0400 +++ b/src/mono_env.sig Sun Sep 27 14:46:12 2015 -0400 @@ -42,8 +42,6 @@ val pushERel : env -> string -> Mono.typ -> Mono.exp option -> env val lookupERel : env -> int -> string * Mono.typ * Mono.exp option - val typeContext : env -> Mono.typ list - val pushENamed : env -> string -> int -> Mono.typ -> Mono.exp option -> string -> env val lookupENamed : env -> int -> string * Mono.typ * Mono.exp option * string