Re: GitLab Approval

2024-08-06 Thread Rodrigo Mesquita
Hello Jose, I’ve approved your account. Welcome! Feel free to reach out if you have any questions. Cheers, Rodrigo Mesquita > On 6 Aug 2024, at 13:56, Jose Lane wrote: > > I am looking to get my gitlab account approved. user name: F

Re: Question about profiling reports

2024-08-05 Thread Rodrigo Mesquita
Hi Celeste, You may already be aware, but there’s an alternative format to visualise profiles graphically. Instead of `-p`, use `-pj` to produce the profiling report in JSON format, and then load the resulting .prof file into speedscope.app <https://www.speedscope.app/>. Cheers, R

Re: CountDeps

2024-07-02 Thread Rodrigo Mesquita
Hey Simon CountDepsParser and CountDepsAST list the closure of the Parser/AST modules dependencies respectively. This test helps keep in check our goal of making the AST not depend on GHC.* modules (the overarching goal of #21592). In your case, you’ve extended the closure by adding dependencie

PMC: addConCt and newtypes bottom info

2023-10-27 Thread Rodrigo Mesquita
Dear Sebastian and GHC devs, Regarding this bit from the function addConCt in the GHC.HsToCore.Pmc.Solver module, Nothing -> do let pos' = PACA alt tvs args : pos let nabla_with bot' = nabla{ nabla_tm_st = ts{ts_facts = addToUSDFM env x (vi{vi_pos = pos', vi_bot = bo

Re: Problem building 9.4.7 on Fedora 36 (bytestring/cbits/is-valid-utf8.c)

2023-08-08 Thread Rodrigo Mesquita
Unfortunately you’re not the only developer facing these build errors. They've been reported in #23810 and #23789 . It might be worth pasting your workaround there too. Thanks, Rodrigo > On 8

Re: Configure errors

2023-08-07 Thread Rodrigo Mesquita
ts... no > > You can explain this to me, now, and that helps me, today. But I'm trying to > save you from having to explain it to many future GHC devs, and/or save them > time in hunting for answers to the same question. > > No rush > > Simon > > On Mon

Re: Configure errors

2023-08-07 Thread Rodrigo Mesquita
The trace is akin to the configure trace — it shows invocations of the toolchain in trying to determine properties of said toolchain e.g. which flags are supported. For example > checking for -Qunused-arguments support... > Entering: checking for -Qunused-arguments support > Execute: /u

Re: Configure errors

2023-08-07 Thread Rodrigo Mesquita
Thanks for pointing this out, Simon What you’ve pasted is the trace of the ghc-toolchain program. We should probably lower the verbosity after !10976 lands, but in the meantime it’s just useful to debug mostly CI. At the end of the configure step there might be a message that starts with “Don’t

Getting all variables in scope in CoreM

2023-08-06 Thread Rodrigo Mesquita
Dear GHC devs, I’m trying to invoke the GHC.Core.Lint linting functions from a Core GHC plugin. These functions take a LintConfig that can m <>ostly be constructed from DynFlags, <> the exception being <> <> l_vars :: ![Var] — ^ Ids that should be treated as being in scope My question

Re: Why do the reverse binder swap transformation?

2023-07-14 Thread Rodrigo Mesquita
(t)... } > in ... > > Now (expensive x) is computed once, rather than once each time around the > 'go' loop.. > > Would you like to elaborate the Note to explain this better? > > Simon > > > On Fri, 14 Jul 2023 at 16:30, Rodrigo Mesquita

Why do the reverse binder swap transformation?

2023-07-14 Thread Rodrigo Mesquita
Dear GHC devs, I’m wondering about the reverse binder swap transformation, the one in which we substitute occurrences of the case binder by occurrences of the scrutinee (when the scrut. is a variable): case x of z { r -> e } ===> case x of z { r -> e[x/z] } My question

Re: Can't build nofib

2023-07-12 Thread Rodrigo Mesquita
od > if configure complained if you are using a boot compiler that won't work. > That's what configure is for! > > Simon > > On Wed, 12 Jul 2023 at 12:41, Rodrigo Mesquita <mailto:rodrigo.m.mesqu...@gmail.com>> wrote: >> From the error message it

Re: Can't build nofib

2023-07-12 Thread Rodrigo Mesquita
From the error message it looks like you’re using ghc-9.6(and base 4.18) while nofib requires base < 4.17. I’d say as a temporary workaround you can likely run your invocation additionally with —allow-newer, and hope that doesn’t break. Otherwise you could downgrade to 9.4 or bump the version ma

Re: CI *sad face*

2023-06-27 Thread Rodrigo Mesquita
The root of the second problem was !10723, which started failing on its own pipeline after being rebased. I’m pushing a fix. - Rodrigo > On 28 Jun 2023, at 06:41, Bryan Richter via ghc-devs > wrote: > > Two things are negatively impacting GHC CI right now: > > Darwin runner capacity is down

Re: GHC 9.6.1 rejects previously working code

2023-04-12 Thread Rodrigo Mesquita
Indeed, this is included in the GHC 9.6.x Migration Guide . Unfortunately, I’m also not sure there is a solution for this particular where (T m) is only a Monad if m instances MonadIO. As

Re: GHC development asks too much of the host system

2022-07-19 Thread Rodrigo Mesquita
Dear Ben, The list of tips you put together is quite nice. I suggest we add it to hadrian’s wiki page under a “Tips for making your life easier” section (as is, it is already useful! at least I learned something new). Cheers Rodrigo > On 19 Jul 2022, at 21:11, Ben Gamari wrote: > > Hécate