diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-09-28 12:11:24 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-09-28 12:11:24 +0100 |
| commit | de012c0d543b75135582a3c29dfda31098205746 (patch) | |
| tree | 4f047b449a6cee8d2204517e5bd64f21dd11e32d /src/main/java | |
| parent | f935c5f26f8e16ab401b92662c8017fad92b1e76 (diff) | |
Use orElseThrow() instead of get()
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index a5996ef7..781468e0 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -53,11 +53,9 @@ public class TypeChecker { private static TypeCheckerResult<Variable> runtimeLookup(String name, Source source, TypeCheckerContext context) { return context.runtimeLookup(name, source).map(variable -> { - if (variable.isEmpty()) { - throw new UnknownVariableError(name, source); - } - - variable.get().type() + variable + .orElseThrow(() -> new UnknownVariableError(name, source)) + .type() .orElseThrow(() -> new ReferenceBeforeDefinitionError(name, source)); return variable.get(); |
