Searched refs:CheckMetaInst (Results 1 – 10 of 10) sorted by relevance
130 CheckMetaInst x -> do
120 CheckMetaInst m -> True -- TODO
212 CheckMetaInst{} -> True
274 CheckMetaInst x -> return mempty
1067 | CheckMetaInst MetaId constructor1116 CheckMetaInst m -> mempty1135 CheckMetaInst m -> mempty
298 solveConstraint_ (CheckMetaInst m) = checkMetaInst m
233 instantiate' c@CheckMetaInst{} = return c831 reduce' c@CheckMetaInst{} = return c995 simplify' c@CheckMetaInst{} = return c1174 normalise' c@CheckMetaInst{} = return c1392 c@CheckMetaInst{} -> return c
1146 catchConstraint (CheckMetaInst x) $1172 let postpone = addConstraint (unblockOnMeta x) $ CheckMetaInst x1182 catchConstraint (CheckMetaInst x) $ addContext tel $ checkSolutionForMeta x m v a
994 CheckMetaInst m -> CheckMetaInst m
454 reify (CheckMetaInst m) = do620 CheckMetaInst{} -> Nothing