summaryrefslogtreecommitdiff
path: root/tests/rcapture.ur
blob: 782efcd9d4efe5c59ef4da98cf35f5074fa41eae (plain)
1
2
3
fun frob x = x

fun foo [a] (x : a) = frob x