summaryrefslogtreecommitdiff
path: root/testdata/reject.ignore/adhoc.reject.lc
blob: 659029b6d3f10845de9cb4027a5689b9429bf90e (plain)
1
2
3
4
5
6
7
8

data A = A

x = one :: Vec 4 A

main = x    -- TODO: catch error at application