git.haldean.org ubik / a5f2106 test / prog / typevars.uk
a5f2106

Tree @a5f2106 (Download .tar.gz)

typevars.uk @a5f2106 — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
^ Test var
    = Hello var

: thing ^ Test a -> a = \x -> ? x { . Hello v => v }

! {
    : t1 = thing (Hello 10)
    : t2 = thing (Hello "ten")
    ! 0
}

~ ubik-tests/typevars