Dear buggists,
Big problems with some output from Happy 1.2-alpha, summarised below.
As I've no idea what's going on here, I haven't tried to trim the input
program down, and I've just attached it as-is, in all its g(l)ory,
along with the .hi files for its imports, in a bid to keep this message
in the low 100's of Kb. Sigs & Simes (or anyone!), please give me a
shout if you need anything else to work this one out, I'm quite keen
to get it sorted out and/or worked around.
Cheers,
Alex.
--
Effective command line: -c -H90M -K6M -H30m -K2M -recomp -fglasgow-exts -cpp
-syslib ghc -v -Rgc-stats -dshow-passes -fmax-simpl
ifier-iterations8 -funfolding-use-threshold-0 -fshow-simplifier-progress -syslib
hbc
Haskellised C pre-processor:
echo '#line 1 "Galileo6.hs"' > /tmp/ghc7629.cpp &&
/usr/local/ghc-2.05/lib/hscpp -v -D__HASKELL1__=4 -D__GLASGOW_HASKE
LL__=204 -I. -I/usr/local/ghc-2.05/lib/includes
-I/usr/local/ghc-2.05/lib/includes Galileo6.hs >> /tmp/ghc7629.cpp
real 0.0
user 0.0
sys 0.0
hscpp:CPP invoked: /usr/local/lib/gcc-lib/sparc-sun-solaris2.5/2.7.2/cpp
-traditional -D__HASKELL1__=4 -D__GLASGOW_HASKELL__=204
-I. -I/usr/local/ghc-2.05/lib/includes -I/usr/local/ghc-2.05/lib/includes
Galileo6.hs
ghc:recompile:Input file Galileo6.hs newer than Galileo6.o
Haskell compiler:
/usr/local/ghc-2.05/lib/hsc ,-N ,-W ,/tmp/ghc7629.cpp -fglasgow-exts
-dshow-passes -fignore-interface-pragmas -fomit-in
terface-pragmas -fsimplify \( -ffloat-lets-exposing-whnf -ffloat-primops-ok
-fcase-of-case -freuse-con -fpedantic-bottoms -funf
olding-use-threshold-0 -fmax-simplifier-iterations8 -fshow-simplifier-progress
\) -himap=.%.hi:/usr/local/ghc-2.05/lib/hslibs/
hbc/imports%.hi:/usr/local/ghc-2.05/lib/hslibs/ghc/imports%.hi:/usr/local/ghc-2.
05/lib/hslibs/hbc/imports%.hi:/usr/local/ghc-2.0
5/lib/hslibs/ghc/imports%.hi:/usr/local/ghc-2.05/lib/imports%.hi -v
-hifile=/tmp/ghc7629.hi -S=/tmp/ghc7629.s +RTS -H90000000
-K6000000 -SGalileo6.stat
================================================================================
Glasgow Haskell Compiler, version 2.0499999999999998, for Haskell 1.4
*** Reader:
*** Renamer:
*** TypeCheck:
Galileo6.hs:4432: Compiler bug: kind mis-match between
`taprV' :: `*' and `GHC.Int#' :: `*#'
Expected: `taprV
-> GHC.Int#
-> taprW
-> HappyState taprW ([HappyAbsSyn taprX taprY taprZ
(PrelBase.Maybe (PrelBase.String, TypeDefs.Number, PrelBase.S
tring)) taps0 taps1 taps2 taps3 taps4 taps5 taps6 taps7 taps8 taps9 tapsa tapsb
tapsc]
-> tapsd)
-> [HappyState taprW ([HappyAbsSyn taprX taprY taprZ
(PrelBase.Maybe (PrelBase.String, TypeDefs.Number, PrelBase.
String)) taps0 taps1 taps2 taps3 taps4 taps5 taps6 taps7 taps8 taps9 tapsa tapsb
tapsc]
-> tapsd)]
-> [HappyAbsSyn taprX taprY taprZ (PrelBase.Maybe
(PrelBase.String, TypeDefs.Number, PrelBase.String)) taps0 taps
1 taps2 taps3 taps4 taps5 taps6 taps7 taps8 taps9 tapsa tapsb tapsc]
-> tapsd'
Inferred: `GHC.Int#
-> GHC.Int#
-> Lexer.Token
-> HappyState Lexer.Token ([HappyAbsSyn tafn4 tafn6 tafn8 tafna
tafnc tafne tafng tafni tafnk tafnm tafno tafnq t
afns tafnu tafnw tafny tafnA]
-> PrelBase.String
-> PrelBase.Int
-> ParseResult TypeDefs.Program)
-> [HappyState Lexer.Token ([HappyAbsSyn tafn4 tafn6 tafn8 tafna
tafnc tafne tafng tafni tafnk tafnm tafno tafnq
tafns tafnu tafnw tafny tafnA]
-> PrelBase.String
-> PrelBase.Int
-> ParseResult TypeDefs.Program)]
-> [HappyAbsSyn tafn4 tafn6 tafn8 tafna tafnc tafne tafng tafni
tafnk tafnm tafno tafnq tafns tafnu tafnw tafny t
afnA]
-> PrelBase.String
-> PrelBase.Int
-> ParseResult TypeDefs.Program'
In an equation for function `action_559':
`action_559 (170#) = happyShift action_560'
Galileo6.hs:4427: Compiler bug: kind mis-match between
`tapse' :: `*' and `GHC.Int#' :: `*#'
Expected: `tapse
-> GHC.Int#
-> tapsf
-> HappyState tapsf ([HappyAbsSyn tapsg tapsh tapsi
(PrelBase.Maybe (PrelBase.String, TypeDefs.Number, PrelBase.S
tring)) tapsj tapsk tapsl tapsm tapsn tapso tapsp tapsq tapsr tapss tapst tapsu
tapsv]
-> tapsw)
-> [HappyState tapsf ([HappyAbsSyn tapsg tapsh tapsi
(PrelBase.Maybe (PrelBase.String, TypeDefs.Number, PrelBase.
String)) tapsj tapsk tapsl tapsm tapsn tapso tapsp tapsq tapsr tapss tapst tapsu
tapsv]
-> tapsw)]
-> [HappyAbsSyn tapsg tapsh tapsi (PrelBase.Maybe
(PrelBase.String, TypeDefs.Number, PrelBase.String)) tapsj taps
k tapsl tapsm tapsn tapso tapsp tapsq tapsr tapss tapst tapsu tapsv]
-> tapsw'
Inferred: `GHC.Int#
-> GHC.Int#
-> Lexer.Token
-> HappyState Lexer.Token ([HappyAbsSyn tafoO tafoQ tafoS tafoU
tafoW tafoY tafp0 tafp2 tafp4 tafp6 tafp8 tafpa t
afpc tafpe tafpg tafpi tafpk]
-> PrelBase.String
-> PrelBase.Int
-> ParseResult TypeDefs.Program)
-> [HappyState Lexer.Token ([HappyAbsSyn tafoO tafoQ tafoS tafoU
tafoW tafoY tafp0 tafp2 tafp4 tafp6 tafp8 tafpa
tafpc tafpe tafpg tafpi tafpk]
-> PrelBase.String
-> PrelBase.Int
-> ParseResult TypeDefs.Program)]
-> [HappyAbsSyn tafoO tafoQ tafoS tafoU tafoW tafoY tafp0 tafp2
tafp4 tafp6 tafp8 tafpa tafpc tafpe tafpg tafpi t
afpk]
-> PrelBase.String
-> PrelBase.Int
-> ParseResult TypeDefs.Program'
In an equation for function `action_557':
`action_557 (136#) = happyShift action_558'
Galileo6.hs:4360: Compiler bug: kind mis-match between
`tapsx' :: `*' and `GHC.Int#' :: `*#'
... and so on, many, many more in the same vein.
------------- End Forwarded Message -------------
--7f7_421d-416_785b-43d0_6450--
