git.iko.soy/Idris-dev
on master help sign in
Fix missing case in Idris.Primitives.p_strLen
c328454Andy Morris
src/Idris/Primitives.hs+1
compare with master
unifiedsplit
@@ -625,6 +625,7 @@ p_floatFloor = p_fPrim (fromInteger . floor)
625p_floatCeil = p_fPrim (fromInteger . ceiling)
625p_floatCeil = p_fPrim (fromInteger . ceiling)
626
626
627p_strLen [VConstant (Str xs)] = Just $ VConstant (I (length xs))
627p_strLen [VConstant (Str xs)] = Just $ VConstant (I (length xs))
628+p_strLen _ = Nothing
628p_strHead [VConstant (Str (x:xs))] = Just $ VConstant (Ch x)
629p_strHead [VConstant (Str (x:xs))] = Just $ VConstant (Ch x)
629p_strHead _ = Nothing
630p_strHead _ = Nothing
630p_strTail [VConstant (Str (x:xs))] = Just $ VConstant (Str xs)
631p_strTail [VConstant (Str (x:xs))] = Just $ VConstant (Str xs)