From 725de74651b08ddfddd32d7e673b62e212370771 Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Sun, 6 Nov 2022 12:52:43 +0100 Subject: before going State --- app/Frontend.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'app/Frontend.hs') 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)] } -- cgit v1.2.3