matijapretnar/eff

Location annotations in SugaredSyntax

Closed this issue · 0 comments

matijapretnar commented

We should use records like in UntypedSyntax instead of pairs.