comparison src/mono_env.sml @ 569:162d5308e34f

Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents 1901db85acb4
children f152f215a02c
comparison
equal deleted inserted replaced
568:55fc747a67dc 569:162d5308e34f
108 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis 108 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis
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 114
114 fun patBinds env (p, loc) = 115 fun patBinds env (p, loc) =
115 case p of 116 case p of
116 PWild => env 117 PWild => env
117 | PVar (x, t) => pushERel env x t NONE 118 | PVar (x, t) => pushERel env x t NONE