diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-12 18:45:13 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-12 18:45:13 +0100 |
| commit | a736c1e7b727876b0b05f0b413e2c914437df13a (patch) | |
| tree | f625bc8f0b5f25b5c88057f8681b495aaabc0f46 /app/Builtins.hs | |
| parent | b9633a33182f5b381e912366273709e59f469bb9 (diff) | |
| download | prlg-a736c1e7b727876b0b05f0b413e2c914437df13a.tar.gz prlg-a736c1e7b727876b0b05f0b413e2c914437df13a.tar.bz2 | |
compiled vars carry ids
Diffstat (limited to 'app/Builtins.hs')
| -rw-r--r-- | app/Builtins.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Builtins.hs b/app/Builtins.hs index 272eca2..b4d6b8d 100644 --- a/app/Builtins.hs +++ b/app/Builtins.hs @@ -19,13 +19,13 @@ addBuiltins = do s { defs = M.fromList - [ (eq, [[U (LocalRef 0), U (LocalRef 0), NoGoal]]) + [ (eq, [[U (LocalRef 0 Nothing), U (LocalRef 0 Nothing), NoGoal]]) , (a1, [[U (Atom a), NoGoal], [U (Atom b), NoGoal]]) , ( b0 , [ [Goal, U (Struct a1), U (Atom c), LastCall] , [Goal, U (Struct a1), U (Atom b), LastCall] ]) - , (any, [[U VoidRef, NoGoal]]) + , (any, [[U (VoidRef Nothing), NoGoal]]) ] , ops = [(O.xfy "," 1000), (O.xfx "=" 700)] } |