Commit cb0d29b2 authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

testsuite: Add test for #11827

Test Plan: Validate

Reviewers: austin

Reviewed By: austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #11827
parent 116088de
module A where
data A = A
f :: A -> Bool
f C = False
module A where
data A
f :: A -> Bool
module B where
import {-# SOURCE #-} A
data B = B A
g :: B -> Bool
g (B a) = f a
:load B.hs
\ No newline at end of file
A.hs:6:3: error: Not in scope: data constructor ‘C’
[extra_clean(['A.hi', 'A.hi-boot', 'A.o', 'B.hi', 'B.o']),
exit_code(1), expect_broken(11827)],
ghci_script, ['T11827.script'])
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