diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-12-14 20:47:29 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-12-14 20:47:29 +0100 |
| commit | 71992db7d0e51f87934f7d9c0cf9ddbd3a8d0300 (patch) | |
| tree | d5ff9dbc6c74512def6a2329642790baef0bde4a /app/Frontend.hs | |
| parent | 60ff47250b5064c38b8f4889766696cb4a5683b0 (diff) | |
| download | prlg-71992db7d0e51f87934f7d9c0cf9ddbd3a8d0300.tar.gz prlg-71992db7d0e51f87934f7d9c0cf9ddbd3a8d0300.tar.bz2 | |
lists
Diffstat (limited to 'app/Frontend.hs')
| -rw-r--r-- | app/Frontend.hs | 5 |
1 files changed, 4 insertions, 1 deletions
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 |