# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1331730383 14400
# Node ID 6a4461757829c3f84168fe035cc778d8d9f4bf99
# Parent  2b04104896a823182447f246ca5d1e21fda64569
Remove weird special case for FFI functions whose first arguments have type [unit]

diff -r 2b04104896a8 -r 6a4461757829 src/corify.sml
--- a/src/corify.sml	Tue Mar 13 20:17:23 2012 -0400
+++ b/src/corify.sml	Wed Mar 14 09:06:23 2012 -0400
@@ -541,9 +541,7 @@
                     St.ENormal n => (L'.ENamed n, loc)
                   | St.EFfi (m, t) =>
                     case t of
-                        (L'.TFun (dom as (L'.TRecord (L'.CRecord (_, []), _), _), ran), _) =>
-                        (L'.EAbs ("arg", dom, ran, (L'.EFfiApp (m, x, []), loc)), loc)
-                      | (L'.CApp ((L'.CFfi ("Basis", "transaction"), _), dom), _) =>
+                        (L'.CApp ((L'.CFfi ("Basis", "transaction"), _), dom), _) =>
                         (L'.EAbs ("arg", dom, (L'.TRecord (L'.CRecord ((L'.KType, loc), []), loc), loc),
                                   (L'.EFfiApp (m, x, []), loc)), loc)
                       | t as (L'.TFun _, _) =>