[Haskell-cafe] any advice for tracking down a failure to compile (it just hangs) with ghc 9.2.4?
Doug Burke
dburke.gw at gmail.com
Mon Sep 5 22:00:30 UTC 2022
I have noticed I can't run one of my tests when building with ghc
9.2.4 (tried via stack and nix) that doesn't happen with ghc 9.2.3 (or
older versions).
Is there a way to diagnose the problem (so I can look at the ghc bug
tracker or try and make the code smaller for testing)?
I can see this behavior with the following reproducer (it's a bit
heavyweight at the moment!):
% git clone https://gitlab.com/dburke/swish temp
% cd temp
Added to get the timings, but it's not strictly necessary:
% sed -i -e "s/-Wall /-Wall -ddump-timings /" swish.cabal
Now try to build and run the test. The following build and run the
test quickly if using an older GHC (e.g. "--resolver lts" for the
stack case or "--argstr compiler ghc923" for the nix case).
First with stack
% sed -i -e "s/-Wall /-Wall -ddump-timings /" swish.cabal
% stack test --resolver nightly-2022-09-05 :test-rdfproof
Stack has not been tested with GHC versions above 9.0, and using
9.2.4, this may fail
Stack has not been tested with Cabal versions above 3.4, but version
3.6.3.0 was found, this may fail
swish> configure (lib + test)
Configuring swish-0.10.2.0...
swish> build (lib + test)
Preprocessing library for swish-0.10.2.0..
Building library for swish-0.10.2.0..
Preprocessing test suite 'test-rdfproof' for swish-0.10.2.0..
Building test suite 'test-rdfproof' for swish-0.10.2.0..
*** initializing unit database:
initializing unit database: alloc=7350056 time=8.753
*** initializing unit database:
initializing unit database: alloc=3999144 time=16.194
*** Chasing dependencies:
*** systool:cpp:
systool:cpp: alloc=271104 time=1.991
Chasing dependencies: alloc=10233768 time=8.400
[2 of 2] Compiling Main
*** Parser [Main]:
Parser [Main]: alloc=24346344 time=33.067
*** Renamer/typechecker [Main]:
Renamer/typechecker [Main]: alloc=101896128 time=134.992
*** Desugar [Main]:
Desugar [Main]: alloc=24628816 time=24.813
*** Simplifier [Main]:
Simplifier [Main]: alloc=667236400 time=775.137
*** Specialise [Main]:
Specialise [Main]: alloc=45057312 time=40.543
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False})
[Main]: alloc=208806472 time=330.396
*** Simplifier [Main]:
Simplifier [Main]: alloc=603245992 time=747.067
*** Simplifier [Main]:
Simplifier [Main]: alloc=564322584 time=709.583
*** Simplifier [Main]:
Simplifier [Main]: alloc=728039528 time=835.525
*** Float inwards [Main]:
*** Called arity analysis [Main]:
*** Simplifier [Main]:
Float inwards [Main]: alloc=23720 time=0.017
Called arity analysis [Main]: alloc=25848 time=0.016
Progress 0/2
Now with nix
% nix-shell --argstr compiler ghc924
... wait an indeterminate amount of time
% ghc --version
The Glorious Glasgow Haskell Compilation System, version 9.2.4
% cabal test test-rdfproof
Warning: The package list for 'hackage.haskell.org' is 19 days old.
Run 'cabal update' to get the latest list of available packages.
Resolving dependencies...
Build profile: -w ghc-9.2.4 -O1
In order, the following will be built (use -v for more details):
- swish-0.10.2.0 (lib) (first run)
- swish-0.10.2.0 (test:test-rdfproof) (first run)
Configuring library for swish-0.10.2.0..
Preprocessing library for swish-0.10.2.0..
Building library for swish-0.10.2.0..
[ 1 of 55] Compiling Data.Interned.URI
[ 2 of 55] Compiling Data.Ord.Partial
[ 3 of 55] Compiling Data.String.ShowLines
[ 4 of 55] Compiling Network.URI.Ord
[ 5 of 55] Compiling Swish.GraphClass
...
... a lot more, including some annoying non-exhaustive patterns I
don't know how to fix
... but that's for a different post
...
[55 of 55] Compiling Swish
Configuring test suite 'test-rdfproof' for swish-0.10.2.0..
Preprocessing test suite 'test-rdfproof' for swish-0.10.2.0..
Building test suite 'test-rdfproof' for swish-0.10.2.0..
*** initializing unit database:
initializing unit database: alloc=7389248 time=4.436
*** initializing unit database:
initializing unit database: alloc=4001312 time=11.992
*** Chasing dependencies:
*** systool:cpp:
systool:cpp: alloc=319464 time=0.520
Chasing dependencies: alloc=12863280 time=6.581
[1 of 2] Compiling TestHelpers ( tests/TestHelpers.hs,
/home/dburke/rdf/temp/dist-newstyle/build/x86_64-linux/ghc-9.2.4/swish-0.10.2.0/t/test-rdfproof/build/test-rdfproof/test-rdfproof-tmp/TestHelpers.o
)
*** Parser [TestHelpers]:
Parser [TestHelpers]: alloc=5469952 time=2.325
*** Renamer/typechecker [TestHelpers]:
Renamer/typechecker [TestHelpers]: alloc=94049744 time=106.001
*** Desugar [TestHelpers]:
Desugar [TestHelpers]: alloc=5551840 time=2.974
*** Simplifier [TestHelpers]:
Simplifier [TestHelpers]: alloc=45720248 time=28.537
*** Specialise [TestHelpers]:
Specialise [TestHelpers]: alloc=2198344 time=0.717
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [TestHelpers]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False})
[TestHelpers]: alloc=6183280 time=3.109
*** Simplifier [TestHelpers]:
Simplifier [TestHelpers]: alloc=27272104 time=16.042
*** Simplifier [TestHelpers]:
Simplifier [TestHelpers]: alloc=20805544 time=12.332
*** Simplifier [TestHelpers]:
Simplifier [TestHelpers]: alloc=6175584 time=2.825
*** Float inwards [TestHelpers]:
Float inwards [TestHelpers]: alloc=26272 time=0.012
*** Called arity analysis [TestHelpers]:
Called arity analysis [TestHelpers]: alloc=28392 time=0.012
*** Simplifier [TestHelpers]:
Simplifier [TestHelpers]: alloc=14755744 time=7.017
*** Demand analysis [TestHelpers]:
Demand analysis [TestHelpers]: alloc=2061096 time=1.296
*** Constructed Product Result analysis [TestHelpers]:
Constructed Product Result analysis [TestHelpers]: alloc=466968 time=0.197
*** Worker Wrapper binds [TestHelpers]:
Worker Wrapper binds [TestHelpers]: alloc=436552 time=0.201
*** Simplifier [TestHelpers]:
Simplifier [TestHelpers]: alloc=31897488 time=18.652
*** Exitification transformation [TestHelpers]:
Exitification transformation [TestHelpers]: alloc=29808 time=0.013
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [TestHelpers]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True})
[TestHelpers]: alloc=5508568 time=4.009
*** Common sub-expression [TestHelpers]:
Common sub-expression [TestHelpers]: alloc=27896 time=0.013
*** Float inwards [TestHelpers]:
Float inwards [TestHelpers]: alloc=26272 time=0.021
*** Simplifier [TestHelpers]:
Simplifier [TestHelpers]: alloc=24835440 time=15.291
*** Demand analysis [TestHelpers]:
Demand analysis [TestHelpers]: alloc=2214560 time=1.044
*** CoreTidy [TestHelpers]:
CoreTidy [TestHelpers]: alloc=2814672 time=1.457
*** CorePrep [TestHelpers]:
CorePrep [TestHelpers]: alloc=1965920 time=2.636
*** CoreToStg [TestHelpers]:
CoreToStg [TestHelpers]: alloc=3134560 time=1.484
*** CodeGen [TestHelpers]:
CodeGen [TestHelpers]: alloc=80232584 time=46.410
*** WriteIface [/home/dburke/rdf/temp/dist-newstyle/build/x86_64-linux/ghc-9.2.4/swish-0.10.2.0/t/test-rdfproof/build/test-rdfproof/test-rdfproof-tmp/TestHelpers.hi]:
WriteIface [/home/dburke/rdf/temp/dist-newstyle/build/x86_64-linux/ghc-9.2.4/swish-0.10.2.0/t/test-rdfproof/build/test-rdfproof/test-rdfproof-tmp/TestHelpers.hi]:
alloc=1780688 time=0.766
*** systool:as:
systool:as: alloc=137200 time=0.360
[2 of 2] Compiling Main ( tests/RDFProofTest.hs,
/home/dburke/rdf/temp/dist-newstyle/build/x86_64-linux/ghc-9.2.4/swish-0.10.2.0/t/test-rdfproof/build/test-rdfproof/test-rdfproof-tmp/Main.o
)
*** Parser [Main]:
Parser [Main]: alloc=25235720 time=8.851
*** Renamer/typechecker [Main]:
Renamer/typechecker [Main]: alloc=58415520 time=45.291
*** Desugar [Main]:
Desugar [Main]: alloc=22098688 time=46.709
*** Simplifier [Main]:
Simplifier [Main]: alloc=654052760 time=511.390
*** Specialise [Main]:
Specialise [Main]: alloc=44439912 time=34.132
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Main]:
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False})
[Main]: alloc=208317448 time=252.154
*** Simplifier [Main]:
Simplifier [Main]: alloc=601002912 time=546.343
*** Simplifier [Main]:
Simplifier [Main]: alloc=564371608 time=546.970
*** Simplifier [Main]:
Simplifier [Main]: alloc=726902400 time=613.423
*** Float inwards [Main]:
Float inwards [Main]: alloc=23720 time=0.024
*** Called arity analysis [Main]:
Called arity analysis [Main]: alloc=25856 time=0.013
*** Simplifier [Main]:
At this point my laptop just sits there making whooshing noises as if
it's trying to become an aeroplane, but it never gets to where it's
going (to mix up my metaphors).
Any help would be appreciated,
Doug
More information about the Haskell-Cafe
mailing list