Mercurial > urweb
comparison src/cjr.sml @ 643:aa2290c32ce2
Avoid any JavaScript when pages don't need it; update demo prose
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Mar 2009 10:44:26 -0400 |
parents | 56aaa1941dad |
children | 9a2c18dab11d |
comparison
equal
deleted
inserted
replaced
642:4a125bbc602d | 643:aa2290c32ce2 |
---|---|
111 | 111 |
112 | DJavaScript of string | 112 | DJavaScript of string |
113 | 113 |
114 withtype decl = decl' located | 114 withtype decl = decl' located |
115 | 115 |
116 type file = decl list * (Core.export_kind * string * int * typ list * typ) list | 116 datatype sidedness = |
117 ServerOnly | |
118 | ServerAndClient | |
119 | |
120 type file = decl list * (Core.export_kind * string * int * typ list * typ * sidedness) list | |
117 | 121 |
118 end | 122 end |