on master help sign in
Merge pull request #4125 from edmundsmith/issue4122
172924cAhmad Salim Al-Sibahi
samples/ST/Login.idr+1−1
@@ -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