comparison src/jscomp.sml @ 1258:78b36c50daf9

Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Sun, 16 May 2010 18:25:00 -0400
parents 26fed2c4f5be
children 25ebd8c4fafb
comparison
equal deleted inserted replaced
1257:fd1a49b51db5 1258:78b36c50daf9
1171 end 1171 end
1172 1172
1173 | EJavaScript (m, e') => 1173 | EJavaScript (m, e') =>
1174 (foundJavaScript := true; 1174 (foundJavaScript := true;
1175 jsExp m outer (e', st) 1175 jsExp m outer (e', st)
1176 handle CantEmbed t => ((*ErrorMsg.errorAt loc "Unable to embed type in JavaScript";*) 1176 handle CantEmbed t => ((*ErrorMsg.errorAt loc "Unable to embed type in JavaScript";
1177 Print.preface ("Can't embed type in JavaScript", 1177 Print.preface ("Type",
1178 MonoPrint.p_typ MonoEnv.empty t); 1178 MonoPrint.p_typ MonoEnv.empty t);*)
1179 (e, st))) 1179 (e, st)))
1180 1180
1181 | ESignalReturn e => 1181 | ESignalReturn e =>
1182 let 1182 let
1183 val (e, st) = exp outer (e, st) 1183 val (e, st) = exp outer (e, st)