comparison src/mono.sml @ 578:1e589a60b86f

Harmonized source-setting between server and client
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 11:33:31 -0500
parents 3d56940120b1
children 57f476c934da
comparison
equal deleted inserted replaced
577:3d56940120b1 578:1e589a60b86f
101 | EDml of exp 101 | EDml of exp
102 | ENextval of exp 102 | ENextval of exp
103 103
104 | EUnurlify of exp * typ 104 | EUnurlify of exp * typ
105 105
106 | EJavaScript of javascript_mode * exp 106 | EJavaScript of javascript_mode * exp * exp option
107 107
108 | ESignalReturn of exp 108 | ESignalReturn of exp
109 | ESignalBind of exp * exp 109 | ESignalBind of exp * exp
110 | ESignalSource of exp 110 | ESignalSource of exp
111 111