Issues · Glasgow Haskell Compiler / GHC · GitLab

lookupIdSubst panic with indexed monad

#21206 · created Mar 09, 2022 by Tobias Haslop Pnormal RebindableSyntax Tbug typechecker
- 10
updated Apr 22, 2022
Static pointers should work with RebindableSyntax

#20731 · created Nov 23, 2021 by Krzysztof Gogolewski Plow RebindableSyntax StaticPointers Tfeature request
- 1
updated Nov 24, 2021
GHC 8.10.x RebindableSyntax and HPC produce unexpected 'Impossible case alternative' errors (and occasionally segfaults)

#20568 · created Oct 27, 2021 by lierdakil 9.0.2 HPC Pnormal RebindableSyntax runtime crash
- 1
- 8
updated Nov 06, 2021
`do`-block produces compile-time error but its desugaring works (ImpredicativeTypes)

#20020 · created Jun 19, 2021 by Jakob Brünker ImpredicativeTypes Pnormal RebindableSyntax Tbug
- 10
updated May 16, 2022
Allow OverloadedLists to overload (:) in patterns and expressions

#20014 · created Jun 18, 2021 by sheaf OverloadedLists Plow RebindableSyntax Tfeature request ghc proposal
- 0
updated Jun 18, 2021
Better error for out-of-scope RebindableSyntax

#19979 · created Jun 11, 2021 by Krzysztof Gogolewski Plow RebindableSyntax Tfeature request error messages newcomer
- 3
updated Aug 19, 2021
Rebindable Syntax and LinearTypes (allow a version of RebindableSyntax without ifThenElse)

#19477 · created Mar 02, 2021 by Edward Kmett LinearTypes Plow RebindableSyntax Tfeature request
- 1
- 5
updated Apr 08, 2021
Operator sections and rebindable syntax

#19354 · created Feb 12, 2021 by Simon Peyton Jones Pnormal RebindableSyntax Tfeature request
- 1
updated Mar 01, 2021
ApplicativeDo requires (>>=) and (<*>)

#18816 · created Oct 07, 2020 by Krzysztof Gogolewski ApplicativeDo RebindableSyntax Tbug
- 0
updated Oct 07, 2020
RebindableSyntax cannot defer-out-of-scope-variables

#18636 · created Sep 01, 2020 by Richard Eisenberg Pnormal RebindableSyntax Tbug deferred type errors program incorrectly rejected
- 1
- 0
updated Feb 16, 2021
ApplicativeDo and RebindableSyntax requires *both* return and pure

#18313 · created Jun 08, 2020 by Richard Eisenberg ApplicativeDo Pnormal RebindableSyntax Tbug
- 1
- 0
updated Oct 07, 2020
TemplateHaskellQuotes and RebindableSyntax don't play nicely

#18102 · created Apr 26, 2020 by Richard Eisenberg Pnormal RebindableSyntax Tbug TemplateHaskell program incorrectly rejected typed TemplateHaskell
- 1
- 14
updated Feb 05, 2021
RebindableSyntax demands `fail` even when bindings are exhaustive

#16618 · created May 02, 2019 by Fumiaki Kinoshita RebindableSyntax
- 2
updated Feb 24, 2021
RebindableSyntax with RankNTypes and type class method call yields panic.

#15598 · created Sep 03, 2018 by Roman Borschel 5 Pnormal RankNTypes RebindableSyntax Tbug Trac import compiler crash
- 4
updated Mar 10, 2022