comparison src/monoize.sml @ 2223:9410959d296f

Remove Sqlcache urlification hack.
author Ziv Scully <ziv@mit.edu>
date Sat, 29 Nov 2014 04:34:41 -0500
parents 278e10629ba1
children 5709482a2afd
comparison
equal deleted inserted replaced
2222:4d967a4ddb82 2223:9410959d296f
1980 query = (L'.ERel 3, loc), 1980 query = (L'.ERel 3, loc),
1981 body = body', 1981 body = body',
1982 initial = (L'.ERel 1, loc), 1982 initial = (L'.ERel 1, loc),
1983 sqlcacheInfo = urlifiedRel0}, 1983 sqlcacheInfo = urlifiedRel0},
1984 loc) 1984 loc)
1985 val body = if Settings.getSqlcache ()
1986 then Sqlcache.instrumentQuery (body, urlifiedRel0)
1987 else body
1988 in 1985 in
1989 ((L'.EAbs ("q", s, (L'.TFun (ft, (L'.TFun (state, (L'.TFun (un, state), loc)), loc)), loc), 1986 ((L'.EAbs ("q", s, (L'.TFun (ft, (L'.TFun (state, (L'.TFun (un, state), loc)), loc)), loc),
1990 (L'.EAbs ("f", ft, (L'.TFun (state, (L'.TFun (un, state), loc)), loc), 1987 (L'.EAbs ("f", ft, (L'.TFun (state, (L'.TFun (un, state), loc)), loc),
1991 (L'.EAbs ("i", state, (L'.TFun (un, state), loc), 1988 (L'.EAbs ("i", state, (L'.TFun (un, state), loc),
1992 (L'.EAbs ("_", un, state, 1989 (L'.EAbs ("_", un, state,