Mercurial > urweb
comparison src/cjrize.sml @ 180:c7a5c8e0a0e0
Cjrize EStrcat
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Aug 2008 11:03:35 -0400 |
parents | eb3f9913bf31 |
children | 31dfab1d4050 |
comparison
equal
deleted
inserted
replaced
179:3bbed533fbd2 | 180:c7a5c8e0a0e0 |
---|---|
153 ((L'.EField (e, x), loc), sm) | 153 ((L'.EField (e, x), loc), sm) |
154 end | 154 end |
155 | 155 |
156 | L.ECase _ => raise Fail "Cjrize ECase" | 156 | L.ECase _ => raise Fail "Cjrize ECase" |
157 | 157 |
158 | L.EStrcat _ => raise Fail "Cjrize EStrcat" | 158 | L.EStrcat (e1, e2) => |
159 let | |
160 val (e1, sm) = cifyExp (e1, sm) | |
161 val (e2, sm) = cifyExp (e2, sm) | |
162 in | |
163 ((L'.EFfiApp ("Basis", "strcat", [e1, e2]), loc), sm) | |
164 end | |
159 | 165 |
160 | L.EWrite e => | 166 | L.EWrite e => |
161 let | 167 let |
162 val (e, sm) = cifyExp (e, sm) | 168 val (e, sm) = cifyExp (e, sm) |
163 in | 169 in |