Mercurial > urweb
comparison src/mono_print.sml @ 307:52d4c60518d4
First INSERT works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 15:05:52 -0400 |
parents | 59dc042629b9 |
children | 41458a694575 |
comparison
equal
deleted
inserted
replaced
306:99e4f39e820d | 307:52d4c60518d4 |
---|---|
255 p_exp env initial, | 255 p_exp env initial, |
256 space, | 256 space, |
257 string "in", | 257 string "in", |
258 space, | 258 space, |
259 p_exp (E.pushERel (E.pushERel env "r" dummyt NONE) "acc" dummyt NONE) body] | 259 p_exp (E.pushERel (E.pushERel env "r" dummyt NONE) "acc" dummyt NONE) body] |
260 | EDml e => box [string "dml(", | |
261 p_exp env e, | |
262 string ")"] | |
260 | 263 |
261 and p_exp env = p_exp' false env | 264 and p_exp env = p_exp' false env |
262 | 265 |
263 fun p_vali env (x, n, t, e, s) = | 266 fun p_vali env (x, n, t, e, s) = |
264 let | 267 let |