git.haldean.org ubik / a5f2106
add test for type variables Haldean Brown 5 years ago
2 changed file(s) with 13 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
3232 scope-simple.uk \
3333 simple-adt.uk \
3434 simple-test.uk \
35 typevars.uk \
3536 zero-arity.uk
3637
3738 all: $(tests)
0 ^ Test var
1 = Hello var
2
3 : thing ^ Test a -> a = \x -> ? x { . Hello v => v }
4
5 ! {
6 : t1 = thing (Hello 10)
7 : t2 = thing (Hello "ten")
8 ! 0
9 }
10
11 ~ ubik-tests/typevars