arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 10:20:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Show better error message on 's∀'

Browse Source 
see #15
This commit is contained in:
Arne Keller 2021-08-21 16:50:37 +02:00
parent b558d3cbf5
commit c190289f6f
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/model/parser/LambdaLexer.java
View File

@ -151,7 +151,9 @@ public class LambdaLexer {
} while (pos < term.length() && Character.isLetterOrDigit(term.charAt(pos))
&& (int) term.charAt(pos) < 128);
if (pos < term.length() && (int) term.charAt(pos) >= 128) {
return new Result<>(null, ParseError.unexpectedCharacter2(term.charAt(pos), pos, term, errorType));
return new Result<>(null,
ParseError.unexpectedCharacter2(term.charAt(pos), pos, term, errorType)
.expectedType(TokenType.VARIABLE));
}
String s = sb.toString();
TokenType type;