SCM Repository
[smlnj] Diff of /sml/trunk/src/compiler/Elaborator/print/ppabsyn.sml
Diff of /sml/trunk/src/compiler/Elaborator/print/ppabsyn.sml
Parent Directory
|
Revision Log
|
Patch
315 |
ppType env ppstrm t; |
ppType env ppstrm t; |
316 |
rpcond(atom); |
rpcond(atom); |
317 |
closeBox ppstrm) |
closeBox ppstrm) |
318 |
| ppExp'(HANDLEexp(exp, HANDLER(FNexp(rules,_))),atom,d) = |
| ppExp'(HANDLEexp(exp, (rules,_)),atom,d) = |
319 |
(openStyleBox CONSISTENT ppstrm (PP.Rel 0); |
(openStyleBox CONSISTENT ppstrm (PP.Rel 0); |
320 |
lpcond(atom); |
lpcond(atom); |
321 |
ppExp'(exp,atom,d-1); newline ppstrm; ppsay "handle "; |
ppExp'(exp,atom,d-1); newline ppstrm; ppsay "handle "; |
324 |
(fn ppstrm => fn r => ppRule context ppstrm (r,d-1)), rules); |
(fn ppstrm => fn r => ppRule context ppstrm (r,d-1)), rules); |
325 |
rpcond(atom); |
rpcond(atom); |
326 |
closeBox ppstrm) |
closeBox ppstrm) |
|
| ppExp'(HANDLEexp(exp, HANDLER _),_,d) = |
|
|
bug "ppExp'(HANDLEexp)" |
|
327 |
| ppExp'(RAISEexp(exp,_),atom,d) = |
| ppExp'(RAISEexp(exp,_),atom,d) = |
328 |
(openStyleBox CONSISTENT ppstrm (PP.Rel 0); |
(openStyleBox CONSISTENT ppstrm (PP.Rel 0); |
329 |
lpcond(atom); |
lpcond(atom); |
|
Legend:
Removed from v.1640 |
|
changed lines |
|
Added in v.1641 |
|
|