problems with export declarations in hugs nov 2002

Andrew Frank frank at geoinfo.tuwien.ac.at
Mon Sep 15 00:11:24 EDT 2003


i am moving (under windows) from hugs nov 99 to hugs nov 02. i observe the
following difference:

i understand that for classes and data types, an export of the form X (..)
exports the class/data type with all the methods/constructors in scope
(report page 64). This seems not to work

module A (Eq (..), Bool (..)) where			-- produces an error in module b (not
under hugs nov99)
--module A (Eq ((==)), Bool (False)) where		-- works (but should not be
necessary)

import Prelude (Eq (..), Bool (..))

f = 'a' == 'b'

---------------------------------------------------
module B where

import qualified Prelude
import A


t = 'a' == 'a'
f = False

------------------------------------------------------
what do i misunderstand?  (by the way, this seems only to occur when the
class is shadowing a class in the prelude)

thank you
andrew


Andrew U. Frank
Geoinformation E127     	       	       		phone: +43 1 588 01 12710
TU Vienna					secr.  +43 1 588 01 12700
Gusshausstrasse 27-29 			fax    +43 1 588 01 12799
A-1040 Vienna Austria        			cellular phone +43 676 41925 72
http://www.geoinfo.tuwien.ac.at/persons/frank/frank.html




More information about the Hugs-Bugs mailing list