From ae8c16af976173ab73c63dd0ca7b9dc2183b3d6b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 May 2009 08:13:54 -0400 Subject: Improving/reordering Unpoly and Especialize; pathmaps --- src/especialize.sml | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/especialize.sml') diff --git a/src/especialize.sml b/src/especialize.sml index d1d018ee..03be01b1 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -148,6 +148,13 @@ fun specialize' file = 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 -- cgit v1.2.3