[Hat] Hat bug report: Ambiguous occurrence `List'

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Wed Jun 30 11:33:29 EDT 2004


I wrote:

>                              I have attached a possible fix, but
> with it, the Hat prelude can no longer be transformed correctly,
> so you should not try to rebuild that.

Actually, the non-rebuildability of the Hat prelude turned out to
be another bug, only made visible by the fix I suggested.  Here is a
patch to the Prelude which corrects that secondary fault.  Since the
combination of the two patches now seems to work, I'm committing them
to CVS.

Regards,
    Malcolm
-------------- next part --------------
Index: src/hatlib/PreludeBasic.hs
===================================================================
RCS file: /home/cvs/root/hat/src/hatlib/PreludeBasic.hs,v
retrieving revision 1.15
diff -u -r1.15 PreludeBasic.hs
--- src/hatlib/PreludeBasic.hs	23 Jun 2004 15:05:33 -0000	1.15
+++ src/hatlib/PreludeBasic.hs	30 Jun 2004 15:27:39 -0000
@@ -29,7 +29,7 @@
 infixr 2  ||
 infixl 1  >>, >>=
 infixr 1  =<<
-infixr 0  $, $!, `seq`
+infixr 0  $, $!  --, `seq`
 
 
 -- Internal functions used by the transformation in desugaring
Index: src/hatlib/PreludeBuiltin.hs
===================================================================
RCS file: /home/cvs/root/hat/src/hatlib/PreludeBuiltin.hs,v
retrieving revision 1.16
diff -u -r1.16 PreludeBuiltin.hs
--- src/hatlib/PreludeBuiltin.hs	23 Jun 2004 15:05:34 -0000	1.16
+++ src/hatlib/PreludeBuiltin.hs	30 Jun 2004 15:27:39 -0000
@@ -62,6 +62,8 @@
 
 -- general:
 
+infixr 0 `seq`
+
 foreign import haskell "Prelude.seq"
   seq :: a -> b -> b
 


More information about the Hat mailing list