summaryrefslogtreecommitdiff
path: root/tests/impl.lac
blob: 91f5c52b07562bd02869209705ecf102a892ca1d (plain)
1
2
3
4
5
val id = fn t :: Type => fn x : t => x
val id_self = id [t :: Type -> t -> t] id

val idi = fn t ::: Type => fn x : t => x
val idi_self = idi idi