Mercurial > urweb
comparison src/cjr_env.sml @ 271:42dfb0d61cf0
'database' declaration threaded through compiler
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 10:51:41 -0400 |
parents | 890a61991263 |
children | 09c66a30ef32 |
comparison
equal
deleted
inserted
replaced
270:b9b02613c0c2 | 271:42dfb0d61cf0 |
---|---|
160 let | 160 let |
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 | DDatabase _ => env | |
165 | 166 |
166 | 167 |
167 end | 168 end |