From 645f2c5c9cec95991bb54b3c99e09e7caab28a3e Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Tue, 26 Dec 2023 13:21:37 -0800 Subject: [PATCH] Update inference rules to match new Bergamot's single-literal output Signed-off-by: Danila Fedorin --- content/blog/01_types_basics.md | 4 ++-- content/blog/bergamot/index.md | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/content/blog/01_types_basics.md b/content/blog/01_types_basics.md index 17119b8..821c352 100644 --- a/content/blog/01_types_basics.md +++ b/content/blog/01_types_basics.md @@ -443,8 +443,8 @@ and already be up-to-speed on a big chunk of the content. #### Playground {{< bergamot_widget id="widget-one" query="" prompt="PromptConverter @ prompt(type(empty, ?term, ?t)) <- input(?term);" >}} section "" { - TNumber @ type(?Gamma, intlit(?n), number) <-; - TString @ type(?Gamma, strlit(?s), string) <-; + TNumber @ type(?Gamma, lit(?n), number) <- num(?n); + TString @ type(?Gamma, lit(?s), string) <- str(?s); TVar @ type(?Gamma, var(?x), ?tau) <- inenv(?x, ?tau, ?Gamma); TPlusI @ type(?Gamma, plus(?e_1, ?e_2), number) <- type(?Gamma, ?e_1, number), type(?Gamma, ?e_2, number); diff --git a/content/blog/bergamot/index.md b/content/blog/bergamot/index.md index 75459c2..403fb13 100644 --- a/content/blog/bergamot/index.md +++ b/content/blog/bergamot/index.md @@ -263,8 +263,8 @@ It has two modes: {{< bergamot_widget id="widget-one" query="" prompt="PromptConverter @ prompt(type(empty, ?term, ?t)) <- input(?term);" >}} section "" { - TNumber @ type(?Gamma, intlit(?n), number) <- int(?n); - TString @ type(?Gamma, strlit(?s), string) <- str(?s); + TNumber @ type(?Gamma, lit(?n), number) <- num(?n); + TString @ type(?Gamma, lit(?s), string) <- str(?s); TVar @ type(?Gamma, var(?x), ?tau) <- inenv(?x, ?tau, ?Gamma); TPlusI @ type(?Gamma, plus(?e_1, ?e_2), number) <- type(?Gamma, ?e_1, number), type(?Gamma, ?e_2, number);