Commit 9ff32503 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #6025

parent 3b84b0a9
......@@ -9,3 +9,9 @@ T5881:
'$(TEST_HC)' $(TEST_HC_OPTS) -c T5881a.hs
'$(TEST_HC)' $(TEST_HC_OPTS) -c T5881.hs
# T6025 is like T5881; needs separat compile
$(RM) -f T6025.hi T6025.o T6025a.hi T6025a.o
'$(TEST_HC)' $(TEST_HC_OPTS) -c T6025a.hs
'$(TEST_HC)' $(TEST_HC_OPTS) -c T6025.hs
module T6025 where
import T6025a
other = OTrue
{-# LANGUAGE DataKinds, GADTs #-}
module T6025a (Other (..)) where
data Other a where
OTrue :: Other True
OFalse :: Other False
......@@ -35,3 +35,4 @@ test('T5935', normal, compile, [''])
test('T5938', normal, compile, [''])
test('T5948', normal, compile, [''])
test('T6020', normal, compile, [''])
test('T6025', normal, run_command, ['$MAKE -s --no-print-directory T6025'])
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