diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 11:19:17 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 11:19:17 -0400 |
commit | eaa8b82f581b0b2c59e4867b2f5455084b6b181b (patch) | |
tree | 922127dfce596e6b321b6c1d4b695460491325e6 /tests/ord.ur | |
parent | 8d110361aec2e04253f964b304d3c42e35bdb918 (diff) |
ord_float and ord_bool
Diffstat (limited to 'tests/ord.ur')
-rw-r--r-- | tests/ord.ur | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/ord.ur b/tests/ord.ur index c5dac100..52e1c305 100644 --- a/tests/ord.ur +++ b/tests/ord.ur @@ -1,3 +1,5 @@ fun main () : transaction page = return <xml><body> - {[ 1 < 1 ]}, {[ 1 < 2 ]}, {[ 1 <= 1 ]}, {[ 2 <= 1 ]}, {[ 1 > 1 ]}, {[ 2 > 1 ]}, {[ 0 >= 1 ]}, {[ 2 >= 1 ]} + {[ 1 < 1 ]}, {[ 1 < 2 ]}, {[ 1 <= 1 ]}, {[ 2 <= 1 ]}, {[ 1 > 1 ]}, {[ 2 > 1 ]}, {[ 0 >= 1 ]}, {[ 2 >= 1 ]}<br/> + {[ 1.0 < 1.0 ]}, {[ 1.0 < 2.0 ]}, {[ 1.0 <= 1.0 ]}, {[ 2.0 <= 1.0 ]}, {[ 1.0 > 1.0 ]}, {[ 2.0 > 1.0 ]}, {[ 0.0 >= 1.0 ]}, {[ 2.0 >= 1.0 ]}<br/> + {[ True < False ]}, {[ False < True ]}, {[ False <= True ]}, {[ False > True ]} </body></xml> |