Where are the ghcPrimStep tests

clash-lang · Oct 11, 2024 · f77cc34 · f77cc34
1 parent e0b8905
commit f77cc34
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/clash-ghc/src-ghc/Clash/GHC/Evaluator/Primitive.hs b/clash-ghc/src-ghc/Clash/GHC/Evaluator/Primitive.hs
@@ -4369,7 +4369,7 @@ ghcPrimStep tcm isSubj pInfo tys args mach = case primName pInfo of
     , _ : p : f : z : xs : _ <- args
     , DC _ vArgs <- xs
     , Right k' <- runExcept (tyNatSize tcm kTy)
-    -> case k'  of
+    -> error "DO WE EVER TEST THIS?" {-case k'  of
          0 -> reduce (valToTerm z)
          _ -> let (tyArgs,_)  = splitFunForallTy ty
                   (tyArgs',_) = splitFunForallTy (Either.rights tyArgs !! 2)
@@ -4405,7 +4405,7 @@ ghcPrimStep tcm isSubj pInfo tys args mach = case primName pInfo of
                                        ,Left (valToTerm z)
                                        ,Left (Either.lefts vArgs !! 2)
                                        ])
-                         ]
+                         ] -}
     where
       is0 = mScopeNames mach
   "Clash.Sized.Vector.dtfold"