comparison src/mono.sml @ 574:ac947e2f29ff

Trivial use of a source
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:56:39 -0500
parents 57018f21cd5c
children 3d56940120b1
comparison
equal deleted inserted replaced
572:57018f21cd5c 574:ac947e2f29ff
104 104
105 | EJavaScript of javascript_mode * exp 105 | EJavaScript of javascript_mode * exp
106 106
107 | ESignalReturn of exp 107 | ESignalReturn of exp
108 | ESignalBind of exp * exp 108 | ESignalBind of exp * exp
109 | ESignalSource of exp
109 110
110 withtype exp = exp' located 111 withtype exp = exp' located
111 112
112 datatype decl' = 113 datatype decl' =
113 DDatatype of string * int * (string * int * typ option) list 114 DDatatype of string * int * (string * int * typ option) list