Clone
Gustaf Neumann <neumann@wu-wien.ac.at>
committed
on 25 May 21
Do not support predefined parameter options spelled with trailing content
This change makes argument type checking more strict by rejecting… Show more
Do not support predefined parameter options spelled with trailing content

This change makes argument type checking more strict by rejecting

names as synonyms which are longer than the specified values.

Background: Previous versions did not handle cases correctly where an

application type name starts with the same characters as a built-in

type. So it was not possible to define a type "object_id", since a a

spec of the form "x:object_id" was interpreted as "x:object".

Show less

define-incrementals + 3 more