Issues · Glasgow Haskell Compiler / GHC · GitLab

Linear types: multiplicity in pattern synonyms

#18806 · opened Oct 05, 2020 by Krzysztof Gogolewski LinearTypes bug
- 0
updated Oct 05, 2020
Linear types: remember usage environment of a case

#18768 · opened Sep 29, 2020 by Krzysztof Gogolewski LinearTypes task
- 3
updated Sep 30, 2020
Linear types: use a predicate to check submultiplicity

#18756 · opened Sep 27, 2020 by Krzysztof Gogolewski LinearTypes task
- 0
updated Oct 04, 2020
Infer multiplicity of let expression

#18739 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 6
updated Sep 28, 2020
Infer multiplicity of case expression

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 0
updated Sep 29, 2020
Linear types: type inference in Typed Template Haskell

#18736 · opened Sep 22, 2020 by Krzysztof Gogolewski LinearTypes bug typed TemplateHaskell
- 0
updated Sep 22, 2020
Linear types: 'undefined x' should be linear in x

#18731 · opened Sep 21, 2020 by Krzysztof Gogolewski LinearTypes bug
- 1
- 0
updated Sep 26, 2020
Linear types: fix varMult for let-bound variables

#18694 · opened Sep 15, 2020 by Krzysztof Gogolewski LinearTypes task
- 6
updated Sep 28, 2020
Multiplicities need better documentation, invariant checking

#18676 · opened Sep 10, 2020 by Ben Gamari LinearTypes task
- 2
updated Oct 20, 2020
Linear types: projections of records

#18570 · opened Aug 12, 2020 by Krzysztof Gogolewski LinearTypes records
- 0
updated Oct 01, 2020
Core-spec is woefully out of date

#18540 · opened Aug 05, 2020 by Richard Eisenberg LinearTypes core lint
- 0
updated Aug 05, 2020
Typed holes shouldn't cause linearity errors

#18491 · opened Jul 23, 2020 by Arnaud Spiwack LinearTypes bug typed holes
- 1
- 5
updated Sep 26, 2020
Unboxed tuples with multiplicity parametric fields

#18490 · opened Jul 23, 2020 by Arnaud Spiwack LinearTypes feature request runtime perf
- 7
updated Jul 23, 2020
Improve instantiation of datacons

#18481 · opened Jul 20, 2020 by Krzysztof Gogolewski LinearTypes task typechecker
- 1
updated Jul 21, 2020
Support Linear FFI functions

#18472 · opened Jul 17, 2020 by Arnaud Spiwack FFI LinearTypes bug core lint feature request
- 9
updated Oct 05, 2020
New core transformation: promote case[One] into case[Many]

#18471 · opened Jul 17, 2020 by Arnaud Spiwack LinearTypes feature request runtime perf
- 0
updated Jul 23, 2020
Linear types syntax: multiplicity annotation on records

#18462 · opened Jul 16, 2020 by Arnaud Spiwack LinearTypes feature request
- 0
updated Aug 12, 2020
Linear types syntax: multiplicity annotations on lets

#18461 · opened Jul 16, 2020 by Arnaud Spiwack LinearTypes feature request
- 0
updated Sep 23, 2020
Linear types syntax: multiplicity annotations on lambdas and patterns

#18460 · opened Jul 16, 2020 by Arnaud Spiwack LinearTypes feature request
- 0
updated Jul 17, 2020
GHC does not honor unrestricted function types for GADTs in TH splices

#18378 · opened Jun 23, 2020 by Ryan Scott GADTs LinearTypes TemplateHaskell bug
- 3
updated Oct 04, 2020