Mercurial > urweb

comparison lib/ur/basis.urs @ 941:b8d7a47b8e0c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Sep 2009 12:23:42 -0400
parents ed06e25c70ef
children 8c37699de273
comparison
equal deleted inserted replaced
940:e2be476673f2 941:b8d7a47b8e0c
678 ([Body] ++ other) ([Body, Table] ++ other) [] [] 678 ([Body] ++ other) ([Body, Table] ++ other) [] []
679 val tr : other ::: {Unit} -> [other ~ [Body, Table, Tr]] => unit 679 val tr : other ::: {Unit} -> [other ~ [Body, Table, Tr]] => unit
680 -> tag tableEvents 680 -> tag tableEvents
681 ([Body, Table] ++ other) ([Body, Tr] ++ other) [] [] 681 ([Body, Table] ++ other) ([Body, Tr] ++ other) [] []
682 val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit 682 val th : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
683 -> tag tableEvents 683 -> tag ([Colspan = int] ++ tableEvents)
684 ([Body, Tr] ++ other) ([Body] ++ other) [] [] 684 ([Body, Tr] ++ other) ([Body] ++ other) [] []
685 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit 685 val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
686 -> tag tableEvents 686 -> tag ([Colspan = int] ++ tableEvents)
687 ([Body, Tr] ++ other) ([Body] ++ other) [] [] 687 ([Body, Tr] ++ other) ([Body] ++ other) [] []
688 688
689 689
690 (** Aborting *) 690 (** Aborting *)
691 691