Commit e672241b authored by ian@well-typed.com's avatar ian@well-typed.com
Browse files

Add another test for #1133

parent 27b0f0ba
......@@ -6,3 +6,8 @@ drvfail016:
$(RM) -f drvfail016.hi-boot drvfail016.o-boot
'$(TEST_HC)' $(TEST_HC_OPTS) -XGeneralizedNewtypeDeriving -c drvfail016.hs-boot; echo $$?
.PHONY: T1133A
T1133A:
$(TEST_HC) $(TEST_HC_OPTS) -c T1133A.hs-boot
-$(TEST_HC) $(TEST_HC_OPTS) -c T1133A.hs
module T1133A where
import {-# SOURCE #-} T1133A
newtype X = X Int deriving Enum
module T1133A where
newtype X = X Int
T1133A.hs:6:28:
Can't make a derived instance of `Enum X':
`X' must be an enumeration type
(an enumeration consists of one or more nullary, non-GADT constructors)
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for `X'
......@@ -36,4 +36,7 @@ test('T5287', normal, compile_fail, [''])
test('T5478', normal, compile_fail, [''])
test('T5686', normal, compile_fail, [''])
test('T5922', normal, compile_fail, [''])
test('T1133A',
extra_clean(['T1133A.o-boot', 'T1133A.hi-boot']),
run_command,
['$MAKE --no-print-directory -s T1133A'])
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