Re: Typing rules for Haskell

Richard Eisenberg writes: > Hi devs, > > Simon and I were wondering about a tight specification for the recent > action in proposal #253 > (https://github.com/ghc-proposals/ghc-proposals/pull/253 > ). We needed > to see the typing rules.

Typing rules for Haskell

Hi devs, Simon and I were wondering about a tight specification for the recent action in proposal #253 (https://github.com/ghc-proposals/ghc-proposals/pull/253 ). We needed to see the typing rules. So I made a repo

Re: a better workflow?

I found that git worktree works rather well, even with submodules (well, mostly. Even if it doesn't for some reason, you can still update and init the submodules manually, losing sharing in the process). See https://stackoverflow.com/a/31872051, in particular the GitHub links to `wtas` alias. I

Re: a better workflow?

> On Jul 23, 2019, at 10:48 PM, Daniel Gröber wrote: > > I don't think you ever mentioned -- are you already using `git > worktree` to get multiple source checkouts or are you working off a > single build tree? I find using it essential to reducing context > switching overhead. This is a good

Re: HIE files?

> On Jul 24, 2019, at 2:38 AM, Zubin Duggal wrote: > > I can clarify any remaining questions you might have. If you are satisfied > with this write up, I can proceed to add it as a Note to HieAst. This has been very helpful -- thanks! There are a few questions that I have, but this email

Re: Tracking issues for GHC proposals?

Yes, please! > On Jul 24, 2019, at 8:40 AM, Ömer Sinan Ağacan wrote: > > Hi all, > > It's currently quite hard to see progress of proposals. For example, I'm > looking > at the "small primitives" proposal [1]. After some digging I can see that it's > mostly (if not completely) implemented [2,

Tracking issues for GHC proposals?

Hi all, It's currently quite hard to see progress of proposals. For example, I'm looking at the "small primitives" proposal [1]. After some digging I can see that it's mostly (if not completely) implemented [2, 3], but finding all this takes time. I think it'd make sense to create a tracking

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