Skip to content

Commit

Permalink
Stubs for Apron functions
Browse files Browse the repository at this point in the history
  • Loading branch information
keremc committed Oct 1, 2021
1 parent 7723538 commit 55f1de6
Showing 1 changed file with 21 additions and 0 deletions.
21 changes: 21 additions & 0 deletions runtime/stubs.js
Original file line number Diff line number Diff line change
Expand Up @@ -16,3 +16,24 @@ function ml_z_mul_overflows(x) {
// This is necessary until https://github.com/janestreet/zarith_stubs_js/pull/8 is fixed.
return true;
}

//Provides: camlidl_apron_init
function camlidl_apron_init() { return 0; }

//Provides: camlidl_apron_set_var_operations
function camlidl_apron_set_var_operations() { return 0; }

//Provides: camlidl_oct_oct_manager_alloc
function camlidl_oct_oct_manager_alloc() { return 0; }

//Provides: camlidl_var_ap_var_of_string
function camlidl_var_ap_var_of_string() { return 0; }

//Provides: camlidl_environment_ap_environment_make
function camlidl_environment_ap_environment_make() { return 0; }

//Provides: camlidl_abstract1_ap_abstract1_top
function camlidl_abstract1_ap_abstract1_top() { return 0; }

//Provides: camlidl_var_ap_var_hash
function camlidl_var_ap_var_hash() { return 0; }

0 comments on commit 55f1de6

Please sign in to comment.