git.iko.soy/Idris-dev
on master help sign in
Fixed readSecret to correctly read store
9742bacEdmund Smith
samples/ST/Login.idr+1−1
compare with master
unifiedsplit
@@ -41,7 +41,7 @@ DataStore IO where
41
41
42 disconnect store = delete store
42 disconnect store = delete store
43
43
44− readSecret store = readSecret store
44+ readSecret store = read store
45
45
46 login store = do putStr "Enter password: "
46 login store = do putStr "Enter password: "
47 p <- getStr
47 p <- getStr