test visitor functions

shine-coders · Sep 5, 2024 · 76bf5bf · 76bf5bf
1 parent f502d59
commit 76bf5bf
Show file tree

Hide file tree

Showing 6 changed files with 1,153 additions and 9 deletions.
diff --git a/src/builder/types/block_type.gleam b/src/builder/types/block_type.gleam
@@ -0,0 +1,14 @@
+import internal/structure/types.{
+  type BlockType, type TypeIDX, type ValType, FuncTypeBlockType,
+  ValTypeBlockType, VoidBlockType,
+}
+
+pub const void = VoidBlockType
+
+pub fn val_type(vt: ValType) {
+  ValTypeBlockType(vt)
+}
+
+pub fn func_type(idx: TypeIDX) {
+  FuncTypeBlockType(idx)
+}
diff --git a/src/builder/types/rec_type.gleam b/src/builder/types/rec_type.gleam
@@ -1,6 +1,6 @@
 import internal/finger_tree
 import internal/structure/types.{
-  type FieldType, type StructType, type SubType, type ValType,
+  type FieldType, type FuncType, type StructType, type SubType, type ValType,
   ArrayCompositeType, ArrayType, FuncCompositeType, FuncType, RecType,
   StructCompositeType, StructType, SubType,
 }
@@ -9,6 +9,14 @@ pub fn from_sub_types(sub_types: List(SubType)) {
   RecType(sub_types |> finger_tree.from_list)
 }
 
+pub fn from_func_type(func_type: FuncType) {
+  RecType(
+    finger_tree.from_list([
+      SubType(True, finger_tree.new(), FuncCompositeType(func_type)),
+    ]),
+  )
+}
+
 pub fn func_type(parameters: List(ValType), results: List(ValType)) {
   RecType(
     finger_tree.from_list([

diff --git a/src/internal/visitor.gleam b/src/internal/visitor.gleam
@@ -1,3 +1,4 @@
+import gleam/io
 import gleam/list
 import gleam/option.{type Option, None, Some}
 import gleam/result.{map, try}
@@ -46,6 +47,333 @@ import internal/structure/types.{
 pub type VisitorCallback(ctx, element) =
   fn(ctx, element) -> Result(#(ctx, element), String)
 
+pub const empty_visitor = BinaryModuleVisitor(
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+  None,
+)
+
 pub type BinaryModuleVisitor(ctx) {
   BinaryModuleVisitor(
     on_enter_module: Option(VisitorCallback(ctx, BinaryModule)),