Commit 0a797ea3 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Update tests after instances are moved out of Control.Monad.Instances

The instance-leaks test is now gone, as we now expect the instances to
leak into haskell98.
parent 655e4097
{-# LANGUAGE StandaloneDeriving, DeriveFunctor #-}
module T3057 where
deriving instance Functor (Either a)
import T3057A
deriving instance Functor (MyType a)
module T3057A where
data MyType a b = C1 a | C2 b
......@@ -18,7 +18,7 @@ test('drv021', normal, compile, [''])
test('deriving-1935', normal, compile, [''])
test('T2378', normal, compile, [''])
test('T2856', normal, compile, [''])
test('T3057', normal, compile, [''])
test('T3057', extra_clean(['T3057A.o', 'T3057A.hi']), multimod_compile, ['T3057', '-v0'])
test('T3012', normal, compile, [''])
test('T3965', normal, compile, [''])
test('T4220', normal, compile, [''])
......
......@@ -16,6 +16,7 @@ data (,) a b = (,) a b -- Defined in `GHC.Tuple'
instance (Bounded a, Bounded b) => Bounded (a, b)
-- Defined in `GHC.Enum'
instance (Eq a, Eq b) => Eq (a, b) -- Defined in `GHC.Classes'
instance Functor ((,) a) -- Defined in `GHC.Base'
instance (Ord a, Ord b) => Ord (a, b) -- Defined in `GHC.Classes'
instance (Read a, Read b) => Read (a, b) -- Defined in `GHC.Read'
instance (Show a, Show b) => Show (a, b) -- Defined in `GHC.Show'
data (->) a b -- Defined in `GHC.Prim'
instance Monad ((->) r) -- Defined in `GHC.Base'
instance Functor ((->) r) -- Defined in `GHC.Base'
TOP=../../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/test.mk
test('instance-leaks', normal, compile, ['-hide-all-packages -package haskell98'])
-- Check that the instances in Control.Monad.Instances do not leak
-- into any Haskell 98 modules.
module Main where
-- import all Haskell 98 modules
import Array
import Char
import Complex
import CPUTime
import Directory
import IO
import Ix
import List
import Locale
import Maybe
import Monad
import Numeric
import Random
import Ratio
import System
import Time
-- This will fail if any of the Haskell 98 modules indirectly import
-- Control.Monad.Instances
instance Functor ((->) r) where fmap = (.)
main = undefined
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment