From ccefb8f1a4aec3586f2f2e58c03ec77af6d4f266 Mon Sep 17 00:00:00 2001 From: oflatt Date: Mon, 29 Jan 2024 15:54:56 -0800 Subject: [PATCH] add types to things that need them --- tree_shared/src/schema.egg | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/tree_shared/src/schema.egg b/tree_shared/src/schema.egg index 6682785ee..70de880a4 100644 --- a/tree_shared/src/schema.egg +++ b/tree_shared/src/schema.egg @@ -44,8 +44,8 @@ ; value unit (function Print (Expr) Expr) -; addr value -(function Read (Expr) Expr) +; addr type value +(function Read (Expr Type) Expr) ; addr value unit (function Write (Expr Expr) Expr) @@ -83,11 +83,12 @@ ; Functions ; ========================== -; f output -(function Function (IdSort Expr) Expr) +; f output input ty output ty +(function Function (IdSort Expr Type Type) Expr) + +; referencing id name of func arg +(function Call (IdSort String Expr) Expr) -; f arg -(function Call (IdSort Expr) Expr) ;; Rulesets (ruleset always-run)