Commit 98479d65 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #5881

parent 85abd54a
include $(TOP)/mk/
include $(TOP)/mk/
# T5881 needs a script because it goes wrong only when
# the modules are compiled separately, not with --make
$(RM) -f T5881.hi T5881.o T5881a.hi T5881a.o
'$(TEST_HC)' $(TEST_HC_OPTS) -c T5881a.hs
'$(TEST_HC)' $(TEST_HC_OPTS) -c T5881.hs
module T5881 where
import T5881a (T')
type DOne = T'
{-# LANGUAGE DataKinds #-}
module T5881a where
data K = T
type T' = T
......@@ -27,3 +27,5 @@ test('T5771', normal, compile, [''])
test('T5717', normal, compile, [''])
test('T5862', normal, compile, [''])
test('T5912', normal, compile, [''])
test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881'])
Supports Markdown
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