blob: 26eeda9b2ae0f1d2395dff26c08e7c4698455fa1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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://ghc.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
|
