summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc147.hs
blob: 1125fe7051fd7655588b8ba02f39fef9309bc6ad (plain)
1
2
3
4
5
6
7
8
-- This one sent 5.03 into an infinite loop, because it
-- gazed too deeply into the functional type of PP

module ShouldCompile where

newtype PP = PP (Int -> PP)

foo = PP undefined