Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / gadt / gadt17.hs
1 {-# LANGUAGE GADTs #-}
2 {-# OPTIONS_GHC -O #-}
3
4 -- This one showed up a bug that required type refinement in TcIface
5 -- See the call to coreRefineTys in TcIface
6 --
7 -- Tests for bug: https://gitlab.haskell.org/ghc/ghc/issues/685
8
9 module ShouldCompile where
10
11 import Gadt17_help ( TernOp (..), applyTernOp )
12
13 liftTernOpObs :: TernOp a b c d -> a -> b -> c -> d
14 liftTernOpObs op x y z = applyTernOp op x y z