From 09b5839acfe26561fa87c89168133fc93c1083cc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 7 Jan 2012 15:56:22 -0500 Subject: First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far) --- src/css.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/css.sml') diff --git a/src/css.sml b/src/css.sml index 90c0b5dd..07160898 100644 --- a/src/css.sml +++ b/src/css.sml @@ -138,7 +138,7 @@ fun summarize file = | ECon (_, _, _, NONE) => ([], classes) | ECon (_, _, _, SOME e) => exp (e, classes) | EFfi _ => ([], classes) - | EFfiApp (_, _, es) => expList (es, classes) + | EFfiApp (_, _, es) => expList (map #1 es, classes) | EApp ( (EApp ( -- cgit v1.2.3