From 98562eca2d04d43b99cc205405f21a472540e1a5 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Tue, 26 Dec 2023 13:19:15 -0800 Subject: [PATCH] Use the same 'literal' term for all object language literals Signed-off-by: Danila Fedorin --- src/Bergamot/ObjectLanguage.elm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Bergamot/ObjectLanguage.elm b/src/Bergamot/ObjectLanguage.elm index 624a508..4fd9d4f 100644 --- a/src/Bergamot/ObjectLanguage.elm +++ b/src/Bergamot/ObjectLanguage.elm @@ -146,9 +146,9 @@ typeToTerm t = exprToTerm : Expr -> Syntax.Term Metavariable exprToTerm e = case e of - IntLit i -> Syntax.Call "intlit" [Syntax.IntLit i] - FloatLit f -> Syntax.Call "floatlit" [Syntax.FloatLit f] - StrLit s -> Syntax.Call "strlit" [Syntax.StringLit s] + IntLit i -> Syntax.Call "lit" [Syntax.IntLit i] + FloatLit f -> Syntax.Call "lit" [Syntax.FloatLit f] + StrLit s -> Syntax.Call "lit" [Syntax.StringLit s] Plus e1 e2 -> Syntax.Call "plus" [exprToTerm e1, exprToTerm e2] Pair e1 e2 -> Syntax.Call "pair" [exprToTerm e1, exprToTerm e2] Fst ep -> Syntax.Call "fst" [exprToTerm ep]