Fixed readSecret to correctly read store
commit9742bac7f2dfa9346e74c2c546e4ede4213dbef7
authorEdmund Smith <edmund.pd.smith@gmail.com>
dateSun 15 Oct 2017, 19:15 (9 years ago)
parentd6be621
samples/ST/Login.idr+1−1
@@ -41,7 +41,7 @@ DataStore IO where
4141
4242 disconnect store = delete store
4343
44− readSecret store = readSecret store
44+ readSecret store = read store
4545
4646 login store = do putStr "Enter password: "
4747 p <- getStr