Hi Ben, thanks for also looking into the issue! I am in the process of debugging a miscompilation related to #13861 (self-inflicted, hahahar), but without a working linter I am pretty much toast... I'll wait a bit more until your fixed hit master. Unrelated to linting, but seemingly related to "-g" I get a ton of warnings like this: WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akKa] Is this perhaps covered by your fixes? Cheers, Gabor On 8/16/17, Ben Gamari wrote:

Gabor Greif writes:

...

Hi all,

I tried an stg-lint build thus:

How timely; just yesterday I looked at a number of stg lint issues after having noticed a number of issues with it over the past few months. I pushed patches for a number of issues (#14116, #14117, #14118) to Phabricator, but the bigger problem is #14120, which I don't yet have a compelling solution for (other than the "give up on catching all but the most trivial type errors" approach).

Cheers,

- Ben

| WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akKa] That shouldn't happen! If you can make a repro case, please open a ticket. Simon | -----Original Message----- | From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Gabor | Greif | Sent: 17 August 2017 09:49 | To: Ben Gamari | Cc: ghc-devs | Subject: Re: Stg-lint and bootstrapping (fails?) | | [You don't often get email from GGREIF@GMAIL.COM. Learn why this is | important at http://aka.ms/LearnAboutSenderIdentification.] | | Hi Ben, | | thanks for also looking into the issue! I am in the process of debugging | a miscompilation related to #13861 (self-inflicted, hahahar), but without | a working linter I am pretty much toast... I'll wait a bit more until | your fixed hit master. | | Unrelated to linting, but seemingly related to "-g" I get a ton of | warnings like this: | | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akKa] | | Is this perhaps covered by your fixes? | | Cheers, | | Gabor | | On 8/16/17, Ben Gamari wrote: | > Gabor Greif writes: | > | >> Hi all, | >> | >> I tried an stg-lint build thus: | >> | > How timely; just yesterday I looked at a number of stg lint issues | > after having noticed a number of issues with it over the past few | months. | > I pushed patches for a number of issues (#14116, #14117, #14118) to | > Phabricator, but the bigger problem is #14120, which I don't yet have | > a compelling solution for (other than the "give up on catching all but | > the most trivial type errors" approach). | > | > Cheers, | > | > - Ben | > | > | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask | ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | devs&data=02%7C01%7Csimonpj%40microsoft.com%7C057084a514e548c9642c08d4e54 | cd776%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636385565585443027&sda | ta=2NNSmwZJv0czL4BykKENAWW38sUhYHF7IYyXscAfHdw%3D&reserved=0

| Oh dear, then I've really misunderstood the intent of this warning. I've | been noticing these during the GHC build for quite some time now. Really? After stumbling on #14142, I removed -dno-debug-output from mk/flavours/validate.mk and re-validated. Not a single occurrence of | > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | > | OccurAnal failed to rediscover join point(s): [go58_akKa] How can I reproduce what you are seeing? Simon | -----Original Message----- | From: Ben Gamari [mailto:ben@smart-cactus.org] | Sent: 19 August 2017 16:54 | To: Simon Peyton Jones ; Gabor Greif | | Cc: ghc-devs | Subject: RE: Stg-lint and bootstrapping (fails?) | | Simon Peyton Jones writes: | | > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | > | OccurAnal failed to rediscover join point(s): [go58_akKa] | > | > That shouldn't happen! If you can make a repro case, please open a | ticket. | > | Oh dear, then I've really misunderstood the intent of this warning. I've | been noticing these during the GHC build for quite some time now. | | Cheers, | | - Ben

On 8/21/17, Gabor Greif wrote:

Hi Simon,

for me it happens on many files that are compiled with

$ make GhcStage2HcOpts="-O1 -g"

while the stage1 compiler is active.

Tomorrow I can add a concrete invocation.

Here is it: "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3 -hide-all-packages -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser -icompiler/prelude -icompiler/profiling -icompiler/rename -icompiler/simplCore -icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build -icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen -Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/../rts/dist/build -Icompiler/stage2 -optP-DGHCI -optP-include -optPcompiler/stage2/build/./autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id directory-1.3.0.2 -package-id process-1.6.1.0 -package-id bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 -package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0 -package-id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3 -package-id unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing -this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS -DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing -O1 -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir compiler/stage2/build -hidir compiler/stage2/build -stubdir compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs -o compiler/stage2/build/TcEvidence.o -dyno compiler/stage2/build/TcEvidence.dyn_o WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soeO] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soeN] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sosq] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soxX] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soy2] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soy9] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soyw] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sowZ] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sovR] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sovx] WARNING: file compiler/simplCore/SimplCore.hs, line 700 Simplifier bailing out after 4 iterations [721, 479, 80, 4] Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96} WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 [] WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 [] WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 [] WARNING: file compiler/simplCore/SimplCore.hs, line 1024 Not shorting out: ebv_uniq And with `-g` I get even more: $ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3 -hide-all-packages -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser -icompiler/prelude -icompiler/profiling -icompiler/rename -icompiler/simplCore -icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build -icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen -Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/../rts/dist/build -Icompiler/stage2 -optP-DGHCI -optP-include -optPcompiler/stage2/build/./autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id directory-1.3.0.2 -package-id process-1.6.1.0 -package-id bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 -package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0 -package-id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3 -package-id unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing -this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS -DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing -O1 -g -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir compiler/stage2/build -hidir compiler/stage2/build -stubdir compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs -o compiler/stage2/build/TcEvidence.o -dyno compiler/stage2/build/TcEvidence.dyn_o WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_so9S] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_so9R] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sonu] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sot1] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sot6] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sotd] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sotA] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_sos3] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soqV] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [$j_soqB] WARNING: file compiler/simplCore/SimplCore.hs, line 700 Simplifier bailing out after 4 iterations [714, 479, 80, 4] Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96} WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 OccurAnal failed to rediscover join point(s): [go58_akL0] ... ETC. Cheers, Gabor

Cheers,

Gabor

Em seg, 21 de ago de 2017 às 17:49, Simon Peyton Jones < simonpj@microsoft.com> escreveu:

...

| Oh dear, then I've really misunderstood the intent of this warning. I've | been noticing these during the GHC build for quite some time now.

...

Really?

...

After stumbling on #14142, I removed -dno-debug-output from mk/flavours/ validate.mk and re-validated. Not a single occurrence of

...

| > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | > | OccurAnal failed to rediscover join point(s): [go58_akKa]

...

How can I reproduce what you are seeing?

...

Simon

...

| -----Original Message----- | From: Ben Gamari [mailto:ben@smart-cactus.org] | Sent: 19 August 2017 16:54 | To: Simon Peyton Jones ; Gabor Greif | | Cc: ghc-devs | Subject: RE: Stg-lint and bootstrapping (fails?) | | Simon Peyton Jones writes: | | > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | > | OccurAnal failed to rediscover join point(s): [go58_akKa] | > | > That shouldn't happen! If you can make a repro case, please open a | ticket. | > | Oh dear, then I've really misunderstood the intent of this warning. I've | been noticing these during the GHC build for quite some time now. | | Cheers, | | - Ben

Indeed, it does not happen on fresh HEAD, I'll have to dig deeper. Maybe it is related to my changes, but I only changed Stg-related stuff. Join-points are a Core thing, right? Anyway, I'll keep you informed if I figure it out. Cheers, Gabor On 8/22/17, Simon Peyton Jones wrote:

Is this with HEAD? I have an up to date HEAD, and with your command line I don't get those warnings. But I do get the OccAnal warnings, so it's not that the warnings are being suppressed.

I'm not sure how to reproduce.

Does this happen on anything smaller? Eg. on a testsuite program (you'll need to switch off the -dno-debug-output)?

Simon

| -----Original Message----- | From: Gabor Greif [mailto:ggreif@gmail.com] | Sent: 22 August 2017 09:57 | To: Simon Peyton Jones ; ghc-devs | Subject: Re: Stg-lint and bootstrapping (fails?) | | On 8/21/17, Gabor Greif wrote: | > Hi Simon, | > | > for me it happens on many files that are compiled with | > | > $ make GhcStage2HcOpts="-O1 -g" | > | > while the stage1 compiler is active. | > | > Tomorrow I can add a concrete invocation. | | Here is it: | | "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall | -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist - | Iincludes/dist-derivedconstants/header | -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3 -hide-all-packages | -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm - | icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci - | icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main - | icompiler/nativeGen -icompiler/parser -icompiler/prelude - | icompiler/profiling -icompiler/rename -icompiler/simplCore - | icompiler/simplStg -icompiler/specialise -icompiler/stgSyn - | icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils - | icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build - | icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen - | Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/../rts/dist/build | -Icompiler/stage2 -optP-DGHCI -optP-include - | optPcompiler/stage2/build/./autogen/cabal_macros.h | -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id | directory-1.3.0.2 -package-id process-1.6.1.0 -package-id | bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id | time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 - | package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0 -package- | id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id | ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3 -package-id | unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing - | this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS - | DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing | -O1 -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir | compiler/stage2/build -hidir compiler/stage2/build -stubdir | compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs -o | compiler/stage2/build/TcEvidence.o -dyno | compiler/stage2/build/TcEvidence.dyn_o | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soeO] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soeN] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sosq] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soxX] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soy2] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soy9] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soyw] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sowZ] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sovR] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sovx] | WARNING: file compiler/simplCore/SimplCore.hs, line 700 | Simplifier bailing out after 4 iterations [721, 479, 80, 4] | Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96} | WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 [] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 [] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2163 Just 3 [] | WARNING: file compiler/simplCore/SimplCore.hs, line 1024 | Not shorting out: ebv_uniq | | | And with `-g` I get even more: | | | $ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m - | Wall -fllvm-fill-undef-with-garbage -Werror -Iincludes -Iincludes/dist - | Iincludes/dist-derivedconstants/header | -Iincludes/dist-ghcconstants/header -this-unit-id ghc-8.3 -hide-all-packages | -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm - | icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci - | icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main - | icompiler/nativeGen -icompiler/parser -icompiler/prelude - | icompiler/profiling -icompiler/rename -icompiler/simplCore - | icompiler/simplStg -icompiler/specialise -icompiler/stgSyn - | icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils - | icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build - | icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen - | Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/../rts/dist/build | -Icompiler/stage2 -optP-DGHCI -optP-include - | optPcompiler/stage2/build/./autogen/cabal_macros.h | -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id | directory-1.3.0.2 -package-id process-1.6.1.0 -package-id | bytestring-0.10.8.2 -package-id binary-0.8.5.1 -package-id | time-1.8.0.2 -package-id containers-0.5.10.2 -package-id array-0.5.2.0 - | package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0 -package- | id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id | ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3 -package-id | unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing - | this-unit-id ghc -XHaskell2010 -optc-DTHREADED_RTS - | DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing | -O1 -g -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir | compiler/stage2/build -hidir compiler/stage2/build -stubdir | compiler/stage2/build -dynamic-too -c compiler/typecheck/TcEvidence.hs -o | compiler/stage2/build/TcEvidence.o -dyno | compiler/stage2/build/TcEvidence.dyn_o | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_so9S] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_so9R] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sonu] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sot1] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sot6] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sotd] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sotA] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_sos3] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soqV] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [$j_soqB] | WARNING: file compiler/simplCore/SimplCore.hs, line 700 | Simplifier bailing out after 4 iterations [714, 479, 80, 4] | Size = {terms: 8,035, types: 8,864, coercions: 1,129, joins: 0/96} | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akL0] ... ETC. | | Cheers, | | Gabor | | | | > | > Cheers, | > | > Gabor | > | > Em seg, 21 de ago de 2017 às 17:49, Simon Peyton Jones < | > simonpj@microsoft.com> escreveu: | > | >> | Oh dear, then I've really misunderstood the intent of this warning. | >> I've | >> | been noticing these during the GHC build for quite some time now. | > | >> Really? | > | >> After stumbling on #14142, I removed -dno-debug-output from | >> mk/flavours/ validate.mk and re-validated. Not a single occurrence | >> of | > | >> | > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | >> | > | OccurAnal failed to rediscover join point(s): [go58_akKa] | > | >> How can I reproduce what you are seeing? | > | >> Simon | > | >> | -----Original Message----- | >> | From: Ben Gamari [mailto:ben@smart-cactus.org] | >> | Sent: 19 August 2017 16:54 | >> | To: Simon Peyton Jones ; Gabor Greif | >> | | >> | Cc: ghc-devs | >> | Subject: RE: Stg-lint and bootstrapping (fails?) | >> | | >> | Simon Peyton Jones writes: | >> | | >> | > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | >> | > | OccurAnal failed to rediscover join point(s): [go58_akKa] | >> | > | >> | > That shouldn't happen! If you can make a repro case, please | >> | open a ticket. | >> | > | >> | Oh dear, then I've really misunderstood the intent of this warning. | >> I've | >> | been noticing these during the GHC build for quite some time now. | >> | | >> | Cheers, | >> | | >> | - Ben | > | > | >