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

Tree @a5f2106 (Download .tar.gz)

typevars.uk @a5f2106raw · history · blame

^ 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