- ghc-devs - Haskell.org

HsCmdArrForm Fixity
by Alan & Kim Zimmerman 21 Jun '24

21 Jun '24

We are currently wrapping up https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12842, which moves Fixity declarations into TTG extensions point, and into the haskell syntax, not GHC. But rnCmd for HsCommandArrForm in current master has rnCmd (HsCmdArrForm _ op _ (Just _) [arg1, arg2]) ... It matches on HsCmd GhcPs, which never introduce the `Just` form for fixity. The only place the `Just` form is introduced, is in mkOpFormRn, but this is only ever called from this specific equation. So both can be removed, without changing behaviour. The question is, this code was added for a reason at some point, what has broken in the meantime? Should this be fixed somehow instead of being removed? Alan

2 1

TTG and annotations
by Simon Peyton Jones 20 Jun '24

20 Jun '24

Hi Alan I know that you are continuing to work hard on annotations in the TTG extension fields -- thank you. As you know, I'm very eager to get a big Note to explain how it all works. At the moment I am completely lost, and I am reduced to cargo-culting code by copy/pasting and hoping for the best. Plus we are over-reliant on you, which isn't really fair on you. Several of us (including me and Rodrigo, and doubtless other ghc-devs, cc'd) would be happy to review, edit, and improve -- but it is hard for us to see the "big picture". Could you see your way to drafting something? It need not be that long initially, but having *something* to ask questions about and improve would be super helpful. I suggest drafting it in a Google doc so it was easy to edit, and for others to contribute to, but ultimately it should be in the repo. Thanks! Simon

2 1

embedded hashes in library names
by Shayne Fletcher 14 Jun '24

14 Jun '24

when i use ghcup to install a distribution, the libraries that result have embedded hashes in their names e.g. the -f942 in libHSghc-prim-0.11.0-f942-ghc9.10.1.so. is there some way to disable this so that for example in this case, i'd get libHSghc-prim-0.11.0-ghc9.10.1.so? -- Shayne Fletcher

1 1

A dashboard for fragile tests
by Bryan Richter 10 Jun '24

10 Jun '24

Hi all, This weekend at Zurihac, I wanted to start making it possible to explore fragile tests. Fragile tests are tests that pass nondeterministically. Marking them fragile means that they do not influence the overall success of the testsuite. It's been a way of sweeping problems under the rug. For a few years, the GHC test infrastructure has been recording fragile test results into a database. We record whether the test passed or failed. Now we can start peeking under the rug to see what kind of patterns have developed. I was mostly interested in whether or not fragile tests are truly fragile. It looks like many are not. The dashboard has bucketed results into months. Every cell shows the pass rate for a given month (column) and test (row). Red cells mean 0% success. Green cells, 100% success. Shades of yellow are everything in between. It's remarkable how much green there is. One would assume even fragile tests would fail for legitimate reasons sometimes! At this point, the visualization is mostly good for seeing large trends. Any other observations would be appreciated! The dashboard is interactive at https://grafana.gitlab.haskell.org/goto/XcuO3ZUIg?orgId=2 [image: image.png] -Bryan

1 0

Changes to HIE File due to ApplicativeDo going via HsExpansions
by Ingle, Apoorv N 09 Jun '24

09 Jun '24

Dear ghc-devs, For past few months I’ve been working on Rebindable Syntax<https://gitlab.haskell.org/ghc/ghc/-/wikis/Rebindable-syntax>, specifically on expanding ApplicativeDo (#24406, MR !12066<https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12066>) statements before type checking. I noticed that there is a failing test case related to HIE files (T23540). I have been unsuccessful in debugging why this happens and/or if this has any effect on the users of HIE files. Can anyone who has experience in this area be able to take a look and guide me? Thanks! Apoorv

2 1

Blog post: working towards a more stable Template Haskell
by Teofil Camarasu 07 Jun '24

07 Jun '24

Hi folks, I’ve written up a blog post about our ongoing project to improve the stability of Template Haskell. The post lays out: - why users of Template Haskell often face broken code with each new version of the compiler. - some of our plans to make the interface more stable. - some groundwork we’ve lain to make these plans achievable - ways folks can get invovled Give it a read: https://informal.codes/posts/stabilising-th/ Cheers, Teo

2 1

GitLab Approval
by Luke Tollefson 06 Jun '24

06 Jun '24

Hey! I'm looking to get my GitLab account approved for the ZuriHac workshop. Username: lukewtollefson Thanks! Luke

2 1

RTS crashes
by Simon Peyton Jones 03 Jun '24

03 Jun '24

In my private build of !12492 I'm getting some assertion failures in CheckUnload (see below). This can't possibly be my fault! I don't know if CI perhaps has these assertion switched off, so only I am seeing them? I'd open a ticket but it may just be my bad, somehow Any ideas? Simon Stderr run ( MultiLayerModulesDefsGhci ): ghc: internal error: ASSERTION FAILED: file rts/CheckUnload.c, line 460 (GHC version 9.11.20240530 for x86_64_unknown_linux) Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug Aborted *** unexpected failure for MultiLayerModulesDefsGhci(ghci) ]0;MultiLayerModulesDefsGhciReload(ghci) 4776 of 10144 [0, 1, 0] ]0;InstanceMatching(normal) 4777 of 10144 [0, 1, 0] ]0;Running for 5m51s [35433/36451], predicted 1s (98%) Wrong exit code for MultiLayerModulesDefsGhciReload(ghci)(expected 0 , actual 134 ) Stderr run ( MultiLayerModulesDefsGhciReload ): ghc: internal error: ASSERTION FAILED: file rts/CheckUnload.c, line 460 (GHC version 9.11.20240530 for x86_64_unknown_linux) Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug Aborted *** unexpected failure for MultiLayerModulesDefsGhciReload(ghci) ]0;InstanceMatching1(normal) 4778 of 10144 [0, 2, 0] ]0;MultiLayerModulesNoCode(ghci) 4779 of 10144 [0, 2, 0] Wrong exit code for MultiLayerModulesNoCode(ghci)(expected 0 , actual 134 ) Stderr run ( MultiLayerModulesNoCode ): ghc: internal error: ASSERTION FAILED: file rts/CheckUnload.c, line 460 (GHC version 9.11.20240530 for x86_64_unknown_linux) Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug Aborted

2 1

sempahore-compat-1.0.0 base bounds
by Shayne Fletcher 03 Jun '24

03 Jun '24

the bounds for semaphore-compat-1.0.0 do not include base-4.20. can this be fixed please? -- Shayne Fletcher

1 0

Haddock test suite failure -- can anyone guide me?
by Simon Peyton Jones 01 Jun '24

01 Jun '24

Dear Haddock experts I'm getting a failure on !12492 <https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12492> that I can't understand or debug. Can someone guide me? Failure is this: /builds/ghc/ghc/tmp/ghctest-2jo7oz8x/test spaces/testsuite/tests/haddock/haddock_testsuite/haddockHypsrcTest.run haddockHypsrcTest [bad exit code (2)] (normal) A snip of the log is at the end of this message. I want to - understand what it does - repro it locally. Trying the latter, I tried with my HEAD build and did bash$ cd testsuite/tests/haddock/haddock_testsuite bash$ make hypsrcTest but that failed on almost all the tests it does, even though HEAD is presumably OK. I'm stumped. Any ideas? The patch only changes the type checker! Thanks SImion This is the log from !12492 Wrong exit code for haddockHypsrcTest()(expected 0 , actual 2 ) Stdout ( haddockHypsrcTest ): [1 of 7] Compiling Test.Haddock.Process ( /builds/ghc/ghc/testsuite/../utils/haddock/haddock-test/src/Test/Haddock/Process.hs, Test/Haddock/Process.o ) [2 of 7] Compiling Test.Haddock.Utils ( /builds/ghc/ghc/testsuite/../utils/haddock/haddock-test/src/Test/Haddock/Utils.hs, Test/Haddock/Utils.o ) [3 of 7] Compiling Test.Haddock.Config ( /builds/ghc/ghc/testsuite/../utils/haddock/haddock-test/src/Test/Haddock/Config.hs, Test/Haddock/Config.o ) [4 of 7] Compiling Test.Haddock ( /builds/ghc/ghc/testsuite/../utils/haddock/haddock-test/src/Test/Haddock.hs, Test/Haddock.o ) [5 of 7] Compiling Test.Haddock.Xhtml ( /builds/ghc/ghc/testsuite/../utils/haddock/haddock-test/src/Test/Haddock/Xhtml.hs, Test/Haddock/Xhtml.o ) [6 of 7] Compiling Main ( /builds/ghc/ghc/testsuite/../utils/haddock/hypsrc-test/Main.hs, Main.o ) [7 of 7] Linking hypsrc-test Haddock version 2.30.0, (c) Simon Marlow 2006 Ported to use the GHC API by David Waern 2006-2008 9.11.20240530 Generating documentation... Testing output files... Checking "src/TemplateHaskellSplices.html"... PASS Checking "src/Bug1091.html"... PASS Checking "src/Polymorphism.html"... PASS Checking "src/UsingQuasiquotes.html"... PASS Checking "src/Records.html"... PASS Checking "src/Quasiquoter.html"... PASS Checking "src/CPP.html"... PASS Checking "src/Operators.html"... PASS Checking "src/Literals.html"... PASS Checking "src/LinkingIdentifiers.html"... PASS Checking "src/Classes.html"... FAIL Checking "src/PositionPragmas.html"... PASS Checking "src/Types.html"... PASS Checking "src/TemplateHaskellQuasiquotes.html"... PASS Checking "src/Constructors.html"... FAIL Checking "src/Identifiers.html"... FAIL Diffing failed cases... Diff for file "src/Classes.html": 1194c1194,1198 < > > >a -> b -> a > forall a b. a -> b -> a > > > >a -> b -> a > forall a b. a -> b -> a > > > >b -> a -> b > forall a b. a -> b -> a > > > >b -> a -> b > forall a b. a -> b -> a > > > >([Int] -> Int) -> (Norf -> [Int]) -> Norf -> Int > forall b c a. (b -> c) -> (a -> b) -> a -> c > > > >(String -> IO ()) -> (Int -> String) -> Int -> IO () > forall b c a. (b -> c) -> (a -> b) -> a -> c > ><a href="Identifiers.html#foo" < > > >Int -> Int -> Int > ><a href="Identifiers.html#foo" > > > >(String -> IO ()) -> (Int -> String) -> Int -> IO () > forall b c a. (b -> c) -> (a -> b) -> a -> c > ><a href="Identifiers.html#quux" < > > >Int -> Int > ><a href="Identifiers.html#quux" > > > >(String -> IO ()) -> (Int -> String) -> Int -> IO () > forall b c a. (b -> c) -> (a -> b) -> a -> c > ><a href="Identifiers.html#norf" < > > >Int -> Int -> Int -> Int > ><a href="Identifiers.html#norf" > ><span class="hs-identifier hs-var" Stderr run ( haddockHypsrcTest ): gmake: *** [Makefile:68: hypsrcTest] Error 1 *** unexpected failure for haddockHypsrcTest(normal)

2 5