Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / th / T3100.hs
1 {-# OPTIONS_GHC -Wno-redundant-constraints -Wno-simplifiable-class-constraints #-}
2 {-# LANGUAGE RankNTypes, FlexibleContexts, ImplicitParams, TemplateHaskell #-}
3
4 -- This test makes sure TH understands types where
5 -- there is a predicate but no 'forall'
6 --
7 -- There are two tests in here; both should be fine
8 -- Ticket: #3100
9
10 module T3100 where
11
12 import Language.Haskell.TH
13
14 flop :: Ord Int => Int -> Int
15 -- Weird test case: (Ord Int) is simplifiable and redundant
16 flop x = x
17
18 $(do { t <- reify 'flop; return [] })
19
20 type T a = Eq a => a
21
22 $(do { reify ''T; return []})