diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-01-13 22:03:57 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-01-13 22:03:57 +0100 |
| commit | c7037c953d57134fd72519dc6d6778b3aeaded67 (patch) | |
| tree | e301538b3c008205d4c76210fdb7e4f9b0d67e8b /source | |
| parent | c8875698a5ac6bd70512c0f5b4e78609da6bdf57 (diff) | |
Add gloss of `AsmLetEq`
Diffstat (limited to 'source')
| -rw-r--r-- | source/Meaning.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/source/Meaning.hs b/source/Meaning.hs index 2dfc3cb..3e71a76 100644 --- a/source/Meaning.hs +++ b/source/Meaning.hs @@ -503,8 +503,9 @@ glossAsm = \case pure [Sem.AsmStruct structLabel structPhrase] Raw.AsmLetThe _ _ -> _TODO "glossAsm AsmLetThe" - Raw.AsmLetEq _ _ -> - _TODO "glossAsm AsmLetEq" + Raw.AsmLetEq x e -> do + e' <- glossExpr e + pure (Sem.Asm (Sem.Equals Nowhere (Sem.TermVar x) e') : []) -- | A quantifier is interpreted as a quantification function that takes a nonempty list of variables, |