summaryrefslogtreecommitdiff
path: root/app/Frontend.hs
diff options
context:
space:
mode:
authorMirek Kratochvil <exa.exa@gmail.com>2023-02-26 21:43:25 +0100
committerMirek Kratochvil <exa.exa@gmail.com>2023-02-26 21:43:25 +0100
commit0092723895da4136a68f71f34a816b33586d9ccb (patch)
treef2ddf1c40dda994ac645ce848f32ae3e02529445 /app/Frontend.hs
parent0d52bcf663ead766ae83c8f30f90beaea5790789 (diff)
downloadprlg-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.hs4
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."