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
35
Closed
32
All
67
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
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
Level number panic with LinearTypes
#21278
· created
Mar 22, 2022
by
Krzysztof Gogolewski
LinearTypes
P
normal
T
bug
1
updated
Mar 24, 2022
Export Multiplicities from GHC.Exts
#20695
· created
Nov 17, 2021
by
Jakob Brünker
LinearTypes
P
normal
T
task
2
2
updated
Mar 22, 2022
Make the design of defaulting explicit
#20686
· created
Nov 15, 2021
by
Simon Peyton Jones
LinearTypes
P
normal
PolyKinds
T
task
defaulting
representation polymorphism
typechecker
32
updated
Apr 29, 2022
Why must newtype constructors be linear?
#20467
· created
Oct 03, 2021
by
David Feuer
LinearTypes
T
question
documentation
newcomer
1
4
updated
May 03, 2022
Linear types and pattern synonyms
#20184
· created
Jul 29, 2021
by
Krzysztof Gogolewski
LinearTypes
P
normal
PatternSynonyms
T
feature request
0
updated
Aug 02, 2021
Linear types: investigate the multiplicity argument of FUN
#20164
· created
Jul 26, 2021
by
Krzysztof Gogolewski
LinearTypes
T
task
Typeable
1
updated
Dec 08, 2021
Linear types and RULES
#20156
· created
Jul 23, 2021
by
Krzysztof Gogolewski
LinearTypes
P
normal
T
bug
rules
0
updated
Jul 27, 2021
Linear types and -fdefer-type-errors
#20083
· created
Jul 05, 2021
by
Krzysztof Gogolewski
LinearTypes
P
normal
T
feature request
deferred type errors
1
updated
Aug 23, 2021
Linear types: restrict transformations around empty case
#20058
· created
Jun 28, 2021
by
Krzysztof Gogolewski
LinearTypes
P
normal
T
bug
0
updated
Jul 06, 2021
Clarifications to LinearTypes entry in users guide
#19642
· created
Apr 02, 2021
by
jberryman
LinearTypes
documentation
1
1
updated
Apr 03, 2021
Should we support prefix lollipop?
#19639
· created
Apr 02, 2021
by
Krzysztof Gogolewski
LinearTypes
T
feature request
3
updated
Apr 07, 2021
Linear types: submultiplicity evidence
#19517
· created
Mar 09, 2021
by
Krzysztof Gogolewski
LinearTypes
T
task
0
updated
Jul 05, 2021
Rebindable Syntax and LinearTypes (allow a version of RebindableSyntax without ifThenElse)
#19477
· created
Mar 02, 2021
by
Edward Kmett
LinearTypes
P
low
RebindableSyntax
T
feature request
1
5
updated
Apr 08, 2021
Linear Types confusing error message
#19361
· created
Feb 13, 2021
by
Jaro Reinders
LinearTypes
T
bug
pretty printing
1
10
updated
Jan 25, 2022
Explore mutability in the Core AST
#19256
· created
Jan 25, 2021
by
Sebastian Graf
LinearTypes
T
task
compiler perf
1
updated
Jan 29, 2021
Guards should accept linear variables
#19193
· created
Jan 08, 2021
by
Arnaud Spiwack
LinearTypes
T
feature request
1
updated
Feb 15, 2021
Linear types: enable linting
#19165
· created
Jan 04, 2021
by
Krzysztof Gogolewski
LinearTypes
0
updated
Aug 04, 2021
`UniqSupply` API should use -XLinearTypes
#19085
· created
Dec 18, 2020
by
Sebastian Graf
LinearTypes
T
task
3
updated
Jan 28, 2021
Linear types: remember usage environment of a case
#18768
· created
Sep 29, 2020
by
Krzysztof Gogolewski
LinearTypes
T
task
3
updated
Jun 28, 2021
Prev
1
2
Next
