Missing parentheses in a pretty-printed type

[jiribenes]

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

effekt/effekt/shared/src/main/scala/effekt/RecursiveDescent.scala

Line 1080 in 6e71bcd

private def valueType2(boxedAllowed: Boolean): ValueType = nonterminal {

Pretty printer

effekt/effekt/shared/src/main/scala/effekt/symbols/TypePrinter.scala

Line 53 in 6e71bcd

case BoxedType(tpe, capture) => toDoc(tpe) <+> "at" <+> toDoc(capture)