diff options
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index f9200731..0eb8cb0f 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -475,12 +475,19 @@ val tag = { val toTag = transform tag "tag" o toCore_untangle2 +val marshalcheck = { + func = (fn file => (MarshalCheck.check file; file)), + print = CorePrint.p_file CoreEnv.empty +} + +val toMarshalcheck = transform marshalcheck "marshalcheck" o toTag + val reduce = { func = Reduce.reduce, print = CorePrint.p_file CoreEnv.empty } -val toReduce = transform reduce "reduce" o toTag +val toReduce = transform reduce "reduce" o toMarshalcheck val unpoly = { func = Unpoly.unpoly, |