Searched refs:UnifyRecursiveEq (Results 1 – 3 of 3) sorted by relevance
1356 UnifyRecursiveEq tel a i u -> addContext tel $ fsep $
1243 return $ UnifyStuck [UnifyRecursiveEq (varTel s) a i u]
3529 …| UnifyRecursiveEq Telescope Type Int Term -- ^ Can't solve equation because variable occ… constructor