sdf-cons makes constructors uniques by adding a number as prefix. Unfortunately, if a constructor name exists with the same suffix, it will not see it. For example:

module A
exports
context-free syntax
A -> B {cons(“A1”)}
A -> C
A -> D

sdf-cons here will give “A” to A->C and “A1” to A -> D.

Submitted on 18 November 2008 at 15:10