summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearNoExt.hs
blob: 47c3ea85f9cdd9f8ec3a46c0e0e53ca2c8b34339 (plain)
1
2
3
module LinearNoExt where

type T a = a %1 -> a