From 71992db7d0e51f87934f7d9c0cf9ddbd3a8d0300 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Wed, 14 Dec 2022 20:47:29 +0100
Subject: lists

---
 app/Frontend.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'app/Frontend.hs')

diff --git a/app/Frontend.hs b/app/Frontend.hs
index 39689f2..8f908ef 100644
--- a/app/Frontend.hs
+++ b/app/Frontend.hs
@@ -47,9 +47,12 @@ interpret = (>> return True) . lex
     intern prlgs = do
       prlgi <- withStrTable $ \st -> IR.internPrlg st prlgs
       underscore <- findAtom "_"
+      list <- findAtom "[]"
       prlgv <-
         withStrTable $ \st ->
-          (st, C.squashVars $ C.variablizePrlg underscore st prlgi)
+          ( st
+          , C.squashVars $
+            C.variablizePrlg underscore st $ C.desugarPrlg list prlgi)
       compile prlgv
     compile prlgv = do
       commaId <- findStruct "," 2
-- 
cgit v1.2.3