@@ -416,9 +416,13 @@ getInt (BI x : xs) = x : getInt xs
416getInt _ = []
416getInt _ = []
418strToInt :: IntTy -> [Const] -> Maybe Const
418strToInt :: IntTy -> [Const] -> Maybe Const
419−strToInt ity [Str x] = case reads x of
419+strToInt ity [Str x] = case reads $ dropFirstPlus x of
420 [(n,s)] -> Just $ if all isSpace s then toInt ity (n :: Integer) else I 0
420 [(n,s)] -> Just $ if all isSpace s then toInt ity (n :: Integer) else I 0
421 _ -> Just $ I 0
421 _ -> Just $ I 0
423+ dropFirstPlus :: String -> String
424+ dropFirstPlus ('+' : str) = str
425+ dropFirstPlus str = str
422strToInt _ _ = Nothing
426strToInt _ _ = Nothing
424intToFloat :: [Const] -> Maybe Const
428intToFloat :: [Const] -> Maybe Const