Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / simplCore / should_compile / simpl019.hs
1 {-# LANGUAGE GADTs, FlexibleInstances #-}
2 {-# OPTIONS_GHC -O2 #-}
3
4 -- See #1746
5
6 module Foo where
7
8 data T a where T :: T a -> T [a]
9
10 class C a where
11 f :: a -> ()
12
13 instance C (T [a]) where
14 f (T x@(T _)) = f x