changeset 1701:6a4461757829

Remove weird special case for FFI functions whose first arguments have type [unit]
author Adam Chlipala <adam@chlipala.net>
date Wed, 14 Mar 2012 09:06:23 -0400 (2012-03-14)
parents 2b04104896a8
children 06791667937e
files src/corify.sml
diffstat 1 files changed, 1 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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 _, _) =>