disable kind assertion for now

koka-lang · Mar 4, 2024 · 656e861 · 656e861
1 parent cfd2851
commit 656e861
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Type/TypeVar.hs b/src/Type/TypeVar.hs
@@ -165,10 +165,12 @@ subFind :: HasCallStack => TypeVar -> Sub -> Tau
 subFind tvar sub
   = case subLookup tvar sub of
       Nothing   -> TVar tvar
-      Just tau  -> assertion ("Type.TypeVar.subFind: incompatible kind: "
+      Just tau  -> {-
+                   assertion ("Type.TypeVar.subFind: incompatible kind: "
                              ++ "\n tvar: " ++ showTVar tvar ++ ":" ++ show (getKind tvar) ++ ","
                              ++ "\n type: " ++ show tau ++ ":" ++ show (getKind tau))
                              (getKind tvar == getKind tau) $
+                   -}
                    tau
 
 showTVar (TypeVar id _ _)