Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
32
Closed
36
All
68
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Core Lint errors : in result of Static argument
#21636
· created
May 24, 2022
by
Icelandjack
P
normal
T
bug
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
P
normal
T
task
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
P
low
T
question
core lint
2
updated
May 03, 2022
simple_app fails to beta-reduce through casts
#21377
· created
Apr 11, 2022
by
sheaf
LinearTypes
P
high
T
bug
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
T
question
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
P
normal
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
P
normal
T
task
compiler perf
core lint
10
updated
Jan 04, 2022
Likely bug in coercion optimization
#20798
· created
Dec 08, 2021
by
Richard Eisenberg
Coercions
P
high
T
bug
core lint
simplifier
3
updated
Apr 07, 2022
Document strict fields invariant
#20749
· created
Nov 26, 2021
by
Krzysztof Gogolewski
P
normal
T
task
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
P
normal
T
bug
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
P
normal
T
bug
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
P
normal
T
bug
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
T
bug
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
P
normal
T
bug
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
P
low
T
bug
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
P
normal
T
bug
core lint
0
updated
Apr 06, 2021
CoreLint lints all top-level bindings as recursive bindings
#19516
· created
Mar 09, 2021
by
Sebastian Graf
⊥
P
low
T
task
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
Prev
1
2
Next