diff options
Diffstat (limited to 'testsuite/tests/gadt/gadt17.hs')
| -rw-r--r-- | testsuite/tests/gadt/gadt17.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadt17.hs b/testsuite/tests/gadt/gadt17.hs new file mode 100644 index 0000000000..acef8100dc --- /dev/null +++ b/testsuite/tests/gadt/gadt17.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE GADTs #-} +{-# OPTIONS_GHC -O #-} + +-- This one showed up a bug that required type refinement in TcIface +-- See the call to coreRefineTys in TcIface +-- +-- Tests for bug: http://hackage.haskell.org/trac/ghc/ticket/685 + +module ShouldCompile where + +import Gadt17_help ( TernOp (..), applyTernOp ) + +liftTernOpObs :: TernOp a b c d -> a -> b -> c -> d +liftTernOpObs op x y z = applyTernOp op x y z |