diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-21 09:50:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 09:50:19 -0400 |
| commit | f750e27d0e16da032227dbc71ecb7c63f5b77bc7 (patch) | |
| tree | c1cd77d3f82dedbd270450204612186c547a83e8 /tests | |
| parent | 4f6178266ffe0bf5423878b46486b82c19a56810 (diff) | |
Binops; equality tested on int; lame 404 substitute
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/eq.ur | 11 | ||||
| -rw-r--r-- | tests/eq.urp | 3 |
2 files changed, 7 insertions, 7 deletions
diff --git a/tests/eq.ur b/tests/eq.ur index 14c50e3a..1a780a57 100644 --- a/tests/eq.ur +++ b/tests/eq.ur @@ -1,7 +1,4 @@ -val b1 = 1 = 1 -val b2 = "Good" = "Bad" - -fun eq_pair (t1 :: Type) (t2 :: Type) (eq1 : eq t1) (eq2 : eq t2) (x : t1 * t2) (y : t1 * t2) = - x.1 = y.1 - -val b3 = True <> False +fun main () : transaction page = return <xml><body> + {txt _ (1 = 1)}, {txt _ (1 = 2)}<br/> + {txt _ (1 <> 1)}, {txt _ (1 <> 2)} +</body></xml> diff --git a/tests/eq.urp b/tests/eq.urp new file mode 100644 index 00000000..948e8684 --- /dev/null +++ b/tests/eq.urp @@ -0,0 +1,3 @@ +debug + +eq |