Fix missing case in Idris.Primitives.p_strLen
commitc328454490869f35b490049f1c359a8d9dc568fb
authorAndy Morris <andy@adradh.org.uk>
dateFri 5 Apr 2013, 18:58 (14 years ago)
parentd1cb783
src/Idris/Primitives.hs+1
@@ -625,6 +625,7 @@ p_floatFloor = p_fPrim (fromInteger . floor)
625625p_floatCeil = p_fPrim (fromInteger . ceiling)
626626
627627p_strLen [VConstant (Str xs)] = Just $ VConstant (I (length xs))
628+p_strLen _ = Nothing
628629p_strHead [VConstant (Str (x:xs))] = Just $ VConstant (Ch x)
629630p_strHead _ = Nothing
630631p_strTail [VConstant (Str (x:xs))] = Just $ VConstant (Str xs)