diff options
author | Mark Shinwell <mshinwell@gmail.com> | 2019-04-01 17:18:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-01 17:18:47 +0100 |
commit | 72ea849d2a16de0abb42afd85c014cb136822e1f (patch) | |
tree | 9178fb72e0d692f0dd0a680ce4da4e60dae0be3b /utils/int_replace_polymorphic_compare.mli | |
parent | 36d299b4aaf7f2d317fbfa148d7f94e720c80730 (diff) | |
download | ocaml-72ea849d2a16de0abb42afd85c014cb136822e1f.tar.gz |
Move some middle-end files around (#2281)
* Various file moves in the middle end: this is the first stage of improving separation between the middle end and backend.
* Creation of file_formats/ directory (with associated file moves) to hold the definitions of compilation artifact formats.
* Creation of lambda/ directory (with associated file moves) to hold Lambda language definition files, transformation passes and construction passes from Typedtree.
* Disable (hopefully temporarily) dynlink, debugger and ocamldoc for the dune build.
Diffstat (limited to 'utils/int_replace_polymorphic_compare.mli')
-rw-r--r-- | utils/int_replace_polymorphic_compare.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/utils/int_replace_polymorphic_compare.mli b/utils/int_replace_polymorphic_compare.mli new file mode 100644 index 0000000000..689e741b66 --- /dev/null +++ b/utils/int_replace_polymorphic_compare.mli @@ -0,0 +1,8 @@ +val ( = ) : int -> int -> bool +val ( <> ) : int -> int -> bool +val ( < ) : int -> int -> bool +val ( > ) : int -> int -> bool +val ( <= ) : int -> int -> bool +val ( >= ) : int -> int -> bool + +val compare : int -> int -> int |