Mercurial > urweb

comparison src/mono_env.sml @ 100:f0f59e918cac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
page declaration, up through monoize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 10:11:35 -0400
parents d3cc191cb25f
children 813e5a52063d
comparison
equal deleted inserted replaced
99:5182f0c80d2e 100:f0f59e918cac
82 | SOME x => x 82 | SOME x => x
83 83
84 fun declBinds env (d, _) = 84 fun declBinds env (d, _) =
85 case d of 85 case d of
86 DVal (x, n, t, e) => pushENamed env x n t (SOME e) 86 DVal (x, n, t, e) => pushENamed env x n t (SOME e)
87 | DPage _ => env
87 88
88 end 89 end