flag that permissions require the solver

granule-project · dorchard · Nov 22, 2024 · Jul 10, 2023 · Jul 10, 2023 · Jul 10, 2023
commit 00976366f9f7415b47a6aadb658d480baf74ee9a
diff --git a/frontend/src/Language/Granule/Checker/Kinding.hs b/frontend/src/Language/Granule/Checker/Kinding.hs
@@ -1262,7 +1262,7 @@ unify x y = runMaybeT $ unify' x y
 
 requiresSolver :: (?globals :: Globals) => Span -> Type -> Checker Bool
 requiresSolver s ty = do
-  (result, putChecker) <- peekChecker (checkKind s ty kcoeffect <|> checkKind s ty keffect)
+  (result, putChecker) <- peekChecker (checkKind s ty kcoeffect <|> checkKind s ty keffect <|> checkKind s ty kpermission)
   case result of
     -- Checking as coeffect or effect caused an error so ignore
     Left _  -> return False