From 0092723895da4136a68f71f34a816b33586d9ccb Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sun, 26 Feb 2023 21:43:25 +0100
Subject: 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.
---
 app/Frontend.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'app/Frontend.hs')

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."
-- 
cgit v1.2.3