testsuite/tests/pmcheck/should_compile/T17836b.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GADTs #-}
{-# LANGUAGE PatternSynonyms #-}
module PM where

data T a  where
  T :: T b -> T (a, b)

pattern P a <- (T a)

massive :: T recty -> ()
massive (P (P (P (P (P (P (P (P (P (P (P (P (P (P (P (P (P _))))))))))))))))) = ()