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/CodeLens.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'app/CodeLens.hs')

diff --git a/app/CodeLens.hs b/app/CodeLens.hs
index 9c1f1d6..75f8d7b 100644
--- a/app/CodeLens.hs
+++ b/app/CodeLens.hs
@@ -3,8 +3,8 @@
 module CodeLens where
 
 import Code
-import Lens.Family2.TH
+import Lens.Micro.TH
 
-$(makeLenses ''Cho)
+makeLenses ''Cho
 
-$(makeLenses ''Interp)
+makeLenses ''Interp
-- 
cgit v1.2.3