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