Added type mutability for variables

Author: Qubilux

.idea/misc.xml

@@ -0,0 +1,8 @@
+package dev.ultreon.pythonc;
+
+import org.jetbrains.annotations.Nullable;
+
+public interface ConditionContext extends Context {
+    @Nullable org.objectweb.asm.Label ifTrue();
+    @Nullable org.objectweb.asm.Label ifFalse();
+}

compiler/src/main/java/dev/ultreon/pythonc/ConditionContext.java

@@ -1,6 +1,7 @@
 package dev.ultreon.pythonc;
 
 import org.objectweb.asm.MethodVisitor;
+import org.objectweb.asm.Opcodes;
 import org.objectweb.asm.Type;
 
 import static org.objectweb.asm.Opcodes.GETSTATIC;
@@ -23,6 +24,59 @@ public Type type(PythonCompiler compiler) {
 
     @Override
     public void set(MethodVisitor mv, PythonCompiler compiler, PyExpr visit) {
+        if (type.getSort() == Type.OBJECT) {
+            visit.load(mv, compiler, visit.preload(mv, compiler, true), true);
+            compiler.writer.getContext().pop();
 
+            mv.visitFieldInsn(Opcodes.PUTFIELD, owner, name, type.getDescriptor());
+        } else {
+            visit.load(mv, compiler, visit.preload(mv, compiler, false), false);
+            if (compiler.writer.getContext().pop() != type) {
+                int sort = visit.type(compiler).getSort();
+                if (sort == Type.OBJECT) {
+                    throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                } else if (sort == Type.ARRAY) {
+                    throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                } else if (sort == Type.VOID) {
+                    throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                } else if (sort == Type.LONG) {
+                    if (type.getSort() == Type.DOUBLE) {
+                        mv.visitInsn(Opcodes.D2L);
+                    } else if (type.getSort() == Type.INT) {
+                        mv.visitInsn(Opcodes.L2I);
+                    } else {
+                        throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                    }
+                } else if (sort == Type.DOUBLE) {
+                    if (type.getSort() == Type.LONG) {
+                        mv.visitInsn(Opcodes.L2D);
+                    } else if (type.getSort() == Type.INT) {
+                        mv.visitInsn(Opcodes.I2D);
+                    } else {
+                        throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                    }
+                } else if (sort == Type.INT) {
+                    if (type.getSort() == Type.LONG) {
+                        mv.visitInsn(Opcodes.I2L);
+                    } else if (type.getSort() == Type.DOUBLE) {
+                        mv.visitInsn(Opcodes.I2D);
+                    } else {
+                        throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                    }
+                } else if (sort == Type.FLOAT) {
+                    if (type.getSort() == Type.DOUBLE) {
+                        mv.visitInsn(Opcodes.F2D);
+                    } else if (type.getSort() == Type.INT) {
+                        mv.visitInsn(Opcodes.F2I);
+                    } else {
+                        throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                    }
+                } else {
+                    throw new RuntimeException("Cannot smart cast " + visit.type(compiler) + " to " + type);
+                }
+            }
+
+            mv.visitFieldInsn(Opcodes.PUTFIELD, owner, name, type.getDescriptor());
+        }
     }
 }