comparison src/mono_env.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents 4c5796512edc
children e92cfac1608f
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
107 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s 107 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s
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 | DView _ => env
112 | DDatabase _ => env 113 | DDatabase _ => env
113 | DJavaScript _ => env 114 | DJavaScript _ => env
114 | DCookie _ => env 115 | DCookie _ => env
115 | DStyle _ => env 116 | DStyle _ => env
116 117