diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-06 12:52:43 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-06 12:52:43 +0100 |
| commit | 725de74651b08ddfddd32d7e673b62e212370771 (patch) | |
| tree | 450cb455294acae9eb3c783fa8849235bbfaa660 /app/Frontend.hs | |
| parent | 8eb307e3e11a109aeae7f96ffcb7476d93493ffb (diff) | |
| download | prlg-725de74651b08ddfddd32d7e673b62e212370771.tar.gz prlg-725de74651b08ddfddd32d7e673b62e212370771.tar.bz2 | |
before going State
Diffstat (limited to 'app/Frontend.hs')
| -rw-r--r-- | app/Frontend.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/Frontend.hs b/app/Frontend.hs index 8dc8b8a..2be4f68 100644 --- a/app/Frontend.hs +++ b/app/Frontend.hs @@ -92,6 +92,7 @@ addBuiltins = do b <- findAtom "b" c <- findAtom "c" b0 <- findStruct "b" 0 + any <- findStruct "any" 1 modify $ \s -> s { defs = @@ -101,6 +102,7 @@ addBuiltins = do , [ [I.Goal, I.U (I.Struct a1), I.U (I.Atom c), I.LastCall] , [I.Goal, I.U (I.Struct a1), I.U (I.Atom b), I.LastCall] ]) + , (any, [[I.U I.VoidVar, I.NoGoal]]) ] , ops = [(",", P.Op 1000 $ P.Infix P.X P.Y)] } |