#4044: Compilation of my ghc tree with ghc-6.12.2 -dcore-lint fails.
-------------------------------+--------------------------------------------
Reporter: milan | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.14.1
Component: Compiler | Version: 6.12.2
Keywords: | Difficulty:
Os: Linux | Testcase:
Architecture: x86_64 (amd64) | Failure: GHC rejects valid program
-------------------------------+--------------------------------------------
Changes (by BenMoseley):
* cc: ben_mose...@… (added)
Comment:
We're seeing what seems to be this bug too (GHC 6.12.1). (Were getting
segfaults in the finished program which compiled fine without "-dcore-
lint", the segfaults disappear with "-O0" and appear with "-O1" and
"-O2").
Building GenBarriers? ghc.exe -odir ../Build\obj -hidir ../Build\obj -Wall
-fno-warn-missing-signatures -fno-warn-name-shadowing -fno-warn-type-
defaults -fno-warn-unused-do-bind -package
conf=C:\ws\fpfdev\depot\QA\EDG\EDG_priv\FPF_Dev.br\ThirdParty?/haskell_packages\fpf.package.conf
flags.c -O2 -Werror -i.. -XTemplateHaskell --make
BackendBarriers/GenBarriers?.hs -main-is
BackendBarriers?.GenBarriers?.main -o ..\Out\EXEs\5\GenBarriers?.exe ***
Core Lint Errors: in result of Simplifier mode gentle, iteration 1 out of
4 *** <no location info>:
In the expression: ic_a700 @ $co$_a6ZE Kinds don't match in type
application:
Type variable: co_wild_B1
a_a6I4 ~ Utils.RangeAnalysis?.FC.FCQty
Arg type: $co$_a6ZE
a_a7k7 ~ Utils.RangeAnalysis?.FC.FCQty *** Offending Program ***
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4044#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
