For the following SDF3 syntax definition

module Expressions

sorts Expr

I get the error message: “Unresolved reference to sort ‘Expr’”

This is an error. A sort declaration is, well, a declaration of the sort, not a reference.

Submitted by Eelco Visser on 22 November 2015 at 15:01