Normalize GHC Trac URLs
[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: http://ghc.haskell.org/trac/ghc/ticket/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