blob: de99d3888e0be59bb02aa7e1dd9d23817a226d40 (
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: 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
|
