diff options
author | Ziv Scully <ziv@mit.edu> | 2015-09-21 16:45:59 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-09-21 16:45:59 -0400 |
commit | 97115c5f804824c024a0c08c288889d29f743e64 (patch) | |
tree | 751344ca31d2f79493c53ea4c1bd00b22f1082cc /src/monoize.sml | |
parent | 59c69b0cebc215599acc25906bd0366af03abf0c (diff) |
Use new refactored urlification in Sqlcache.
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index f92d7511..8f6b298d 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -395,16 +395,6 @@ fun fooifyExp fk env = val attrifyExp = fooifyExp MonoFooify.Attr val urlifyExp = fooifyExp MonoFooify.Url -val urlifiedUnit = - let - val loc = ErrorMsg.dummySpan - (* Urlifies [ERel 0] to match the [sqlcacheInfo] field of [EQuery]s. *) - val (urlified, _) = urlifyExp CoreEnv.empty (Fm.empty 0) - ((L'.ERel 0, loc), (L'.TRecord [], loc)) - in - urlified - end - datatype 'a failable_search = Found of 'a | NotFound @@ -1687,14 +1677,12 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L'.ERel 1, loc)), loc), (L'.ERel 0, loc)), loc), (L'.ERecord [], loc)), loc) - val (urlifiedRel0, fm) = urlifyExp env fm ((L'.ERel 0, loc), state) val body = (L'.EQuery {exps = exps, tables = tables, state = state, query = (L'.ERel 3, loc), body = body', - initial = (L'.ERel 1, loc), - sqlcacheInfo = urlifiedRel0}, + initial = (L'.ERel 1, loc)}, loc) in ((L'.EAbs ("q", s, (L'.TFun (ft, (L'.TFun (state, (L'.TFun (un, state), loc)), loc)), loc), |