parse-errors.dfy(9,17): Error: ':-' can have at most one left-hand side
parse-errors.dfy(10,26): Error: ':-' must have exactly one right-hand side
parse-errors.dfy(11,18): Error: a variable in a let expression should be initialized using ':=', ':-', or ':|', not '='
parse-errors.dfy(12,16): Error: LHS of let-such-that expression must be variables, not general patterns
parse-errors.dfy(13,25): Error: a map comprehension with more than one bound variable must have a term expression of the form 'Expr := Expr'
parse-errors.dfy(14,11): Error: binding not allowed in parenthesized expression
parse-errors.dfy(15,14): Error: seq type expects only one type argument
parse-errors.dfy(17,21): Error: comma expected
parse-errors.dfy(18,18): Error: invalid UnaryExpression
9 parse errors detected in parse-errors.dfy
