Release coccinelle-0.2.2-rc1

[bpt/coccinelle.git] / parsing_c / type_c.mli

diff --git a/parsing_c/type_c.mli b/parsing_c/type_c.mli
index dfa6345..5f50f3d 100644 (file)
--- a/parsing_c/type_c.mli
+++ b/parsing_c/type_c.mli
@@ -16,21 +16,21 @@ val remove_typedef: completed_typedef -> removed_typedef
 
 
 (* lookup *)
-val type_field: 
+val type_field:
   string -> (Ast_c.structUnion * Ast_c.structType) -> Ast_c.fullType
 
 (* typing rules *)
-val lub: 
-  finalType option -> finalType option -> Ast_c.exp_info
+val lub:
+  Ast_c.arithOp -> finalType option -> finalType option -> Ast_c.exp_info
 
 (* helpers *)
-val structdef_to_struct_name: 
+val structdef_to_struct_name:
   finalType -> finalType
-val fake_function_type: 
+val fake_function_type:
   finalType option -> Ast_c.argument Ast_c.wrap2 list -> finalType option
 
 (* return normalize types ? *)
-val type_of_function: 
+val type_of_function:
   Ast_c.definition -> finalType
 val type_of_decl:
   Ast_c.declaration -> finalType
@@ -44,9 +44,9 @@ val make_info: Ast_c.exp_type -> Ast_c.exp_info
 
 val noTypeHere: Ast_c.exp_info
 
-val do_with_type: 
+val do_with_type:
   (finalType -> Ast_c.exp_info) -> Ast_c.exp_info -> Ast_c.exp_info
-val get_opt_type: 
+val get_opt_type:
   Ast_c.expression -> finalType option
 
 (* helpers bis *)