Warn on inferred polymorphic recursion
[ghc.git] / testsuite / tests / gadt / lazypat.hs
1 {-# LANGUAGE GADTs, ExistentialQuantification #-}
2
3 module ShouldFail where
4
5 data T = forall a. T a (a->Int)
6
7 f ~(T x f) = f x