Use implicit parameters in find_table function

Author: brendanzab

formats/opentype.fathom

@@ -88,15 +88,15 @@ def table_directory (file_start : Pos) = {
             fun (table_id : Repr tag) =>
             fun (table_format : Format) => {
                 // TODO: let formats
-                table_record <- unwrap (Repr table_record) (find_table _ table_records table_id),
+                table_record <- unwrap (Repr table_record) (find_table table_records table_id),
                 link <- link_table file_start table_record table_format,
             };
 
         let required_table_with_len =
             fun (table_id : Repr tag) =>
             fun (table_format : (U32 -> Format)) => {
                 // TODO: let formats
-                table_record <- unwrap (Repr table_record) (find_table _ table_records table_id),
+                table_record <- unwrap (Repr table_record) (find_table table_records table_id),
                 link <- link_table file_start table_record (table_format table_record.length),
             };
 
@@ -105,7 +105,7 @@ def table_directory (file_start : Pos) = {
             fun (table_format : Format) =>
                 option_fold (Repr table_record) Format {}
                     (fun record => link_table file_start record table_format)
-                    (find_table _ table_records table_id);
+                    (find_table table_records table_id);
 
         {
             // Required Tables
@@ -291,7 +291,7 @@ def table_record = {
 
 /// Find a table record using the given `table_id`.
 def find_table =
-    fun (num_tables : U16) =>
+    fun (@num_tables : U16) =>
     fun (table_records : Array16 num_tables (Repr table_record)) =>
     fun (table_id : Repr tag) =>
         // TODO: accelerate using binary search

formats/opentype.snap

@@ -6,7 +6,7 @@ def table_record : Format = {
     offset <- u32be,
     length <- u32be,
 };
-def find_table : fun (num_tables : U16) -> Array16 num_tables {
+def find_table : fun (@num_tables : U16) -> Array16 num_tables {
     table_id : U32,
     checksum : U32,
     offset : U32,
@@ -17,7 +17,7 @@ def find_table : fun (num_tables : U16) -> Array16 num_tables {
     offset : U32,
     length : U32,
 } =
-fun num_tables table_records table_id => array16_find num_tables (Repr table_record) (fun table_record => table_record.table_id == table_id) table_records;
+fun @num_tables table_records table_id => array16_find num_tables (Repr table_record) (fun table_record => table_record.table_id == table_id) table_records;
 def link_table : Pos -> {
     table_id : U32,
     checksum : U32,
@@ -1037,16 +1037,16 @@ def table_directory : Pos -> Format = fun file_start => {
     table_records <- array16 num_tables table_record,
     table_links <- let required_table : U32 -> Format -> Format =
     fun table_id table_format => {
-        table_record <- unwrap (Repr table_record) (find_table num_tables table_records table_id),
+        table_record <- unwrap (Repr table_record) (find_table @num_tables table_records table_id),
         link <- link_table file_start table_record table_format,
     };
     let required_table_with_len : U32 -> (U32 -> Format) -> Format =
     fun table_id table_format => {
-        table_record <- unwrap (Repr table_record) (find_table num_tables table_records table_id),
+        table_record <- unwrap (Repr table_record) (find_table @num_tables table_records table_id),
         link <- link_table file_start table_record (table_format table_record.length),
     };
     let optional_table : U32 -> Format -> Format =
-    fun table_id table_format => option_fold (Repr table_record) Format () (fun record => link_table file_start record table_format) (find_table num_tables table_records table_id);
+    fun table_id table_format => option_fold (Repr table_record) Format () (fun record => link_table file_start record table_format) (find_table @num_tables table_records table_id);
     {
         cmap <- required_table "cmap" cmap_table,
         head <- required_table "head" head_table,