- changed status to resolved
type x is int
Issue #104
resolved
A line "type x is int" in a vocabulary results in a type x and two atoms, is and int. As it results in larger vocabulary (more unused symbols), this bug is difficult to find. This should either throw an error (if we do not allow to define multiple types on the same line) or add the types x, is and int (which would at least be more logical).
Comments (1)
-
reporter - Log in to comment
fixes
#104Newline is mandatory after any construct in the vocabulary.
→ 17200decd16e