Commit 6137c0f3 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5955

parent 9734a93f
......@@ -13,3 +13,8 @@ IndTypesPerf:
$(RM) IndTypesPerfMerge.o IndTypesPerfMerge.hi
'$(TEST_HC)' $(TEST_HC_OPTS) -O -c IndTypesPerfMerge.hs +RTS -M20M
'$(TEST_HC)' $(TEST_HC_OPTS) -O -c IndTypesPerf.hs +RTS -M20M
T5955:
$(RM) T5955.o T5955.hi T5955a.o T5955a.hi
'$(TEST_HC)' $(TEST_HC_OPTS) -c T5955a.hs
'$(TEST_HC)' $(TEST_HC_OPTS) -c T5955.hs
module T5955 where
import T5955a
foo :: ()
foo = ()
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeFamilies #-}
module T5955a where
class (Eq (Multi a)) => MultiPrim a where
data Multi a
instance MultiPrim Int where
newtype Multi Int = MultiInt Int deriving (Eq)
......@@ -182,3 +182,9 @@ test('ClassEqContext3', normal, compile, [''])
test('HO', normal, compile, [''])
# The point about this test is that it compiles the two T5955
# modules *separately*
test('T5955',
extra_clean(['T5955.o', 'T5955.hi', 'T5955a.o', 'T5955a.hi']),
run_command,
['$MAKE -s --no-print-directory T5955'])
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