format

ElaraLang · Dec 5, 2023 · 458896d · 458896d
1 parent d2fb85b
commit 458896d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/JVM/Data/Abstract/Instruction.hs b/src/JVM/Data/Abstract/Instruction.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 {- | High level representation of a JVM instruction, with type-safe arguments and no stack manipulation needed.
  This is not a 1-1 mapping to the actual instructions, use 'JVM.Data.Raw.Instruction' for that.

diff --git a/src/JVM/Data/Analyse/StackMap.hs b/src/JVM/Data/Analyse/StackMap.hs
@@ -98,7 +98,7 @@ analyseBlockDiff current block = foldl (flip analyseInstruction) current (takeWh
     analyseInstruction (InvokeVirtual _ _ md) ba = ba{stack = (StackEntry <$> maybeToList (returnDescriptorType md.return)) <> drop (1 + length md.params) ba.stack}
     analyseInstruction (InvokeInterface _ _ md) ba = ba{stack = (StackEntry <$> maybeToList (returnDescriptorType md.return)) <> drop (length md.params) ba.stack}
     analyseInstruction (InvokeDynamic _ _ md) ba = ba{stack = (StackEntry <$> maybeToList (returnDescriptorType md.return)) <> drop (1 + length md.params) ba.stack}
-    analyseInstruction (PutStatic {}) ba = ba{stack = tail ba.stack}
+    analyseInstruction (PutStatic{}) ba = ba{stack = tail ba.stack}
     analyseInstruction (GetField t _ _) ba = ba{stack = StackEntry (classInfoTypeToFieldType t) : tail ba.stack}
     analyseInstruction (GetStatic t _ _) ba = ba{stack = StackEntry (classInfoTypeToFieldType t) : ba.stack}
     analyseInstruction (Goto _) ba = ba