add ffi_util package for FFI related util & add `@ffi_util.RawFunct…

…ion` type for capture-free function
moonbitlang · Jan 24, 2025 · 7fd624c · 7fd624c
1 parent ee138fa
commit 7fd624c
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 0 deletions.
diff --git a/ffi_util/ffi_util.mbti b/ffi_util/ffi_util.mbti
@@ -0,0 +1,11 @@
+package moonbitlang/core/ffi_util
+
+// Values
+
+// Types and methods
+pub type RawFunction
+
+// Type aliases
+
+// Traits
+
diff --git a/ffi_util/moon.pkg.json b/ffi_util/moon.pkg.json
@@ -0,0 +1 @@
+{}
diff --git a/ffi_util/raw_function.mbt b/ffi_util/raw_function.mbt
@@ -0,0 +1,4 @@
+/// A compiler builtin type for raw functions, i.e. functions without any capture.
+/// This is useful when passing callbacks to FFI.
+/// Here `T` must be a function type in `RawFunction[T]`
+pub type RawFunction[T]