Mercurial > urweb

comparison src/especialize.sml @ 794:dc3fc3f3b834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improving/reordering Unpoly and Especialize; pathmaps
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 08:13:54 -0400
parents 9864b64b1700
children e92cfac1608f
comparison
equal deleted inserted replaced
793:3e5d1c6ae30c 794:dc3fc3f3b834
146 (e, ErrorMsg.dummySpan))]*) 146 (e, ErrorMsg.dummySpan))]*)
147 147
148 val functionInside = U.Con.exists {kind = fn _ => false, 148 val functionInside = U.Con.exists {kind = fn _ => false,
149 con = fn TFun _ => true 149 con = fn TFun _ => true
150 | CFfi ("Basis", "transaction") => true 150 | CFfi ("Basis", "transaction") => true
151 | CFfi ("Basis", "eq") => true
152 | CFfi ("Basis", "num") => true
153 | CFfi ("Basis", "ord") => true
154 | CFfi ("Basis", "show") => true
155 | CFfi ("Basis", "read") => true
156 | CFfi ("Basis", "sql_injectable_prim") => true
157 | CFfi ("Basis", "sql_injectable") => true
151 | _ => false} 158 | _ => false}
152 val loc = ErrorMsg.dummySpan 159 val loc = ErrorMsg.dummySpan
153 160
154 fun findSplit (xs, typ, fxs, fvs) = 161 fun findSplit (xs, typ, fxs, fvs) =
155 case (#1 typ, xs) of 162 case (#1 typ, xs) of