Mercurial > urweb
annotate tests/dynList.ur @ 2049:459ccbf8cd08
When unifying constructor-level unification variables, also unify their kinds
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Fri, 01 Aug 2014 16:11:36 -0400 |
| parents | 2b2d07946e65 |
| children |
| rev | line source |
|---|---|
| adam@2012 | 1 fun main () = |
| adam@2012 | 2 b <- source True; |
| adam@2012 | 3 let |
| adam@2012 | 4 fun textboxList xs = <xml> |
| adam@2012 | 5 <table> |
| adam@2012 | 6 {List.mapX (fn src => <xml><tr> |
| adam@2012 | 7 <td dynClass={return null} dynStyle={b <- signal b; |
| adam@2012 | 8 if b then |
| adam@2012 | 9 return (STYLE "width: 500px") |
| adam@2012 | 10 else |
| adam@2012 | 11 return (STYLE "width: 100px")}> |
| adam@2012 | 12 <ctextbox source={src}/> |
| adam@2012 | 13 </td></tr></xml>) xs} |
| adam@2012 | 14 </table> |
| adam@2012 | 15 </xml> |
| adam@2012 | 16 in |
| adam@2012 | 17 s <- source "foo"; |
| adam@2012 | 18 return <xml><body> |
| adam@2012 | 19 <ccheckbox source={b}/> |
| adam@2012 | 20 {textboxList (s :: s :: [])} |
| adam@2012 | 21 </body></xml> |
| adam@2012 | 22 end |