Custom Query (4 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


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