Rename int to int-get

4 files changed, 7 insertions, 7 deletions

diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java
index fe74e70b..5fdcd30f 100644
--- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java
+++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java
@@ -124,7 +124,7 @@ public class PatioCodeGen {
         context = localResult.context();
 
         return context
-            .addInstruction(new PatioInt(local, value, source))
+            .addInstruction(new PatioIntGet(local, value, source))
             .temporaryPush(local);
     }
 }
diff --git a/src/main/java/org/shedlang/compiler/patio/PatioInstructionSerializer.java b/src/main/java/org/shedlang/compiler/patio/PatioInstructionSerializer.java
index d0785c7a..132803fe 100644
--- a/src/main/java/org/shedlang/compiler/patio/PatioInstructionSerializer.java
+++ b/src/main/java/org/shedlang/compiler/patio/PatioInstructionSerializer.java
@@ -50,11 +50,11 @@ public class PatioInstructionSerializer {
                     )
                 );
 
-            case PatioInt int_ ->
+            case PatioIntGet intGet ->
                 treeList(
-                    treeIdentifier("int"),
-                    localToTree(int_.target()),
-                    treeInt(int_.value())
+                    treeIdentifier("int-get"),
+                    localToTree(intGet.target()),
+                    treeInt(intGet.value())
                 );
 
             case PatioLocalCopy localCopy ->
diff --git a/src/main/java/org/shedlang/compiler/patio/instructions/PatioInstruction.java b/src/main/java/org/shedlang/compiler/patio/instructions/PatioInstruction.java
index 9d68b623..c7ce5e85 100644
--- a/src/main/java/org/shedlang/compiler/patio/instructions/PatioInstruction.java
+++ b/src/main/java/org/shedlang/compiler/patio/instructions/PatioInstruction.java
@@ -2,6 +2,6 @@ package org.shedlang.compiler.patio.instructions;
 
 import org.shedlang.compiler.sources.Source;
 
-public sealed interface PatioInstruction permits PatioAlloc, PatioCallPointer, PatioFunctionPointerGet, PatioInt, PatioLocalCopy, PatioMemoryLoad, PatioMemoryStore, PatioReturn {
+public sealed interface PatioInstruction permits PatioAlloc, PatioCallPointer, PatioFunctionPointerGet, PatioIntGet, PatioLocalCopy, PatioMemoryLoad, PatioMemoryStore, PatioReturn {
     Source source();
 }
diff --git a/src/main/java/org/shedlang/compiler/patio/instructions/PatioInt.java b/src/main/java/org/shedlang/compiler/patio/instructions/PatioIntGet.java
index f02c6146..0d1bbfc2 100644
--- a/src/main/java/org/shedlang/compiler/patio/instructions/PatioInt.java
+++ b/src/main/java/org/shedlang/compiler/patio/instructions/PatioIntGet.java
@@ -5,5 +5,5 @@ import org.shedlang.compiler.sources.Source;
 /**
  * Store the given value in the target local.
  */
-public record PatioInt(PatioLocal target, int value, Source source) implements PatioInstruction {
+public record PatioIntGet(PatioLocal target, int value, Source source) implements PatioInstruction {
 }