Mercurial > urweb
comparison src/compiler.sml @ 1240:beb67ff4c8a0
'also' policies and policy reduction; calendar in good shape
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 15 Apr 2010 10:00:30 -0400 |
| parents | d5ecceb7d1a1 |
| children | 79b2bcac6200 |
comparison
equal
deleted
inserted
replaced
| 1239:30f789d5e2ad | 1240:beb67ff4c8a0 |
|---|---|
| 73 print : 'dst -> Print.PD.pp_desc, | 73 print : 'dst -> Print.PD.pp_desc, |
| 74 time : 'src * pmap -> 'dst option * pmap | 74 time : 'src * pmap -> 'dst option * pmap |
| 75 } | 75 } |
| 76 | 76 |
| 77 val debug = ref false | 77 val debug = ref false |
| 78 val doIflow = ref true | 78 val doIflow = ref false |
| 79 | 79 |
| 80 fun transform (ph : ('src, 'dst) phase) name = { | 80 fun transform (ph : ('src, 'dst) phase) name = { |
| 81 func = fn input => let | 81 func = fn input => let |
| 82 val () = if !debug then | 82 val () = if !debug then |
| 83 print ("Starting " ^ name ^ "....\n") | 83 print ("Starting " ^ name ^ "....\n") |