The following compiler error occurred in trying to compile Jan
Zwanenburg's
proof assistant tool Yarrow with ghc-4.00.
ftp://fpt.win.tue.nl/pub/courses/2L560/yarrow/yarrow-src.tar.gz
The package says that it works with ghc-2.05 but I thought that I might
try it with the latest version. Hugs-1.4 runs it fine and ghc-2.10
compiles
it without error.
Hope you can figure out the diagnostics!
Regards,
Simon Ambler
------------------------------------------------
rm -f MainMod.o
ghc -recomp -v -c MainMod.hs
The Glorious Glasgow Haskell Compilation System, version 4.00,
patchlevel 0
Effective command line: -recomp -v -c
Ineffective C pre-processor:
echo '{-# LINE 1 "MainMod.hs" -}' > /tmp/ghc193.cpp && cat
MainMod.hs >>
/tmp/ghc193.cpp
real 0m0.010s
user 0m0.000s
sys 0m0.000s
ghc:compile:Output file MainMod.o doesn't exist
ghc:compile:Interface file MainMod.hi doesn't exist
ghc:recompile:Input file MainMod.hs newer than MainMod.o
Haskell compiler:
/usr/local/lib/ghc-4.00/hsc ,-W ,/tmp/ghc193.cpp
-fignore-interface-pra
gmas -fomit-interface-pragmas -fsimplify [ -ffloat-lets-exposing-whnf
-ffloat-p
rimops-ok -fcase-of-case -fdo-case-elim -freuse-con -fpedantic-bottoms
-fclone-b
inds -fmax-simplifier-iterations4 ] -fwarn-overlapping-patterns
-fwarn-missin
g-methods -fwarn-duplicate-exports -fhi-version=400
-himap=.%.hi:/usr/local/lib/
ghc-4.00/imports/std%.hi -v -hifile=/tmp/ghc193.hi -C=/tmp/ghc193.hc
-F=/tmp/g
hc193_stb.c -FH=/tmp/ghc193_stb.h +RTS -H6000000 -K1000000
Glasgow Haskell Compiler, version 4.00, for Haskell 1.4
zonkIdOcc: addI_a1K9
zonkIdOcc: addI_a1Ka
panic! (the `impossible' happened):
lookupBindC:no info!
for: addI_a1Ka
(probably: data dependencies broken by an
optimisation pas
s)
static binds for:
c4xv
c4xw
c4xx
c4xy
c4xz
c4xA
c4xB
c4xC
c4xD
c4xE
c4xF
c4xG
c4xH
c4xI
c4xJ
c4xK
MainMod.errNotInMainMode{-rrM,x-}
local binds for:
Please report it as a compiler bug to
[EMAIL PROTECTED]
real 0m21.474s
user 0m12.360s
sys 0m0.320s
deleting... /tmp/ghc193.cpp /tmp/ghc193.hi /tmp/ghc193.hc
/tmp/ghc193_stb.c /tmp
/ghc193_stb.h
rm -f /tmp/ghc193*
make: *** [MainMod.o] Error 1
