Mercurial > urweb

diff src/monoize.sml @ 2255:8428c534913a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use new refactored urlification in Sqlcache.
author Ziv Scully <ziv@mit.edu>
date Mon, 21 Sep 2015 16:45:59 -0400
parents 44ae2254f8fb
children 6f2ea4ed573a
line wrap: on
line diff
--- a/src/monoize.sml	Mon Sep 21 16:07:35 2015 -0400
+++ b/src/monoize.sml	Mon Sep 21 16:45:59 2015 -0400
@@ -395,16 +395,6 @@
 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 @@
                                                      (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),