Fixed type confusion bug when compiling unary minus

Previously when `-a` was compiled in a `real` context but `a` is an integer
`a` itself was being compiled in the real context, which is wrong.
Instead a has to be compiled as an int and only then then converted to real.

Hot/Instruction/Compiler.hs

@@ -252,8 +252,12 @@ compileExpr e =
 
     H.Call (Op "-") [a] -> do
         r <- newRegister
-        t <- compileExpr a
+        -- We need to compile `a` from `-a` as the type of `a` itself,
+        -- which does sound weird, but neccessary as otherwise a would be
+        -- put into the – let's say – real slot of the register when `a`
+        -- itself would be an integer
         ta <- typeOfExpr a
+        t <- typed ta $ compileExpr a
         emit $ Negate ta r t
         typedGet ta r
 

Main.hs

@@ -223,7 +223,7 @@ compileX o = do
         toCompile <- forM (inputPaths o) $ \j -> do
             src <- liftIO $ readFile j
             J.Programm ast <- exceptT $ parse J.programm j src
-            traceShowM ast
+            --traceShowM ast
             return ast
         return (commonj, J.Programm $ concat toCompile)
     case x of
@@ -236,8 +236,8 @@ compileX o = do
                 prog = jass_opt j
                 prog' = H.jass2hot . fst $ Rename.compile Rename.Init id st prog
                 asm = ins_opt $ Ins.compile typeHierachy prog'
-            traceShowM j
-            traceShowM prog
+            --traceShowM j
+            --traceShowM prog
             hPutBuilder stdout $ Ins.serializeAsm asm
             when (showSerialize o) $ do
                 putStrLn ""

flake.nix

@@ -59,6 +59,7 @@
 		buildInputs = [
 		    pkgs.gnumake
 		    pkgs.cabal-install
+                    ghcPackages
 		];
 	    in rec {
 		packages = {