Mercurial > urweb

comparison src/core_env.sml @ 182:d11754ffe252

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiled pattern matching to C
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 12:43:20 -0400
parents 5d030ee143e2
children 9bbf4d383381
comparison
equal deleted inserted replaced
181:31dfab1d4050 182:d11754ffe252
111 fun pushDatatype (env : env) x n xncs = 111 fun pushDatatype (env : env) x n xncs =
112 {relC = #relC env, 112 {relC = #relC env,
113 namedC = #namedC env, 113 namedC = #namedC env,
114 114
115 datatypes = IM.insert (#datatypes env, n, (x, xncs)), 115 datatypes = IM.insert (#datatypes env, n, (x, xncs)),
116 constructors = foldl (fn ((x, n, to), constructors) => 116 constructors = foldl (fn ((x, n', to), constructors) =>
117 IM.insert (constructors, n, (x, to, n))) 117 IM.insert (constructors, n', (x, to, n)))
118 (#constructors env) xncs, 118 (#constructors env) xncs,
119 119
120 relE = #relE env, 120 relE = #relE env,
121 namedE = #namedE env} 121 namedE = #namedE env}
122 122