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/Frontend.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/Frontend.hs')
| -rw-r--r-- | app/Frontend.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Frontend.hs b/app/Frontend.hs index 77706d8..e049365 100644 --- a/app/Frontend.hs +++ b/app/Frontend.hs @@ -11,7 +11,7 @@ import qualified Data.Map as M import Env (PrlgEnv) import qualified IR import qualified Interpreter as I -import Lens.Family2.State +import Lens.Micro.Mtl import Load ( compile , intern @@ -67,7 +67,7 @@ interpreterLoop queryMode = do then queryExpansion else loadExpansion) ast - finished <- lift $ cmdq `uses` null + finished <- lift $ null <$> use cmdq when finished . lift . lift . outputStrLn $ case (resOK, queryMode) of (True, True) -> "yes." |
