logo       

[ ghc-Bugs-904512 ] hiding does not follow haskell report: msg#00053

lang.haskell.glasgow.bugs

Subject: [ ghc-Bugs-904512 ] hiding does not follow haskell report

Bugs item #904512, was opened at 2004-02-25 20:15
Message generated for change (Comment added) made by simonpj
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=904512&group_id=8032

Category: Compiler
Group: 6.0.1
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: hiding does not follow haskell report

Initial Comment:
Email: mdg@xxxxxxxxxx

As understand hiding from the Haskell report, it should
hide only the unqualified name and not the qualified name,
e.g., hide head but not Prelude.head (or List.head). This
is not the case with ghc 6.0.1:

mdg@mdglt:/bug-2111> cat Main.hs
module Main where

import Prelude hiding (head)

main = do print (Prelude.head [0..])
head

head = print "head"

mdg@mdglt:/bug-2112> ghc --version
The Glorious Glasgow Haskell Compilation System,
version 6.0.1

mdg@mdglt:/bug-2113> ghc -fglasgow-exts -o Main --make Main
Chasing modules from: Main
Compiling Main ( Main.hs, ./Main.o )

Main.hs:5: Variable not in scope: `Prelude.head'

mdg@mdglt:/bug-2114> ghc -o Main --make Main
Chasing modules from: Main
Compiling Main ( Main.hs, ./Main.o )

Main.hs:5: Variable not in scope: `Prelude.head'
mdg@mdglt:/bug-2115> runhugs Main
0
"head"

as expected.


----------------------------------------------------------------------

>Comment By: Simon Peyton Jones (simonpj)
Date: 2004-02-26 12:38

Message:
Logged In: YES
user_id=50165

Quite right! Thus bug has been there for ages, but no one
(including us) noticed.

I'm going to fix the HEAD. It turns out to be more awkward
to fix the 6.2 branch, so I'll let it lie.

----------------------------------------------------------------------

You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=904512&group_id=8032


<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise