Open jiribenes opened 3 weeks ago
The suggested type (Int => Exception at {exc} at {io} / {}) cannot be annotated, one can only write the parenthesised version: (Int => Exception at {exc}) at {io}.
Int => Exception at {exc} at {io} / {}
(Int => Exception at {exc}) at {io}
https://github.com/effekt-lang/effekt/blob/6e71bcd59bf419f2ba5923d9eca519b87d3804b5/effekt/shared/src/main/scala/effekt/RecursiveDescent.scala#L1080
https://github.com/effekt-lang/effekt/blob/6e71bcd59bf419f2ba5923d9eca519b87d3804b5/effekt/shared/src/main/scala/effekt/symbols/TypePrinter.scala#L53
The suggested type (
Int => Exception at {exc} at {io} / {}) cannot be annotated, one can only write the parenthesised version:(Int => Exception at {exc}) at {io}.Relevant code
Parser
https://github.com/effekt-lang/effekt/blob/6e71bcd59bf419f2ba5923d9eca519b87d3804b5/effekt/shared/src/main/scala/effekt/RecursiveDescent.scala#L1080
Pretty printer
https://github.com/effekt-lang/effekt/blob/6e71bcd59bf419f2ba5923d9eca519b87d3804b5/effekt/shared/src/main/scala/effekt/symbols/TypePrinter.scala#L53