move call up

egraphs-good · Feb 2, 2024 · acaf5f0 · acaf5f0
1 parent 7a70012
commit acaf5f0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/tree_inputs/src/schema.egg b/tree_inputs/src/schema.egg
@@ -79,6 +79,9 @@
 (function Get   (Expr i64) Expr)
 ; read has a type, so it can't be a bop
 (function Read  (Expr Type)      Expr) 
+;               name of func   arg
+(function Call (String         Expr) Expr)
+
 
 ; =================================
 ; Tuple operations
@@ -147,8 +150,6 @@
 ;                   name   input ty  output ty  output
 (function Function (String Type      Type       Expr)      Expr)
 
-;               name of func  arg
-(function Call (String        Expr) Expr)
 
 
 ; Rulesets