HIE Files

Hello, I will be working on a GSOC project that will allow GHC to output a new .hie file to be written next to .hi files. It will contain information about the typechecked Haskell AST, allowing tooling(like haddocks --hyperlinked-source and haskell-ide-engine) to work without having to parse,

Re: HIE Files

> > And that in turn raises the questions of WHAT syntax tree. HsSyn? > Template Haskell? Haskell-src-exts? Or something new? Shayan and Alan > are busy parameterising HsSyn to make it non-GHC-specific, and directly > usable for this kind of endeavour ("Trees that grow"). It'd be great to >

Re: Typechecker doesn't preserve HsPar in renamed source.

tty good to me. What's "in progress" about it? > > I would want to see a comment on the declaration for HsArgPar with an > example, and a test case. > > Thanks! > Richard > > On Jun 7, 2018, at 6:38 AM, Zubin Duggal wrote: > > Hello all, > > The ty

Typechecker doesn't preserve HsPar in renamed source.

Hello all, The typechecker doesn't preserve parenthesis that occur at the head of applications. This results in some weird SrcSpans in the TypecheckedSource For example, given code foo a b c = (bar a) b c The typechecker will emit an HsApp with head spanning over `bar a) b` and tail spanning

Update on HIE Files

Hello all, I've been working on the HIE File ( https://ghc.haskell.org/trac/ghc/wiki/HIEFiles) GSOC project, The design of the data structure as well as the traversal of GHCs ASTs to collect all the relevant info is mostly complete. We traverse the Renamed and Typechecked AST to collect the

Re: Update on HIE Files

would mean that development of the feature would not be coupled > to GHC releases. > > Cheers, > > Matt > > On Tue, Jun 26, 2018 at 11:48 AM, Zubin Duggal > wrote: > > Hello all, > > > > I've been working on the HIE File > > (https://ghc.haskell.org/trac/ghc/wi

Re: HIE files?

Hi, There is no proper write up for this yet, I will add my comments here to the wiki page on HIE files () and also as a Note in HieAst When adding new syntax or changing a bit of syntax in HIE files, you need to pay attention to the following

Re: "Extensible interface files" work and ANN pragmas

Yes, Matthew is correct, the symbol table for Names used by HIE files is quite distinct from the usual Iface symbol table for Names. Sharing the HIE symbol table and the Iface symbol table for names will be quite tricky. One crucial difference is that we also save information about local names to

Re: Fat interface files?

I found the branch here: https://github.com/ezyang/ghc/commit/13615ca4e4bf759f323de22a3d182b06c4050f38 On 20/10/20 12:06, Ben Gamari wrote: Hi Edward, While chatting with the ghc-ide folks recently I realized that it would be useful to be able to preserve Core such that compilation can be

Re: Fat interface files?

I've been considering sneaking in the Core into the iface as `mi_rules` with specially chosen names and activation `NeverActive`. The benefit of this is that we can hijack the compilation pipeline, but still remain compatible with versions of GHC going quite a while back. On 20/10/21 18:03,

Re: [Haskell] [ANNOUNCE] GHC 8.10.5 released

The correct link to the release notes is: https://downloads.haskell.org/ghc/8.10.5/docs/html/users_guide/8.10.5-notes.html (Note the missing tilde) Apolgies, Zubin ___ ghc-devs mailing list ghc-devs@haskell.org

[Haskell] [ANNOUNCE] GHC 8.10.5 released

The GHC team is very pleased to announce the availability of GHC 8.10.5. Source and binary distributions are available at the [usual place](https://downloads.haskell.org/ghc/8.10.5/). This release adds native ARM/Darwin support, as well as bringing performance improvements and fixing numerous

Re: Breaking changes to the base library

See https://gitlab.haskell.org/ghc/ghc/-/issues/20025 for further discussion. On 21/07/03 20:22, Richard Eisenberg wrote: On Jun 20, 2021, at 10:57 AM, Edward Kmett wrote: We definitely need to do more to communicate that this is changing and how users should adjust their code to suit.

Re: Writing GHC plugin to modify AST despite failure to type-check

You could set `-fdefer-type-errors` on the file, possibly using `dynflagsPlugin`. This will give your `typeCheckResultAction` an AST with all nodes containing type errors wrapped in an `evDelayedError` term. See Note [Deferring coercion errors to runtime] for more details. You can walk through

Re: Writing GHC plugin to modify AST despite failure to type-check

I was wrong, the constraint solver plugin is in fact called upon to solve constraints like `MyIO () ~ IO ()`, so Christiaan's method would work with suitable modifications to the plugin. On 21/07/01 18:07, Zubin Duggal wrote: An issue with this approach is that it fails if you have a concrete

Re: Writing GHC plugin to modify AST despite failure to type-check

ou with suggestions on how to conjure a proper `liftIO` out of thin air at that point in the compiler pipeline. [1] https://downloads.haskell.org/ghc/9.0.1/docs/html/libraries/ghc-9.0.1/GHC-Driver-Plugins.html#t:CorePlugin On Thu, 1 Jul 2021 at 10:24, Zubin Duggal wrote: You could set `-fdefer-type-er

GSOC Idea: Bytecode serialization and/or Fat Interface files

Hi all, This is following up on this recent discussion on the list concerning fat interface files: https://mail.haskell.org/pipermail/ghc-devs/2020-October/019324.html Now that we have been accepted as a GSOC organisation, I think it would be a good project idea for a sufficiently motivated

[Haskell] [ANNOUNCE] GHC 8.10.7 released

The GHC team is very pleased to announce the availability of GHC 8.10.7. Source and binary distributions are available at the [usual place](https://downloads.haskell.org/ghc/8.10.7/). Download Page: https://www.haskell.org/ghc/download_ghc_8_10_7.html Blog Post:

[Haskell] [ANNOUNCE] GHC 8.10.6 released

The GHC team is very pleased to announce the availability of GHC 8.10.6. Source and binary distributions are available at the [usual place](https://downloads.haskell.org/ghc/8.10.6/). Download Page: https://www.haskell.org/ghc/download_ghc_8_10_6.html Blog Post:

The State of GHC 8.10

Hi all, GHC 8.10.6 was released last week, with high hopes of finally putting an end to the long running saga of the GHC 8.10 series. Unfortunately, this was not to be the case as we soon discovered #19950, an issue that we claimed to have fixed in the 8.10.6 release, was still affecting the

Re: Documenting GHC: blogs, wiki pages, Notes, Haddocks, etc

On 21/09/14 16:54, Simon Peyton Jones via ghc-devs wrote: Yes, exactly. Notes have evolved into such a compellingly useful part of GHC that I really think they deserve Haddock support. But here’s another tension: the Haddock for a function should be about the user interface; its

Re: where to go for HLS details?

Can you recommend an IRC client? I tried using the web-based client, got limited response, and then the client destroyed all history. I hear Matrix is a reasonable way to have a persistent connection these days. I applied the patch, removed _build/docs, and rebuilt the documentation via

Re: where to go for HLS details?

In general #haskell-language-server on libera is a good place to ask these questions. - When a project is compiled against a Stage 1 `base` library (as opposed to the one shipped with the bootstrap compiler), I am not always getting the documentation I expect. Are you getting any

Re: gitlab.haskell.org

It is not just you, Gitlab has been unstable since yesterday due to a lack of disk space. On 21/10/18 07:29, Simon Peyton Jones via ghc-devs wrote: I'm getting "502" from gitlab.haskell.org. Is it just me? Thanks Simon PS: I am leaving Microsoft at the end of November 2021, at which point

Re: Failed to build latest stable GHC on FreeBSD with Hadrian

It sounds like you had an old checkout of the haddock submodules. You can update all submodules to the correct checkout by running `git submodule update`. On 21/08/27 21:31, Alexis Praga wrote: Thanks Viktor for the script. Actually, building finished without issue after cleaning the whole

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

Oops. Pushed! On 21/12/25 15:37, Shayne Fletcher wrote: Awesome. Thank-you! There appears not to be a ghc-9.0.2-release tag. Might this be addressed please? ___ ghc-devs mailing list ghc-devs@haskell.org

[Haskell] [ANNOUNCE] GHC 9.0.2 released

The GHC developers are very happy to at long last announce the availability of GHC 9.0.2. Binary distributions, source distributions, and documentation are available at the [usual place](https://downloads.haskell.org/ghc/9.0.2/). Download Page:

Re: Interpreter thread in ghc-8.10.6 in macOS

A patch to run Template Haskell code in a forked thread was included in ghc-8.10.6: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/5042 This was chosen as the only robust way to avoid reporting any asynchronous exceptions thrown to the compilation process during TH evaluation as a user

Re: advice on minor cleanups?

Looking at the code, it seems like it does return an actual `Linkable` when we are in interpreted mode: runHscBackendPhase pipe_env hsc_env mod_name src_flavour location result = do ... -> case backend dflags of Interpreter -> do ... return ([],

Re: Strictness/demand info for a Name

See https://hackage.haskell.org/package/ghc-9.2.1/docs/GHC-Driver-Env.html#v:lookupType On 22/01/14 01:23, Alejandro Serrano Mena wrote: Nice, so only I get the corresponding IdInfo, my work is “done”. But I’m still missing how to thread everything together. Right now, what I have to work with

Re: Shadowing in toIface* output

I suspect these are implicit bindings that you will need to filter out and regenerate from the tycons. You might find this HLS PR instructive as it implements something quite similar to what you seem to want: https://github.com/haskell/haskell-language-server/pull/2813 It is also relevant to

Re: [Haskell] [ANNOUNCE] GHC 9.0.2 released

- More serious: why was Win32 major bumped from 2.10 to 2.12? - this breaks foundation, hence current Stackage Nightly is kind of broken for Windows now: https://github.com/commercialhaskell/stackage/issues/6400 We needed to bump Win32 as per a request from the maintainer

Re: Avoiding `OtherCon []` unfoldings, restoring definitions from unfoldings

Core Tidy also turns CoreUnfoldings to `OtherCon []` while zapping unfoldings. On 22/04/05 14:12, Sebastian Graf wrote: Top-level data structures tend to get OtherCon [] unfoldings when they are marked NOINLINE. KindRep bindings are one particular example, and they appear quite often, too.

Re: "Merge-buddy" request

Feel free to assign me for reviews. On 23/10/26 17:10, Alan & Kim Zimmerman wrote: Hi all I have been landing a series of MRs to simplify the exact print annotations. They are split into pieces so each change is not too big. I still have quite a number of them to land, but am finding the

Re: Upcoming GHC 9.4.8 release

The fix for the issue (!11254) has been marked for backport and will be included in the release. On 23/10/25 10:57, Kazu Yamamoto wrote: Hello, Thank you for your effort. How can I confirm that fix for #23746 is included in GHC 9.4.8? Without this, I cannot take profile on M1 mac. I'm now

Upcoming GHC 9.4.8 release

Hi all, We hope to prepare the 9.4.8 release in the coming weeks. This will likely be the final release in the 9.4 series. The major patches currently slated for inclusion into the 9.4.8 are: 1. A process submodule bump to 1.6.17.0 avoiding segfaults on Darwin

[ANNOUNCE] GHC 9.4.7 is now available

The GHC developers are happy to announce the availability of GHC 9.4.7. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.4.7 The GHC developers are happy to announce the availability of GHC 9.4.7. Binary distributions, source

[ANNOUNCE] GHC 9.4.8 is now available

The GHC developers are happy to announce the availability of GHC 9.4.8. Binary distributions, source distributions, and documentation are available on the [release page](/download_ghc_9_4_8.html). This release is primarily a bugfix release addressing a few issues found in the 9.4 series. These

[Haskell] [ANNOUNCE] GHC 9.2.3 released

The GHC developers are very happy to at announce the availability of GHC 9.2.3. Binary distributions, source distributions, and documentation are available at [`downloads.haskell.org`](https://downloads.haskell.org/ghc/9.2.3). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_3.html

Re: Hadrian

It seems like GHC.Unit.Module.Name was recently removed/renamed in commit c43dbac08b0d56406fe13de1e9b49c944f478b4a (Refactor ModuleName to L.H.S.Module.Name). What is probably going on is that as that file no longer exists in the compiler/ source directory, but presumably some references to it

Re: Hadrian

Yes, but as Sylvain noted, the configure step (which generates ghc.cabal and so is particularly sensitive to changes in module structure) is not tracked by hadrian at the moment. We could in principle fix this, and as also noted by Sylvain this will become much easier once Make no longer exists.

Re: Hadrian

And like Sylvain says, you also do need to reconfigure. On 22/07/11 20:51, Zubin Duggal wrote: It seems like GHC.Unit.Module.Name was recently removed/renamed in commit c43dbac08b0d56406fe13de1e9b49c944f478b4a (Refactor ModuleName to L.H.S.Module.Name). What is probably going

Re: Gitlab labels

The error is bogus, if you refresh the page you will see that the label has been updated. This seems to be a bug in Gitlab, and I've also been seeing it a lot more often recently. I think Bryan attempted to investigate at a certain point, but I don't know what came of it. On 22/07/28 10:51,

Re: Test suite

There are tests that depend upon haddock in the testsuite, so we need to build them to run those tests. Like Cheng says, passing `--docs=none` will avoid those tests. On 22/07/28 14:47, Simon Peyton Jones wrote: Doing *hadrian/build test* takes absolutely ages. It seems that it is building

[Haskell] [ANNOUNCE] GHC 9.2.4 released

The GHC developers are very happy to at announce the availability of GHC 9.2.4. Binary distributions, source distributions, and documentation are available at [`downloads.haskell.org`](https://downloads.haskell.org/ghc/9.2.4). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_4.html

[Haskell] [ANNOUNCE] GHC 9.2.5 released

The GHC developers are very happy to at announce the availability of GHC 9.2.5. Binary distributions, source distributions, and documentation are available at [`downloads.haskell.org`](https://downloads.haskell.org/ghc/9.2.5). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_5.html

[Haskell] [ANNOUNCE] GHC 9.2.7 released

The GHC developers are happy to announce the availability of GHC 9.2.7. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.7). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_7.html Blog Post:

[Haskell] [ANNOUNCE] GHC 9.4.5 released

The GHC developers are happy to announce the availability of GHC 9.4.5. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.4.5). Download Page: https://www.haskell.org/ghc/download_ghc_9.4.5.html Blog Post:

[Haskell] [ANNOUNCE] GHC 9.2.6 released

The GHC developers are happy to announce the availability of GHC 9.2.6. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.6). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_6.html Blog Post:

[Haskell] [ANNOUNCE] GHC 9.2.8 released

The GHC developers are happy to announce the availability of GHC 9.2.8. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.8). This release is primarily a bugfix release addressing one issue found in 9.2.7:

Upcoming GHC 9.6.4 release

Hi all, We are planning a release in the 9.6 series before Christmas, with a preliminary ETA of 15th December. Release tracking ticket: https://gitlab.haskell.org/ghc/ghc/-/issues/24017 Please use this ticket to request any submodule bumps or for any other discussion related to the release.

Re: Upcoming GHC 9.6.4 release

it on the 15th or a few days later will put significant burden onto integrators, and distributors. To react to the ghc release. Especially right before the holiday season for quite some. Cheers, Moritz On Fri, 24 Nov 2023 at 8:17 PM, Zubin Duggal wrote: Hi all, We are planning a release in the 9.6