@@ -96,7 +96,7 @@ value read from the user was valid. We can express this in the type:
96 else [STATE (Vect n Int), STDIO])
96 else [STATE (Vect n Int), STDIO])
97 readInt = do let x = trim !getStr
97 readInt = do let x = trim !getStr
98 case all isDigit (unpack x) of
98 case all isDigit (unpack x) of
99− False => pure False
99+ False => pureM False
100 True => do putM (cast x :: !get)
100 True => do putM (cast x :: !get)
101 pureM True
101 pureM True