Finish static approach in favour of a simpler, more dynamic version.

[virt-mem.git] / extract / codegen / code_generation.ml

diff --git a/extract/codegen/code_generation.ml b/extract/codegen/code_generation.ml
index c5e735f..d76aa4a 100644 (file)
--- a/extract/codegen/code_generation.ml
+++ b/extract/codegen/code_generation.ml
@@ -587,7 +587,7 @@ let generate_followers xs =
       >> in
     strs @ [ str ] in
 
-  (* Finally a publicly exposed follower function. *)
+  (* Finally a publicly exposed follower function for each structure. *)
   let strs =
     let fs =
       List.map (
@@ -597,9 +597,7 @@ let generate_followers xs =
          let body =
            tuple_generate_extract follower_tuple struct_name
              <:patt< f >> <:expr< followers >>
-             <:expr<
-               f load followers AddrMap.empty addr
-             >> in
+             <:expr< f load followers AddrMap.empty addr >> in
 
          <:str_item<
            let $lid:fname$ kernel_version load addr =
@@ -622,7 +620,7 @@ let generate_followers xs =
            (string -> Virt_mem_mmap.addr -> int -> Bitstring.bitstring) ->
            Virt_mem_mmap.addr ->
            (string * int) AddrMap.t
-         >>
+       >>
     ) xs in
 
   concat_str_items strs, concat_sig_items sigs