Issues · Glasgow Haskell Compiler / GHC · GitLab

Clarifications to LinearTypes entry in users guide

#19642 · opened Apr 02, 2021 by jberryman LinearTypes documentation
- 1
updated Apr 03, 2021
Should we support prefix lollipop?

#19639 · opened Apr 02, 2021 by Krzysztof Gogolewski LinearTypes Tfeature request
- 3
updated Apr 07, 2021
Linear types: submultiplicity evidence

#19517 · opened Mar 09, 2021 by Krzysztof Gogolewski LinearTypes Ttask
- 0
updated Mar 09, 2021
Rebindable Syntax and LinearTypes (allow a version of RebindableSyntax without ifThenElse)

#19477 · opened Mar 02, 2021 by Edward Kmett LinearTypes Plow RebindableSyntax Tfeature request
- 1
- 5
updated Apr 08, 2021
Linear Types confusing error message

#19361 · opened Feb 13, 2021 by Jaro Reinders LinearTypes Tbug pretty printing
- 6
updated Feb 15, 2021
Explore mutability in the Core AST

#19256 · opened Jan 25, 2021 by Sebastian Graf LinearTypes Ttask compiler perf
- 1
updated Jan 29, 2021
Guards should accept linear variables

#19193 · opened Jan 08, 2021 by Arnaud Spiwack LinearTypes Tfeature request
- 1
updated Feb 15, 2021
Linear types: enable linting

#19165 · opened Jan 04, 2021 by Krzysztof Gogolewski LinearTypes
- 0
updated Mar 09, 2021
`UniqSupply` API should use -XLinearTypes

#19085 · opened Dec 18, 2020 by Sebastian Graf LinearTypes Ttask
- 3
updated Jan 28, 2021
Linear types: multiplicity in pattern synonyms

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

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

#18756 · opened Sep 27, 2020 by Krzysztof Gogolewski LinearTypes Ttask
- 0
updated Mar 09, 2021
Infer multiplicity of let expression

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

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request typechecker
- 1
updated Mar 01, 2021
Linear types: fix varMult for let-bound variables

#18694 · opened Sep 15, 2020 by Krzysztof Gogolewski LinearTypes Ttask
- 6
updated Jan 04, 2021
Multiplicities need better documentation, invariant checking

#18676 · opened Sep 10, 2020 by Ben Gamari LinearTypes Ttask
- 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 Tbug typed holes
- 1
- 5
updated Sep 26, 2020
Unboxed tuples with multiplicity parametric fields

#18490 · opened Jul 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request runtime perf
- 7
updated Jul 23, 2020