diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-26 21:43:25 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-26 21:43:25 +0100 |
| commit | 0092723895da4136a68f71f34a816b33586d9ccb (patch) | |
| tree | f2ddf1c40dda994ac645ce848f32ae3e02529445 /app/Load.hs | |
| parent | 0d52bcf663ead766ae83c8f30f90beaea5790789 (diff) | |
| download | prlg-0092723895da4136a68f71f34a816b33586d9ccb.tar.gz prlg-0092723895da4136a68f71f34a816b33586d9ccb.tar.bz2 | |
microlens and an ugly parse of ,(something,something)
btw we triggered a ghc bug here with iscallTok in parser. Apparently it kills
`call` for whichever reason. New ghc solved it.
Diffstat (limited to 'app/Load.hs')
| -rw-r--r-- | app/Load.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Load.hs b/app/Load.hs index f705114..9fb4c94 100644 --- a/app/Load.hs +++ b/app/Load.hs @@ -8,7 +8,7 @@ import Control.Monad.Trans.Except (ExceptT, except) import qualified Data.Map as M import Env (findAtom, findStruct, withStrTable) import qualified IR -import Lens.Family2.State +import Lens.Micro.Mtl import qualified Parser as P import qualified Text.Megaparsec as MP @@ -53,7 +53,7 @@ expansion noexpand expander output x = do es <- findStruct expander 2 o <- findAtom output comma <- findAtom "," - expand <- defs `uses` M.member es + expand <- M.member es <$> use defs pure $ if expand then IR.CallI |