John Ericson
John Ericson
I wrote https://github.com/ghc-proposals/ghc-proposals/discussions/487 for a crazy language (anti-)extension to make these errors go away. that might be a genuinely useful restriction that, while kinda ad-hoc, may still be easier to...
I think the current syntax makes this more confusing that it needs to be. The current `[features]` section does two things: it declare what the features are, and specifies the...
Some of the advanced concepts @xplat talks about in https://github.com/haskell/error-messages/issues/45 of "being able to solve in any order" might be relevant here? In particular, I have always had a nagging...
Ah, good points. Is the most general type of the MR'd variable locally definable? Maybe we should just....type check both ways, and at the later point when our type checker...
OK so the corner case would be something like mutually recursive bindings subject to the MR influence type inference of each other, right?
With structured errors, I think we *should* run wild about more structure that GHC the executable doesn't take advantage of as long as the IDE still does. Trying to make...
Thanks for opening this. I was pointed to that paper, and also saddened we were not already using it.
https://michaeldadams.org/papers/layout_parsing/LayoutParsing.pdf here is the PDF from the author's website, without paywall.
https://michaeldadams.org/projects/happy-indent/happy.indent.tar.gz (from https://michaeldadams.org/projects/) is the source code behind the things in the paper. Do note that Happy was still in darcs then, so we will need to do some careful...
[happy.indent.tar.gz](https://github.com/haskell/happy/files/9397404/happy.indent.tar.gz) is a copy of the download just in case something were to happen to the author's website.