Issues · Glasgow Haskell Compiler / GHC · GitLab

Core Lint error: Non-*-like kind when *-like expected: * -> *

#19573 · opened Mar 21, 2021 by Icelandjack Pnormal Tbug compiler crash core lint
- 3
updated Apr 02, 2021
Non-existant scoping semantics for IMP-RULEs makes Simplifier build ill-scoped Core programs

#19529 · opened Mar 12, 2021 by Sebastian Graf Plow Tbug core lint rules simplifier
- 5
updated Apr 08, 2021
CoreLint should check for top-level join points

#19526 · opened Mar 12, 2021 by Sebastian Graf Pnormal Tbug core lint
- 0
updated Apr 06, 2021
CoreLint lints all top-level bindings as recursive bindings

#19516 · opened Mar 09, 2021 by Sebastian Graf core lint needs triage simplifier
- 1
- 15
updated Mar 12, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · opened Mar 04, 2021 by Sebastian Graf core lint typechecker
- 2
updated Apr 08, 2021
Core lint error (with flags: -O2 -fobject-code -fstatic-argument-transformation -dcore-lint)

#19285 · opened Jan 30, 2021 by Icelandjack Tbug compiler crash core lint program incorrectly rejected static argument transformation
- 4
updated Mar 16, 2021
Motivation for let/app invariant

#19223 · opened Jan 15, 2021 by Sebastian Graf Tfeature request core lint float-out simplifier
- 6
updated Mar 09, 2021
Rewrite rule can trigger Lint

#18677 · opened Sep 11, 2020 by Simon Peyton Jones Pnormal Tbug core lint rules
- 6
updated Sep 18, 2020
Core Lint error with sneaky use of levity polymorphism in kinds

#18624 · opened Aug 30, 2020 by Ryan Scott Tbug compiler crash core lint levity polymorphism
- 15
updated Oct 03, 2020
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 Tfeature request core lint
- 9
updated Jan 27, 2021
Wrong simplifier substitution? (Core Lint error)

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

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

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

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

#16625 · opened May 03, 2019 by Krzysztof Gogolewski Ttask core lint testsuite
- 2
- 5
updated Oct 12, 2020
Core lint error "in result of Static argument"

#14231 · opened Sep 14, 2017 by Matthew Pickering 5 Pnormal Tbug Trac import core lint static argument transformation
- 15
updated Jan 31, 2021
Make Core Lint faster

#13270 · opened Feb 11, 2017 by rwbarton 5 Pnormal Ttask Trac import compiler perf core lint
- 1
updated Mar 11, 2021