Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_compile / tc217.hs
1 {-# OPTIONS_GHC -w #-}
2 {-# LANGUAGE FlexibleInstances, UndecidableInstances #-}
3
4 module ShouldCompile where
5
6
7 import Control.Monad.Reader
8
9 instance Eq (a -> b) where
10 _ == _ = error "whoops"
11
12 instance Show (a -> b) where
13 show = const "<fun>"
14
15 -- This is the example from #179
16 foo x = show (\_ -> True)
17
18 -- This is the example from #963
19 instance (Num a, Monad m, Eq (m a), Show (m a)) => Num (m a) where
20 test = 1 True