diff options
author | 2009-12-15 19:26:52 -0500 | |
---|---|---|
committer | 2009-12-15 19:26:52 -0500 | |
commit | 489ae9fdc1b78eac867252e5088baa632d85f8c9 (patch) | |
tree | 5d5334486b71856ca71f54fd6bdaaffeac2e84ff /src/compiler.sml | |
parent | 2513e44c4a1e4dc2ad8f0ab817d4f51aecc3660f (diff) |
Especialize uses a termination measure based on number of arguments introduced
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 256162ce..baf8ddac 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -71,10 +71,20 @@ type ('src, 'dst) transform = { time : 'src * pmap -> 'dst option * pmap } +val debug = ref false + fun transform (ph : ('src, 'dst) phase) name = { func = fn input => let + val () = if !debug then + print ("Starting " ^ name ^ "....\n") + else + () val v = #func ph input in + if !debug then + print ("Finished " ^ name ^ ".\n") + else + (); if ErrorMsg.anyErrors () then NONE else |