Fix up tests

Author: dolio

unison-runtime/tests/Unison/Test/Gen.hs

@@ -17,6 +17,9 @@ import Unison.Util.Text qualified as Unison.Text
 genSmallWord64 :: Gen Word64
 genSmallWord64 = Gen.word64 (Range.linear 0 100)
 
+genBool :: Gen Bool
+genBool = Gen.choice [pure False, pure True]
+
 genSmallInt :: Gen Int
 genSmallInt = Gen.int (Range.linear 0 100)
 

unison-runtime/tests/Unison/Test/Runtime/ANF.hs

@@ -83,6 +83,8 @@ denormalize (TLet _ v _ bn bo)
   where
     dbn = denormalize bn
     dbo = denormalize bo
+denormalize (TLets {}) =
+  error "can't denormalize non-unary let bindings"
 denormalize (TName _ _ _ _) =
   error "can't denormalize by-name bindings"
 denormalize (TMatch v cs) =
@@ -106,7 +108,8 @@ denormalize (TApp f args) = Term.apps' df (Term.var () <$> args)
 denormalize (TFrc _) = error "denormalize TFrc"
 denormalize (TDiscard _) = error "denormalize TDiscard"
 denormalize (TLocal _ _) = error "denormalize TLocal"
-denormalize (TUpdate _ _) = error "denormalize TUpdate"
+denormalize (TUpdate _ _ _) = error "denormalize TUpdate"
+denormalize (TAbs _ _) = error "denormalize TAbs"
 
 denormalizeRef :: RTag -> Reference
 denormalizeRef r

unison-runtime/tests/Unison/Test/Runtime/MCode/Serialization.hs

@@ -113,7 +113,7 @@ genInstr =
     [ Prim1 <$> genPrim1 <*> genSmallInt,
       Prim2 <$> genPrim2 <*> genSmallInt <*> genSmallInt,
       ForeignCall <$> Gen.bool <*> genForeignCall <*> genArgs,
-      SetAff <$> genSmallInt <*> genSmallInt,
+      SetAff <$> genBool <*> genSmallInt <*> genSmallInt,
       Capture <$> genSmallWord64,
       Name <$> genGRef <*> genArgs,
       Info <$> Gen.string (Range.linear 0 10) Gen.alphaNum,
@@ -175,6 +175,8 @@ genStoredCache =
     <$> (genEnumMap genSmallWord64 genCombs)
     <*> (genEnumMap genSmallWord64 genReference)
     <*> (genEnumSet genSmallWord64)
+    -- don't generate inlining info for reasons below
+    <*> pure (mempty, mempty)
     <*> (genEnumMap genSmallWord64 genReference)
     <*> genSmallWord64
     <*> genSmallWord64