comparison src/css.sml @ 1663:0577be31a435

First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
author Adam Chlipala <adam@chlipala.net>
date Sat, 07 Jan 2012 15:56:22 -0500
parents ca3b73a7b4d0
children a1380fc15cb5
comparison
equal deleted inserted replaced
1662:edf86cef0dba 1663:0577be31a435
136 | SOME (_, sm) => sm, 136 | SOME (_, sm) => sm,
137 classes) 137 classes)
138 | ECon (_, _, _, NONE) => ([], classes) 138 | ECon (_, _, _, NONE) => ([], classes)
139 | ECon (_, _, _, SOME e) => exp (e, classes) 139 | ECon (_, _, _, SOME e) => exp (e, classes)
140 | EFfi _ => ([], classes) 140 | EFfi _ => ([], classes)
141 | EFfiApp (_, _, es) => expList (es, classes) 141 | EFfiApp (_, _, es) => expList (map #1 es, classes)
142 142
143 | EApp ( 143 | EApp (
144 (EApp ( 144 (EApp (
145 (EApp ( 145 (EApp (
146 (EApp ( 146 (EApp (