From 483c2ed39d41d9aeed3ae60e0ec3b25a20e05182 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 19 Nov 2023 11:00:33 +0000
Subject: Implement FieldsInfo.fieldIndex() with FieldInfo.fieldIndex()

---
 src/main/java/org/shedlang/compiler/types/FieldsInfo.java | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/FieldsInfo.java b/src/main/java/org/shedlang/compiler/types/FieldsInfo.java
index 18e2653e..3bd20890 100644
--- a/src/main/java/org/shedlang/compiler/types/FieldsInfo.java
+++ b/src/main/java/org/shedlang/compiler/types/FieldsInfo.java
@@ -32,13 +32,10 @@ public record FieldsInfo<T extends Type>(POrderedMap<String, FieldInfo<T>> field
     }
 
     public int fieldIndex(String fieldName) {
-        var fieldIndex = fields.keys().indexOf(fieldName);
+        var field = fields.get(fieldName)
+            .orElseThrow(() -> new NoSuchFieldInternalError(fieldName));
 
-        if (fieldIndex == -1) {
-            throw new NoSuchFieldInternalError(fieldName);
-        } else {
-            return fieldIndex;
-        }
+        return field.fieldIndex();
     }
 
     public Optional<T> fieldType(String fieldName) {
-- 
cgit v1.2.3