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