Mercurial > urweb
comparison src/compiler.sml @ 346:a94a79820d49
Small clean-ups in crud; Compiler.check
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 04 Oct 2008 15:54:03 -0400 |
parents | e457d8972ff1 |
children | 78358e5df273 |
comparison
equal
deleted
inserted
replaced
345:b85e6ba56618 | 346:a94a79820d49 |
---|---|
90 case ro of | 90 case ro of |
91 NONE => (NONE, pmap) | 91 NONE => (NONE, pmap) |
92 | SOME v => #time tr2 (v, pmap) | 92 | SOME v => #time tr2 (v, pmap) |
93 end | 93 end |
94 } | 94 } |
95 | |
96 fun check (tr : ('src, 'dst) transform) x = (ErrorMsg.resetErrors (); | |
97 ignore (#func tr x)) | |
95 | 98 |
96 fun run (tr : ('src, 'dst) transform) x = (ErrorMsg.resetErrors (); | 99 fun run (tr : ('src, 'dst) transform) x = (ErrorMsg.resetErrors (); |
97 #func tr x) | 100 #func tr x) |
98 | 101 |
99 fun runPrint (tr : ('src, 'dst) transform) input = | 102 fun runPrint (tr : ('src, 'dst) transform) input = |