Issues · Glasgow Haskell Compiler / GHC · GitLab

Core-spec is woefully out of date

#18540 · opened Aug 05, 2020 by Richard Eisenberg LinearTypes core lint
- 0
updated Aug 05, 2020
Support Linear FFI functions

#18472 · opened Jul 17, 2020 by Arnaud Spiwack FFI LinearTypes bug core lint feature request
- 7
updated Jul 23, 2020
Wrong simplifier substitution? (Core Lint error)

#18044 · opened Apr 12, 2020 by Sylvain Henry 8.8.4 Phigh backport needed:8.10 bug core lint simplifier
- 2
- 21
updated Jun 20, 2020
coVarsOfType is almost surely wrong

#17698 · opened Jan 16, 2020 by Richard Eisenberg Pnormal bug core lint
- 0
updated Jan 16, 2020
Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg TypeInType core lint task typechecker
- 2
updated Mar 10, 2020
Coercions are not expressions, and coercion variables are not Ids.

#17291 · opened Oct 02, 2019 by Richard Eisenberg core lint task
- 2
- 4
updated Jul 31, 2020
Add unit tests to Core Lint

#16625 · opened May 03, 2019 by Krzysztof Gogolewski core lint task testsuite
- 2
- 5
updated May 21, 2019