Mercurial > urweb

comparison src/mono_env.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 162d5308e34f
children 4c5796512edc
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
109 | DExport _ => env 109 | DExport _ => env
110 | DTable _ => env 110 | DTable _ => env
111 | DSequence _ => env 111 | DSequence _ => env
112 | DDatabase _ => env 112 | DDatabase _ => env
113 | DJavaScript _ => env 113 | DJavaScript _ => env
114 | DStyle _ => env
114 115
115 fun patBinds env (p, loc) = 116 fun patBinds env (p, loc) =
116 case p of 117 case p of
117 PWild => env 118 PWild => env
118 | PVar (x, t) => pushERel env x t NONE 119 | PVar (x, t) => pushERel env x t NONE