Issues · Glasgow Haskell Compiler / GHC · GitLab

-XArrows confusing error about variable not in scope

#21298 · created Mar 26, 2022 by Jakob Brünker Arrows Pnormal Tbug error messages
- 2
updated Mar 29, 2022
Skolems can escape in arrow notation, resulting in Core Lint errors

#20470 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug 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 Pnormal Tbug core lint typechecker
- 5
updated Mar 10, 2022
GHC Panic with O1/O2 when case matching existentials in arrow/proc syntax

#19527 · created Mar 12, 2021 by cvlad Arrows compiler crash
- 5
updated Mar 29, 2021
Nested arrow do notation doesn't cause errors in GHCi

#17197 · created Sep 16, 2019 by Ashesh Ambasta Arrows GHCi Pnormal Tbug program incorrectly accepted
- 0
updated Jan 23, 2020
Lint error in arrows program

#13547 · created Apr 08, 2017 by cipher1024 5 Arrows Pnormal Tbug Trac import compiler crash
- 35
updated Nov 14, 2020
Tiny bug in lexer around lexing banana brackets

#10582 · created Jun 27, 2015 by Richard Eisenberg 8.4.1 3 Arrows Plow Tbug Trac import broken test
- 5
updated Jul 07, 2019
RebindableSyntax and Arrow

#7828 · created Apr 10, 2013 by AlessandroVermeulen 8.0.1 5 Arrows Pnormal Tbug Trac import typechecker
- 60
updated Sep 22, 2020
arrow analogs of lambda case and multi-way if

#7081 · created Jul 16, 2012 by Wolfgang Jeltsch 8.0.1 5 Arrows Pnormal Tfeature request Trac import
- 4
updated Oct 06, 2021
Missing type checks for arrow command combinators

#5267 · created Jun 22, 2011 by peteg 8.0.1 3 Arrows Plow Tbug Trac import broken test typechecker
- 22
updated Jul 07, 2019
arrow notation: incorrect scope of existential dictionaries

#344 · created Apr 07, 2005 by nobody 8.0.1 0 Arrows Plow Tbug Trac import typechecker
- 23
updated Mar 12, 2021