git.iko.soy/Idris-dev
on master help sign in
Use modify
6263397Jason Felice
src/Idris/Package/Parser.hs+1−2
compare with master
unifiedsplit
@@ -71,8 +71,7 @@ pPkg = do
71 reserved "package"
71 reserved "package"
72 p <- pPkgName
72 p <- pPkgName
73 P.someSpace
73 P.someSpace
74− st <- get
75− put (st { pkgname = p })
74+ modify $ \st -> st { pkgname = p }
76 some pClause
75 some pClause
77 st <- get
76 st <- get
78 P.eof
77 P.eof