Add more type exceptions.

dboris · Sep 20, 2024 · e70fd55 · e70fd55
1 parent a4df8e8
commit e70fd55
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/generate/dune b/generate/dune
@@ -1,4 +1,5 @@
 (executable
  (name main)
  (public_name generate-ml)
+;  (flags :standard -ccopt "-framework UIKit")
  (libraries camlkit-base.runtime lib))
diff --git a/lib/util.ml b/lib/util.ml
@@ -43,7 +43,8 @@ let apply_type_exceptions ?(allow_underscore = true) = function
 | "OpaqueEventRef" | "OpaqueMenuRef" | "TISInputSource" | "WorkspaceKVOData_t"
 | "OpaqueHIPresentationInstanceRef" | "OpaqueATSUStyle" | "AXUIElement"
 | "SLMPopUpMenuContext_t" | "RXRecognizer" | "GSEvent" | "GSKeyboard"
-| "IOHIDEvent" | "UIWebTouchEvent" ->
+| "IOHIDEvent" | "UIWebTouchEvent"
+| "sqlite3" | "sqlite3_stmt" | "sqlite3_value" ->
   "void"
 | "va_list_tag" ->
   "(ptr void)"
@@ -55,7 +56,8 @@ let apply_type_exceptions ?(allow_underscore = true) = function
 | "UITableConstantsBackgroundProperties" | "UIPeripheralAnimationGeometry"
 | "ITColor" | "mach_right_send" | "PUSimpleIndexPath" | "PXSimpleIndexPath"
 | "PHDisplayVelocity" | "PXAssetMediaTypeCount" | "PXAssetBadgeInfo"
-| "PUGridCoordinates" | "PUDisplayVelocity" | "CTGlyphStorage" as ty ->
+| "PUGridCoordinates" | "PUDisplayVelocity" | "CTGlyphStorage"
+| "MIORange" | "IMFileSize" | "AKQuadrilateral" as ty ->
   raise (Unsupported_type ty)
 | ty ->
   if not allow_underscore && String.contains ty '_' then