[build] taking the .mli into account actually broke the build

Summary: oops_house

Reviewed By: mbouaziz

Differential Revision: D5070159

fbshipit-source-id: ba9232e

infer/src/clang/ctl_parser_types.ml

@@ -46,39 +46,39 @@ let mode_const = "mode"
 
 exception ALParsingException of string
 
-(* Data structures for type parser.
+(** Data structures for type parser.
-   Correspondence with clang types inferred from
+    Correspondence with clang types inferred from
-   StringRef BuiltinType::getName in
+    StringRef BuiltinType::getName in
-   https://clang.llvm.org/doxygen/Type_8cpp_source.html
+    https://clang.llvm.org/doxygen/Type_8cpp_source.html
 *)
 type builtin_kind =
-  | Void (* void *)
+  | Void (** void *)
-  | Bool (* bool *)
+  | Bool (** bool *)
-  | Char_U (* char *)
+  | Char_U (** char *)
-  | UChar  (* unsigned char *)
+  | UChar  (** unsigned char *)
-  | WChar_U (* wchar_t *)
+  | WChar_U (** wchar_t *)
-  | Char16  (* char16_t *)
+  | Char16  (** char16_t *)
-  | Char32  (* char32_t *)
+  | Char32  (** char32_t *)
-  | UShort (* unsigned short *)
+  | UShort (** unsigned short *)
-  | UInt  (* unsigned int *)
+  | UInt  (** unsigned int *)
-  | ULong (* unsigned long *)
+  | ULong (** unsigned long *)
-  | ULongLong (* unsigned long long *)
+  | ULongLong (** unsigned long long *)
-  | Int128 (* __int128 *)
+  | Int128 (** __int128 *)
-  | UInt128 (* unsigned __int128 *)
+  | UInt128 (** unsigned __int128 *)
-  | SChar (* signed char *)
+  | SChar (** signed char *)
-  | Short (* short *)
+  | Short (** short *)
-  | Int (* int *)
+  | Int (** int *)
-  | Long (* long *)
+  | Long (** long *)
-  | LongLong (* long long *)
+  | LongLong (** long long *)
-  | Half (* half of __fp16 *)
+  | Half (** half of __fp16 *)
-  | Float (* float *)
+  | Float (** float *)
-  | Double (* double *)
+  | Double (** double *)
-  | LongDouble (* long double *)
+  | LongDouble (** long double *)
-  | Float128 (* __float128 *)
+  | Float128 (** __float128 *)
-  | NullPtr (* nullptr_t *)
+  | NullPtr (** nullptr_t *)
-  | ObjCId (* id *)
+  | ObjCId (** id *)
-  | ObjCClass (* Class *)
+  | ObjCClass (** Class *)
-  | ObjCSel (* SEL *)
+  | ObjCSel (** SEL *)
 (*  | OCLSampler | OCLEvent | OCLClkEvent | OCLQueue | OCLNDRange
     | OCLReserveID | Dependent | Overload | BoundMember | PseudoObject
     | UnknownAny | BuiltinFn | ARCUnbridgedCast | OMPArraySection *)

infer/src/clang/ctl_parser_types.mli

@@ -27,6 +27,44 @@ val suggestion_const : string
 val severity_const : string
 val mode_const : string
 
-type abs_ctype
+(** Data structures for type parser.
+    Correspondence with clang types inferred from
+    StringRef BuiltinType::getName in
+    https://clang.llvm.org/doxygen/Type_8cpp_source.html
+*)
+type builtin_kind =
+  | Void (** void *)
+  | Bool (** bool *)
+  | Char_U (** char *)
+  | UChar  (** unsigned char *)
+  | WChar_U (** wchar_t *)
+  | Char16  (** char16_t *)
+  | Char32  (** char32_t *)
+  | UShort (** unsigned short *)
+  | UInt  (** unsigned int *)
+  | ULong (** unsigned long *)
+  | ULongLong (** unsigned long long *)
+  | Int128 (** __int128 *)
+  | UInt128 (** unsigned __int128 *)
+  | SChar (** signed char *)
+  | Short (** short *)
+  | Int (** int *)
+  | Long (** long *)
+  | LongLong (** long long *)
+  | Half (** half of __fp16 *)
+  | Float (** float *)
+  | Double (** double *)
+  | LongDouble (** long double *)
+  | Float128 (** __float128 *)
+  | NullPtr (** nullptr_t *)
+  | ObjCId (** id *)
+  | ObjCClass (** Class *)
+  | ObjCSel (** SEL *)
 
-val tmp_c_type_equal : ?name_c_type : string -> Clang_ast_t.c_type -> abs_ctype -> bool
+type abs_ctype =
+  | BuiltIn of builtin_kind
+  | Pointer of abs_ctype
+
+val tmp_c_type_equal : Clang_ast_t.c_type -> abs_ctype -> bool
+
+val abs_ctype_to_string : abs_ctype -> string