Add forgotten default clause.
commit6ef51e31946e6909da3ba239c9f07104de49cc0e
authorMatus Tejiscak <ziman@functor.sk>
dateSun 24 Feb 2019, 21:23 (8 years ago)
parente1afa90
src/IRTS/Compiler.hs+2
@@ -526,6 +526,8 @@ isLikeNat ist cn
526526 = if | cn == z -> Just LikeZ
527527 | cn == s -> Just LikeS
528528 | otherwise -> error $ "isLikeNat: constructor not found in its own family: " ++ show (cn, tyN)
529+
530+ | otherwise = Nothing
529531 where
530532 natLikeCtors :: Name -> Type -> Maybe (Name, Name)
531533 natLikeCtors tyN cTy = case lookupCtxtExact tyN $ idris_datatypes ist of