blob: acef8100dc8065ee3eb870f32c068114e2f4458e (
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://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
|
