ghc-6.8.1 compilation fails

GoogleCodeExporter commented 9 years ago

What steps will reproduce the problem?
1. Check out Omega from trunk:
svn co http://omega.googlecode.com/svn/trunk
2. build it with ghc v6.8.1:
make GHC=/Users/ggreif/bin/ghc
3. observe error in Syntax.hs

What is the expected output? What do you see instead?

ghc v6.6.1 compiles this just fine, but I get:

ggreif$ make GHC=/Users/ggreif/bin/ghc
/Users/ggreif/bin/ghc -auto-all  -fglasgow-exts -fallow-undecidable-instances 
-o omega.exe 
--make Main
[19 of 30] Compiling Syntax           ( Syntax.hs, Syntax.o )

Syntax.hs:266:29:
    Could not deduce (HasNext m)
      from the context (Freshen Pat, Freshen Var, Fresh m)
      arising from a use of `acc2' at Syntax.hs:266:29-32
    Possible fix:
      add (HasNext m) to the context of the type signature for `freshen'
    In the first argument of `foldrM', namely `acc2'
    In a 'do' expression: (ps', ns) <- foldrM acc2 ([], []) ps
    In the expression:
        do let acc2 p (ps, ns) = ...
           (ps', ns) <- foldrM acc2 ([], []) ps
           return (Pcon c ps', ns)
make: *** [all] Error 1

Might be a ghc bug too.

Original issue reported on code.google.com by ggr...@gmail.com on 20 Dec 2007 at 8:07

GoogleCodeExporter commented 9 years ago

fixed in revision 111 on branches/llvm-gen

tested with ghc 6.8.2

patch coming

Original comment by ggr...@gmail.com on 7 Feb 2008 at 10:14

Changed state: Started
Added labels: Type-Defect, Priority-Critical, Patch-imminent
Removed labels: Type-Other, Priority-Medium

GoogleCodeExporter commented 9 years ago

Original comment by ggr...@gmail.com on 7 Feb 2008 at 10:19

Changed state: Fixed
Added labels: Patch-included
Removed labels: Patch-imminent

Attachments:

Bind.hs.diff

GoogleCodeExporter commented 9 years ago

I shall mark this as fixed when it hits trunk/

Original comment by ggr...@gmail.com on 8 Feb 2008 at 8:31

Changed state: Started

GoogleCodeExporter commented 9 years ago

merged to trunk in r126

Original comment by ggr...@gmail.com on 31 Mar 2008 at 7:43

Changed state: Fixed

GoogleCodeExporter commented 9 years ago

Original comment by ggr...@gmail.com on 31 Mar 2008 at 7:51

Added labels: Milestone-Release1.4.3

GoogleCodeExporter commented 9 years ago

1.4.3 works

Original comment by ggr...@gmail.com on 4 Jul 2009 at 12:38

Changed state: Verified

google-code-export / omega

ghc-6.8.1 compilation fails #50