Mercurial > urweb

comparison src/cjr_env.sml @ 196:890a61991263

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
195:85b5f663bb86 196:890a61991263
138 fun declBinds env (d, loc) = 138 fun declBinds env (d, loc) =
139 case d of 139 case d of
140 DDatatype (_, x, n, xncs) => 140 DDatatype (_, x, n, xncs) =>
141 let 141 let
142 val env = pushDatatype env x n xncs 142 val env = pushDatatype env x n xncs
143 val dt = (TDatatype (classifyDatatype xncs, n, xncs), loc) 143 val dt = (TDatatype (classifyDatatype xncs, n, ref xncs), loc)
144 in 144 in
145 foldl (fn ((x', n', NONE), env) => pushENamed env x' n' dt 145 foldl (fn ((x', n', NONE), env) => pushENamed env x' n' dt
146 | ((x', n', SOME t), env) => pushENamed env x' n' (TFun (t, dt), loc)) 146 | ((x', n', SOME t), env) => pushENamed env x' n' (TFun (t, dt), loc))
147 env xncs 147 env xncs
148 end 148 end
149 | DDatatypeForward (_, x, n) => pushDatatype env x n []
149 | DStruct (n, xts) => pushStruct env n xts 150 | DStruct (n, xts) => pushStruct env n xts
150 | DVal (x, n, t, _) => pushENamed env x n t 151 | DVal (x, n, t, _) => pushENamed env x n t
151 | DFun (fx, n, args, ran, _) => 152 | DFun (fx, n, args, ran, _) =>
152 let 153 let
153 val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args 154 val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args