git.iko.soy/Idris-dev
on master help sign in
Add forgotten default clause.
6ef51e3Matus Tejiscak
src/IRTS/Compiler.hs+2
compare with master
unifiedsplit
@@ -526,6 +526,8 @@ isLikeNat ist cn
526 = if | cn == z -> Just LikeZ
526 = if | cn == z -> Just LikeZ
527 | cn == s -> Just LikeS
527 | cn == s -> Just LikeS
528 | otherwise -> error $ "isLikeNat: constructor not found in its own family: " ++ show (cn, tyN)
528 | otherwise -> error $ "isLikeNat: constructor not found in its own family: " ++ show (cn, tyN)
529+
530+ | otherwise = Nothing
529 where
531 where
530 natLikeCtors :: Name -> Type -> Maybe (Name, Name)
532 natLikeCtors :: Name -> Type -> Maybe (Name, Name)
531 natLikeCtors tyN cTy = case lookupCtxtExact tyN $ idris_datatypes ist of
533 natLikeCtors tyN cTy = case lookupCtxtExact tyN $ idris_datatypes ist of