Fix Nat -> Word conversions

unisonweb · Oct 31, 2024 · 848c406 · 848c406
1 parent c57e7a9
commit 848c406
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/unison-runtime/src/Unison/Runtime/Builtin.hs b/unison-runtime/src/Unison/Runtime/Builtin.hs
@@ -805,7 +805,7 @@ andb = binop0 0 $ \[p, q] ->
 coerceType :: PackedTag -> SuperNormal Symbol
 coerceType (PackedTag destType) =
   unop0 1 $ \[v, tag] ->
-    TLetD tag UN (TLit $ N destType)
+    TLetD tag UN (TLit $ I $ fromIntegral destType)
       $ TPrm CAST [v, tag]
 
 -- unbox x0 ri x $

diff --git a/unison-runtime/src/Unison/Runtime/Machine.hs b/unison-runtime/src/Unison/Runtime/Machine.hs
@@ -1382,6 +1382,7 @@ uprim2 !stk CAST !vi !ti = do
   newTypeTag <- peekOffN stk ti
   v <- upeekOff stk vi
   stk <- bump stk
+  Debug.debugM Debug.Temp "CASTING" (v, newTypeTag)
   poke stk $ UnboxedVal v (PackedTag newTypeTag)
   pure stk
 {-# INLINE uprim2 #-}

diff --git a/unison-runtime/src/Unison/Runtime/Stack.hs b/unison-runtime/src/Unison/Runtime/Stack.hs
@@ -336,7 +336,7 @@ matchNatVal = \case
 pattern NatVal :: Word64 -> Val
 pattern NatVal n <- (matchNatVal -> Just n)
   where
-    NatVal n = UnboxedVal (fromEnum n) TT.natTag
+    NatVal n = UnboxedVal (fromIntegral n) TT.natTag
 
 matchDoubleVal :: Val -> Maybe Double
 matchDoubleVal = \case