Mercurial > urweb

comparison src/flat_env.sml @ 101:717b6f8d8505

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First executable generated
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 11:13:49 -0400
parents d3cc191cb25f
children
comparison
equal deleted inserted replaced
100:f0f59e918cac 101:717b6f8d8505
109 109
110 fun declBinds env (d, _) = 110 fun declBinds env (d, _) =
111 case d of 111 case d of
112 DVal (x, n, t, _) => pushENamed env x n t 112 DVal (x, n, t, _) => pushENamed env x n t
113 | DFun (n, x, dom, ran, _) => pushF env n x dom ran 113 | DFun (n, x, dom, ran, _) => pushF env n x dom ran
114 | DPage _ => env
114 115
115 end 116 end