diff options
Diffstat (limited to 'lib/ocaml_rts/linksem/default_printing.ml')
| -rw-r--r-- | lib/ocaml_rts/linksem/default_printing.ml | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/lib/ocaml_rts/linksem/default_printing.ml b/lib/ocaml_rts/linksem/default_printing.ml deleted file mode 100644 index 4bce7684..00000000 --- a/lib/ocaml_rts/linksem/default_printing.ml +++ /dev/null @@ -1,28 +0,0 @@ -(*Generated by Lem from default_printing.lem.*) -(** [default_printing] module is a small utility module providing default - * printing functions for when ABI-specific functions are not available. - * These functions were constantly being redefined and reused all over the - * place hence their placement in this module. - *) -open Lem_function - -(** [default_os_specific_print] is a default print function for OS specific - * functionality. - *) -(*val default_os_specific_print : forall 'a. 'a -> string*) -let default_os_specific_print:'a ->string= - ((fun y->"*Default OS specific print*")) - -(** [default_proc_specific_print] is a default print function for processor specific - * functionality. - *) -(*val default_proc_specific_print : forall 'a. 'a -> string*) -let default_proc_specific_print:'a ->string= - ((fun y->"*Default processor specific print*")) - -(** [default_user_specific_print] is a default print function for user specific - * functionality. - *) -(*val default_user_specific_print : forall 'a. 'a -> string*) -let default_user_specific_print:'a ->string= - ((fun y->"*Default user specific print*")) |