blob: 70250d1d14136a0fad49c818a44388c8af795144 (
plain)
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
|