Mercurial > urweb
diff src/mono_print.sml @ 1112:7a31e0cf25e9
Proper C-side deserialization; Shake.sliceDb
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Jan 2010 12:47:27 -0500 |
parents | 52571ca9b777 |
children | c316ca3c9ec6 |
line wrap: on
line diff
--- a/src/mono_print.sml Sat Jan 02 14:54:15 2010 -0500 +++ b/src/mono_print.sml Sun Jan 03 12:47:27 2010 -0500 @@ -334,9 +334,9 @@ space, p_exp env e2, string ")"] - | EUnurlify (e, _) => box [string "unurlify(", - p_exp env e, - string ")"] + | EUnurlify (e, _, _) => box [string "unurlify(", + p_exp env e, + string ")"] | EJavaScript (m, e) => box [string "JavaScript(", p_mode env m, string ",",