Issues · Glasgow Haskell Compiler / GHC · GitLab

Core Lint errors : in result of Static argument

#21636 · created May 24, 2022 by Icelandjack Pnormal Tbug core lint static argument transformation
- 1
updated May 24, 2022
CoreLint: Check for invalid arity <-> dmgSig argument count combinations.

#21452 · created Apr 29, 2022 by Andreas Klebinger Pnormal Ttask core lint demand analysis newcomer
- 1
- 0
updated May 10, 2022
Dubious use of `isDeadEndId` in Core.Utils:diffExpr

#21445 · created Apr 27, 2022 by Andreas Klebinger Plow Tquestion core lint
- 2
updated May 03, 2022
simple_app fails to beta-reduce through casts

#21377 · created Apr 11, 2022 by sheaf LinearTypes Phigh Tbug UnliftedDatatypes UnliftedNewtypes core lint representation polymorphism typechecker
- 4
updated Apr 21, 2022
Is an argument of type `a ~# b` relevant?

#21241 · created Mar 16, 2022 by Sebastian Graf Coercions Tquestion core lint
- 2
updated Mar 22, 2022
Treatment of local CoVarCo in coercion optimization is almost surely wrong

#21062 · created Feb 08, 2022 by Richard Eisenberg Coercions core lint
- 2
- 3
updated May 10, 2022
TransformListComp accepts invalid unboxed let bindings

#20864 · created Dec 24, 2021 by David Feuer 9.4.1 Pnormal core lint desugaring program incorrectly accepted runtime crash
- 1
- 13
updated May 09, 2022
Core lint can dominate compile times

#20825 · created Dec 15, 2021 by Matthew Pickering Pnormal Ttask compiler perf core lint
- 10
updated Jan 04, 2022
Likely bug in coercion optimization

#20798 · created Dec 08, 2021 by Richard Eisenberg Coercions Phigh Tbug core lint simplifier
- 3
updated Apr 07, 2022
Document strict fields invariant

#20749 · created Nov 26, 2021 by Krzysztof Gogolewski Pnormal Ttask core lint
- 1
updated Feb 16, 2022
Skolems can escape in arrow notation, resulting in Core Lint errors

#20470 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 3
updated Feb 24, 2022
Coercions are not properly threaded through arrow notation desugaring, resulting in Core Lint errors

#20469 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 5
updated Mar 10, 2022
Core Lint error around pure unifier and coercions

#20171 · created Jul 27, 2021 by Richard Eisenberg TypeInType core lint
- 0
updated Jul 27, 2021
Core Lint error with typed Template Haskell (The type variable ... is out of scope)

#19893 · created May 23, 2021 by Ryan Scott Pnormal Tbug TemplateHaskell core lint typed TemplateHaskell
- 2
updated Feb 06, 2022
Core Lint error (From-kind of Cast differs from kind of enclosed type) with TH-generated data type

#19743 · created Apr 25, 2021 by Ryan Scott Tbug TemplateHaskell core lint program incorrectly rejected
- 0
updated Apr 25, 2021
Core Lint error: Non-*-like kind when *-like expected: * -> *

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

#19529 · created 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 · created 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 · created Mar 09, 2021 by Sebastian Graf ⊥ Plow Ttask core lint simplifier
- 1
- 15
updated May 26, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · created Mar 04, 2021 by Sebastian Graf UnliftedDatatypes core lint representation polymorphism typechecker
- 16
updated Jun 02, 2021