[Haskell-cafe] any advice for tracking down a failure to compile (it just hangs) with ghc 9.2.4?

Tue Sep 6 12:08:15 UTC 2022

Since this seems to be a regression in 9.2.4, I'd suggest not to wait too
long with reporting this on GHC's issue tracker. The GHC devs can also give
you advice on diagnosing this further.

Am Di., 6. Sept. 2022 um 00:01 Uhr schrieb Doug Burke <dburke.gw at gmail.com>:

> 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
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20220906/6b007ebe/attachment.html>