Mercurial > urweb
annotate tests/tuple.ur @ 1455:913d9c2f55c9
Corify Basis.unit to empty record; this is needed so that specialize
can see that they are equivalent.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Fri, 06 May 2011 16:24:45 -0430 |
parents | 71bafe66dbe1 |
children |
rev | line source |
---|---|
adamc@195 | 1 val x = (1, 2.0, "Hi") |
adamc@195 | 2 |
adamc@195 | 3 val x1 = x.1 |
adamc@195 | 4 val x2 = x.2 |
adamc@195 | 5 val x3 = x.3 |
adamc@195 | 6 |
adamc@195 | 7 val y : int * float * string = x |
adamc@195 | 8 |
adamc@195 | 9 val bizarro_x = case x of (a, b, c) => (c, a, b) |
adamc@195 | 10 |
adamc@195 | 11 val main : unit -> page = fn () => <html><body> |
adamc@195 | 12 {cdata bizarro_x.1} |
adamc@215 | 13 </body></html> |