add types to things that need them

egraphs-good · Jan 29, 2024 · ccefb8f · ccefb8f
1 parent 77acc94
commit ccefb8f
Showing 1 changed file with 7 additions and 6 deletions.
diff --git 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)