summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T16874.hs
blob: 422340078efdee323e0d314cede8f50b64a6a431 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

module Main where

type A = Int
data D = D A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A

test :: D -> D
test (D a b c d e f g h i j k l m n o p q r s t u v w x y z aa bb cc dd ee ff gg hh ii jj kk ll mm nn)
  = D a b c d e f g h i j k l m n o p q r s t u v w x y z aa bb cc dd ee ff gg hh ii jj kk ll mm nn

main :: IO ()
main = print ()