summaryrefslogtreecommitdiff
path: root/app/CodeLens.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/CodeLens.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/CodeLens.hs')
-rw-r--r--app/CodeLens.hs6
1 files changed, 3 insertions, 3 deletions
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