Mercurial > urweb

comparison src/iflow.sml @ 1252:2e4159a7d2d3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Safe unmodeled SQL expressions marked as known
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 May 2010 11:59:35 -0400
parents 70092a661f70
children 9d65866ab9ab
comparison
equal deleted inserted replaced
1251:70092a661f70 1252:2e4159a7d2d3
491 let 491 let
492 val r = ref (Node {Id = nodeId (), 492 val r = ref (Node {Id = nodeId (),
493 Rep = ref NONE, 493 Rep = ref NONE,
494 Cons = ref SM.empty, 494 Cons = ref SM.empty,
495 Variety = Nothing, 495 Variety = Nothing,
496 Known = ref false, 496 Known = ref (f = "allow"),
497 Ge = ref NONE}) 497 Ge = ref NONE})
498 in 498 in
499 #Funcs db := ((f, rs), r) :: (!(#Funcs db)); 499 #Funcs db := ((f, rs), r) :: (!(#Funcs db));
500 r 500 r
501 end 501 end
1606 | SqFunc (f, e) => 1606 | SqFunc (f, e) =>
1607 (case expIn e of 1607 (case expIn e of
1608 inl e => inl (Func (Other f, [e])) 1608 inl e => inl (Func (Other f, [e]))
1609 | _ => default ()) 1609 | _ => default ())
1610 1610
1611 | Unmodeled => default () 1611 | Unmodeled => inl (Func (Other "allow", [rv ()]))
1612 end 1612 end
1613 in 1613 in
1614 expIn 1614 expIn
1615 end 1615 end
1616 1616