Hello,
loading "Control.Monad.ST" causes an error,
because it exports an undefined name:
unsafeSTToIO -- :: ST s a -> IO a
If I comment out the export, things appear to work.
-Iavor
>> http://www-users.cs.york.ac.uk/~ndm/projects/winhugs.php
> Yes, please try that out. When WinHugs is ready, there will be a Hugs
> release.
okay then, on to bugs:-)
with the following code
-- | field selection
infixl #?
class Select label val rec | label rec -> val where
(#?) :: rec -> label -> val
instance Select label val ((label,val),r) where
((_,val),_) #? label = val
instance Select label val r => Select label val (l,r) where
(_,r) #? label = r #? label
hugs -98 +o complains [Neil: would it be possible to add a WinHugs option
for switching to copy&past *without formatting*?]:
ERROR file:.\Dilemma.hs:33 - Instances are not consistent with dependencies
*** This instance : Select a b (c,d)
*** Conflicts with : Select a b ((a,b),c)
*** For class : Select a b c
*** Under dependency : a c -> b
but according to the resolution of overlapping instances, the offending
instances shouldn't even exist, right? in other words, after resolution,
there are no overlaps left, hence no two ways to select an instance.
whenever the two instance definitions overlap, the first one is chosen,
so the dependency is maintained.
or am I missing something? [ghci accepts these definitions]
Claus
Hello,
the two modules bellow illustrate a bug in the implementation of the
module system (20060307). The problem appears to be that
record labels are not treated as "belonging" to a type.
> module A(get) where
> import B hiding (T(..))
> data T = C { get :: Char }
> module B where
> data T = C { get :: Int }
Output when I load A.hs:
ERROR "A.hs" - Ambiguous export of entity "get"
*** Could refer to: A.get B.get
-Iavor
Hello,
the following (erroneous) program generates an internal error,
in hugs (20060307), when started with flag -98.
> f m :: IO a -> IO a
> = m
Output:
INTERNAL ERROR: findBtyvsInt
Please report this Hugs bug to hugs-bugs(a)haskell.org
-Iavor
