diff options
Diffstat (limited to 'src/boot/util')
| -rw-r--r-- | src/boot/util/common.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml index f33a6ea1..ad784877 100644 --- a/src/boot/util/common.ml +++ b/src/boot/util/common.ml @@ -105,6 +105,7 @@ type ty_param_idx = int type nabi_conv = CONV_rust | CONV_cdecl + | CONV_intrinsic ;; type nabi = { nabi_indirect: bool; @@ -115,6 +116,7 @@ let string_to_conv (a:string) : nabi_conv option = match a with "cdecl" -> Some CONV_cdecl | "rust" -> Some CONV_rust + | "intrinsic" -> Some CONV_intrinsic | _ -> None (* FIXME: remove this when native items go away. *) |