Fehlermeldungen bei der Typannahmen-Eingabe
-
s
- komplett falsche Fehlermeldung
-
s∀
- erzeugt wohl schon im Tokenizer UNEXPECTED_CHARACTER (= "Falsches Zeichen: ∀")
-
s:()
- leere Fehlermeldung
-
noch mehr Fälle (können leicht durch Kürzen von richtigen Eingaben gefunden werden)