SCM Repository
[diderot] Diff of /branches/pure-cfg/src/compiler/simplify/simple-pp.sml
Diff of /branches/pure-cfg/src/compiler/simplify/simple-pp.sml
Parent Directory
|
Revision Log
|
Patch
119 |
PP.openHBox ppStrm; |
PP.openHBox ppStrm; |
120 |
string "if"; sp(); ppVar(ppStrm, x); |
string "if"; sp(); ppVar(ppStrm, x); |
121 |
PP.closeBox ppStrm; |
PP.closeBox ppStrm; |
|
nl(); |
|
122 |
ppStmt s1; |
ppStmt s1; |
123 |
PP.closeBox ppStrm) |
PP.closeBox ppStrm) |
124 |
| S.S_IfThenElse(x, blk, S.Block[]) => ( |
| S.S_IfThenElse(x, blk, S.Block[]) => ( |
131 |
PP.openHBox ppStrm; |
PP.openHBox ppStrm; |
132 |
string "if"; sp(); ppVar(ppStrm, x); |
string "if"; sp(); ppVar(ppStrm, x); |
133 |
PP.closeBox ppStrm; |
PP.closeBox ppStrm; |
|
nl(); |
|
134 |
ppStmt s1; |
ppStmt s1; |
135 |
PP.closeBox ppStrm; |
PP.closeBox ppStrm; |
136 |
nl(); |
nl(); |
137 |
PP.openVBox ppStrm indent; |
PP.openVBox ppStrm indent; |
138 |
string "else"; nl(); |
string "else"; |
139 |
ppStmt s2; |
ppStmt s2; |
140 |
PP.closeBox ppStrm) |
PP.closeBox ppStrm) |
141 |
| S.S_IfThenElse(x, blk1, blk2) => ( |
| S.S_IfThenElse(x, blk1, blk2) => ( |
|
Legend:
Removed from v.1566 |
|
changed lines |
|
Added in v.1567 |
|
|