blob: feb61b64638c0a9f1de418a87e8ee889e52c1db3 (
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 GHC.IfaceToCore
-- See the call to coreRefineTys in GHC.IfaceToCore
--
-- Tests for bug: https://gitlab.haskell.org/ghc/ghc/issues/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
|
