#4462: -dcore-lint error in simplifier phase 0 when profiling
-------------------------------------------------+--------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.0.2
Component: Compiler | Version: 7.0.1 RC1
Keywords: profiling, simplifier, core-lint | Testcase: Agda (darcs,
current)
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Compile-time
crash
-------------------------------------------------+--------------------------
Comment(by wkahl):
First of all, since the {{{unsafeCoerce}}} calls in
{{{dist/build/Agda/Syntax/Parser/Parser.hs}}} were generated by Happy, and
Happy can be persuaded not to generate them, there are no
{{{unsafeCoerce}}} calls left in Agda. There is also no Agda-generated
code in Agda (I originally was mistaken, since I never would have
suspected that Happy does such a thing), so, for the original core-lint
error, it does not matter what Agda does.
I have been able to reproduce that original error with 7.0.1, with the
following packages, all fresh from hackage and installed in the given
order:
{{{
zlib-0.5.2.0
xhtml-3000.2.0.1
transformers-0.2.2.0
mtl-2.0.1.0
syb-0.2.2
cpphs-1.11
haskell-src-exts-1.9.6
QuickCheck-2.4.0.1
utf8-string-0.3.6
bytestring-0.9.1.7
binary-0.5.0.2
haskeline-0.6.3.2
}}}
Each of these has been installed with:
{{{
P=PACKAGE
rm -rf $P
tar xzf $P''.tar.gz
cd $P
ghc --make Setup
./Setup configure --prefix=/usr/local/packages/ghc-7.0.1 -p \
--ghc-options="-dcore-lint"
./Setup build
./Setup haddock
./Setup install
cd ..
}}}
For GHC-7, we need the current Agda development version from darcs:
{{{
darcs get --lazy http://code.haskell.org/Agda
}}}
In a build directory for this:
{{{
ghc --make Setup
./Setup configure --prefix=/usr/local/packages/ghc-7.0.1 -p \
--ghc-options="-dcore-lint"
alex -g -o dist/build/Agda/Syntax/Parser/Lexer.hs
src/full/Agda/Syntax/Parser/Lexer.x
happy -ag -o dist/build/Agda/Syntax/Parser/Parser.hs
src/full/Agda/Syntax/Parser/Parser.y
time ./Setup build -v > build-2010-11-25.log 2>&1
}}}
(Cabal hardwires {{{-agc}}} for happy, so we need to call happy ourselves
preemptively.)
{{{build-2010-11-25.log}}} will be attached.
(I will open a separate ticket for my segfaults if I find out more about
them. Sorry for distracting from the original problem on this ticket!)
Wolfram
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4462#comment:9>
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
