From 0ce7847026a7be88c3cde012c5f74d69d682a491 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 5 Aug 2012 14:55:28 -0400
Subject: Tweaking treatment of function application: substitute or introduce a
 'let'?

---
 src/especialize.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/especialize.sml')

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
-- 
cgit v1.2.3