# HG changeset patch # User Adam Chlipala # Date 1274048700 14400 # Node ID 78b36c50daf97f7ab59ab4388eeb831ad387433b # Parent fd1a49b51db50add464a60e45ae6081f3d78c177 Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript diff -r fd1a49b51db5 -r 78b36c50daf9 src/css.sml --- a/src/css.sml Sun May 16 15:34:24 2010 -0400 +++ b/src/css.sml Sun May 16 18:25:00 2010 -0400 @@ -66,10 +66,10 @@ val block = ([Block], [OBlock, Width, Height]) val inline = ([], [NonReplacedInline]) val list = ([Block, List], [OBlock, Width, Height]) -val replaced = ([], [ ReplacedInline, Width, Height]) +val replaced = ([], [ReplacedInline, Width, Height]) val table = ([Block, Table], [OBlock, OTable, Width, Height]) -val tr = ([Block], [OBlock, Tr, Width]) -val td = ([Block, Td], [OBlock, OTd, Height]) +val tr = ([Block], [OBlock, Tr, Height]) +val td = ([Block, Td], [OBlock, OTd, Width]) val tags = [("span", inline), ("div", block), diff -r fd1a49b51db5 -r 78b36c50daf9 src/jscomp.sml --- a/src/jscomp.sml Sun May 16 15:34:24 2010 -0400 +++ b/src/jscomp.sml Sun May 16 18:25:00 2010 -0400 @@ -1173,9 +1173,9 @@ | EJavaScript (m, e') => (foundJavaScript := true; jsExp m outer (e', st) - handle CantEmbed t => ((*ErrorMsg.errorAt loc "Unable to embed type in JavaScript";*) - Print.preface ("Can't embed type in JavaScript", - MonoPrint.p_typ MonoEnv.empty t); + handle CantEmbed t => ((*ErrorMsg.errorAt loc "Unable to embed type in JavaScript"; + Print.preface ("Type", + MonoPrint.p_typ MonoEnv.empty t);*) (e, st))) | ESignalReturn e =>