Use modify
commit626339741a8191d8e7c5d9ea03a4a2ebec4bbfa5
authorJason Felice <jason.m.felice@gmail.com>
dateSun 29 Oct 2017, 14:38 (9 years ago)
parent09b9c07
src/Idris/Package/Parser.hs+1−2
@@ -71,8 +71,7 @@ pPkg = do
7171 reserved "package"
7272 p <- pPkgName
7373 P.someSpace
74− st <- get
75− put (st { pkgname = p })
74+ modify $ \st -> st { pkgname = p }
7675 some pClause
7776 st <- get
7877 P.eof