Mercurial > urweb
comparison src/cjr_env.sml @ 338:e976b187d73a
SQL sequences
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 14 Sep 2008 11:02:18 -0400 |
parents | 0236d9412ad2 |
children | 162d5308e34f |
comparison
equal
deleted
inserted
replaced
337:18d5affa790d | 338:e976b187d73a |
---|---|
161 val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args | 161 val t = foldl (fn ((_, arg), t) => (TFun (arg, t), loc)) ran args |
162 in | 162 in |
163 pushENamed env fx n t | 163 pushENamed env fx n t |
164 end) env vis | 164 end) env vis |
165 | DTable _ => env | 165 | DTable _ => env |
166 | DSequence _ => env | |
166 | DDatabase _ => env | 167 | DDatabase _ => env |
167 | DPreparedStatements _ => env | 168 | DPreparedStatements _ => env |
168 | 169 |
169 | 170 |
170 end | 171 end |