Mercurial > urweb

comparison src/iflow.sml @ 1219:3224faec752d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Constants are known
author Adam Chlipala <adamc@hcoop.net>
date Sat, 10 Apr 2010 13:12:42 -0400
parents 48d2ca496d2c
children 526575a9537a
comparison
equal deleted inserted replaced
1218:48d2ca496d2c 1219:3224faec752d
508 | NONE => 508 | NONE =>
509 let 509 let
510 val r = ref (Node {Rep = ref NONE, 510 val r = ref (Node {Rep = ref NONE,
511 Cons = ref SM.empty, 511 Cons = ref SM.empty,
512 Variety = Prim p, 512 Variety = Prim p,
513 Known = ref false}) 513 Known = ref true})
514 in 514 in
515 #Consts db := CM.insert (!(#Consts db), p, r); 515 #Consts db := CM.insert (!(#Consts db), p, r);
516 r 516 r
517 end) 517 end)
518 | Var n => (case IM.find (!(#Vars db), n) of 518 | Var n => (case IM.find (!(#Vars db), n) of