Comprehensive test for interpreter, new global input type info tests,…

… support match on all types, restricted global variables and other fixes (#978) Comprehensive test for interpreter, new global input type info tests, support match on all types, restricted global variables and other fixes
golemcloud · Oct 2, 2024 · 033576f · 033576f
1 parent b1e83ad
commit 033576f
Show file tree

Hide file tree

Showing 21 changed files with 2,743 additions and 2,683 deletions.
diff --git a/golem-api-grpc/proto/golem/rib/expr.proto b/golem-api-grpc/proto/golem/rib/expr.proto
@@ -203,6 +203,8 @@ message ArmPattern {
     ConstructorArmPattern constructor = 3;
     LiteralArmPattern literal = 4;
     TupleConstructorArmPattern tuple_constructor = 5;
+    ListConstructorArmPattern list_constructor = 6;
+    RecordConstructorArmPattern record_constructor = 7;
   }
 }
 
@@ -224,6 +226,20 @@ message TupleConstructorArmPattern {
   repeated ArmPattern patterns = 1;
 }
 
+message ListConstructorArmPattern {
+  repeated ArmPattern patterns = 1;
+}
+
+message RecordConstructorArmPattern {
+   repeated RecordFieldArmPattern fields = 1;
+}
+
+message RecordFieldArmPattern {
+    string name = 1;
+    ArmPattern pattern = 2;
+}
+
+
 message LiteralArmPattern {
   Expr expr = 1;
 }