I wrote the following SDF3 (notice the missing -CF on the Type sort at the start):

Type.CollTy = ItemKind-CF CollectionKind-CF LAYOUT?-CF OptGraphRef-CF

Which happily translates to SDF2:

<ItemKind-CF> <CollectionKind-CF> <LAYOUT?-CF> <OptGraphRef-CF> -> Type {cons("CollTy")}

Which doesn’t do anything. Shouldn’t that be a (syntax) error instead? I’d expect a red squigly and a message expected "-CF" or "-LEX" not ".".

Submitted by Jeff Smits on 9 April 2015 at 15:22