Commits

Calascibetta Romain  committed d9a23b4

Change Function to Pointer_function (indeed, Function is not value)

  • Participants
  • Parent commits 08f1fda

Comments (0)

Files changed (2)

   | Int of int
   | Array of int * data_type
   | Pointer of data_type
-  | Function of data_type array * data_type
+  | Pointer_function of data_type array * data_type
 
 type address =
   | Addrspace of int
   | Pointer t               -> string_of_data_type t ^ "*"
   | Array (i, t) ->
     "[" ^ (string_of_int i) ^ " x " ^ (string_of_data_type t) ^ "]"
-  | Function (a, t) ->
+  | Pointer_function (a, t) ->
     (string_of_data_type t) ^ " @" ^ name ^ "("
     ^ (aux (if Array.length a > 0 then (string_of_data_type a.(0)) else "") a
       (Array.length a))
-    ^ ")"
+    ^ ") *"
 
 let string_of_address = function
   | Addrspace i             -> "addr(" ^ (string_of_int i) ^ ")"
   | Int of int
   | Array of int * data_type
   | Pointer of data_type
-  | Function of data_type array * data_type
+  | Pointer_function of data_type array * data_type
 
 type address =
   | Addrspace of int