@@ -125,9 +125,7 @@ readInt :: Parser Int
125readInt = do
125readInt = do
127 case (reads :: ReadS Int) s of
127 case (reads :: ReadS Int) s of
129− put rest
128+ [(i, rest)] -> put rest >> return i
131 _ -> failParse
129 _ -> failParse
133readChar :: Parser Char
131readChar :: Parser Char