Custom Query (4 matches)


Show under each result:

Ticket Summary Status Type Priority Milestone Component
#344 arrow notation: incorrect scope of existential dictionaries new bug lowest 7.12.1 Compiler (Type checker)
#5267 Missing type checks for arrow command combinators new bug low 7.12.1 Compiler (Type checker)
#5333 Arrow command combinators and infixr cause the desugarer to fail new bug low 7.12.1 Compiler (Parser)
#5777 core lint error with arrow notation and GADTs new bug normal 7.12.1 Compiler (Type checker)
Note: See TracQuery for help on using queries.