Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
"hello"
: smallstring
File "./output/StringNotationErrors.v", line 21, characters 13-30:
The command has indeed failed with message:
Cannot interpret this string as a value of type smallstring
("not a small string: too long string"%pstring)
"too long string"
: smallstring
"hello"
: smallstring
File "./output/StringNotationErrors.v", line 45, characters 13-30:
The command has indeed failed with message:
Cannot interpret this string as a value of type smallstring
(NotSmallString "too long string")
SmallString "too long string"
: smallstring
[ Dauer der Verarbeitung: 0.123 Sekunden
]
