comparison src/jscomp.sml @ 834:74e9e7642f08

Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 11:50:53 -0400
parents 20fe00fd81da
children b0a85cbefed2
comparison
equal deleted inserted replaced
833:9a1026e2b3f5 834:74e9e7642f08
372 maxName = #maxName st} 372 maxName = #maxName st}
373 in 373 in
374 ((EApp ((ENamed n', loc), e), loc), st) 374 ((EApp ((ENamed n', loc), e), loc), st)
375 end) 375 end)
376 376
377 | _ => raise CantEmbed t 377 | _ => ((*Print.prefaces "Can't embed" [("t", MonoPrint.p_typ MonoEnv.empty t)];*)
378 (*(EM.errorAt loc "Don't know how to embed type in JavaScript"; 378 raise CantEmbed t)
379 Print.prefaces "Can't embed" [("t", MonoPrint.p_typ MonoEnv.empty t)];
380 (str loc "ERROR", st))*)
381 379
382 fun unurlifyExp loc (t : typ, st) = 380 fun unurlifyExp loc (t : typ, st) =
383 case #1 t of 381 case #1 t of
384 TRecord [] => ("null", st) 382 TRecord [] => ("null", st)
385 | TRecord [(x, t)] => 383 | TRecord [(x, t)] =>