testsuite/tests/ghc-regress/simplCore/should_compile/T4903.hs


1
2
3
4
5
6
7
8
9
10

module T4903 where

import T4903a

{-# SPECIALIZE eq :: TreeF Tree -> Tree -> Bool #-}
-- The pragma is only problematic if it is in a separate module

f :: Bool
-- If we don't use eq, there is no problem  
f = eq Tree tree