diff options
Diffstat (limited to 'src/especialize.sml')
-rw-r--r-- | src/especialize.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/especialize.sml b/src/especialize.sml index d6bf7eba..a3d59ef9 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -124,6 +124,7 @@ fun default (_, x, st) = (x, st) val functionInside = U.Con.exists {kind = fn _ => false, con = fn TFun _ => true + | TCFun _ => true | CFfi ("Basis", "transaction") => true | CFfi ("Basis", "eq") => true | CFfi ("Basis", "num") => true |