From de012c0d543b75135582a3c29dfda31098205746 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 28 Sep 2023 12:11:24 +0100
Subject: Use orElseThrow() instead of get()

---
 src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'src/main/java')

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();
-- 
cgit v1.2.3