Commit 39721a36 authored by simonpj's avatar simonpj
Browse files

[project @ 2004-12-17 17:43:24 by simonpj]

Restore a test; fixes rnfail042
parent de36fea0
...@@ -79,10 +79,14 @@ newTopSrcBinder this_mod mb_parent (L loc rdr_name) ...@@ -79,10 +79,14 @@ newTopSrcBinder this_mod mb_parent (L loc rdr_name)
-- the parser reads the special syntax and returns an Exact RdrName -- the parser reads the special syntax and returns an Exact RdrName
-- We are at a binding site for the name, so check first that it -- We are at a binding site for the name, so check first that it
-- the current module is the correct one; otherwise GHC can get -- the current module is the correct one; otherwise GHC can get
-- very confused indeed. -- very confused indeed. This test rejects code like
-- data T = (,) Int Int
-- unless we are in GHC.Tup
ASSERT2( isExternalName name, ppr name ) ASSERT2( isExternalName name, ppr name )
ASSERT2( this_mod == nameModule name, ppr name ) do checkErr (this_mod == nameModule name)
returnM name (badOrigBinding rdr_name)
returnM name
| isOrig rdr_name | isOrig rdr_name
= do checkErr (rdr_mod == this_mod || rdr_mod == rOOT_MAIN) = do checkErr (rdr_mod == this_mod || rdr_mod == rOOT_MAIN)
......
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