Mercurial > urweb
diff src/especialize.sml @ 794:dc3fc3f3b834
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 |
line wrap: on
line diff
--- a/src/especialize.sml Tue May 12 20:15:11 2009 -0400 +++ b/src/especialize.sml Thu May 14 08:13:54 2009 -0400 @@ -148,6 +148,13 @@ val functionInside = U.Con.exists {kind = fn _ => false, con = fn TFun _ => true | CFfi ("Basis", "transaction") => true + | CFfi ("Basis", "eq") => true + | CFfi ("Basis", "num") => true + | CFfi ("Basis", "ord") => true + | CFfi ("Basis", "show") => true + | CFfi ("Basis", "read") => true + | CFfi ("Basis", "sql_injectable_prim") => true + | CFfi ("Basis", "sql_injectable") => true | _ => false} val loc = ErrorMsg.dummySpan