Mercurial > urweb

comparison src/mono_env.sml @ 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
106 106
107 fun lookupERel (env : env) n = 107 fun lookupERel (env : env) n =
108 (List.nth (#relE env, n)) 108 (List.nth (#relE env, n))
109 handle Subscript => raise UnboundRel n 109 handle Subscript => raise UnboundRel n
110 110
111 fun typeContext (env : env) = map #2 (#relE env)
112
113 fun pushENamed (env : env) x n t eo s = 111 fun pushENamed (env : env) x n t eo s =
114 {datatypes = #datatypes env, 112 {datatypes = #datatypes env,
115 constructors = #constructors env, 113 constructors = #constructors env,
116 114
117 relE = #relE env, 115 relE = #relE env,