stdlib/typestruct.ml stdlib/typestruct.mli @@ -17,7 +17,7 @@ include config/Makefile include stdlib/StdlibModules -CAMLC=boot/ocamlrun boot/ocamlc -nostdlib -I boot +CAMLC=boot/ocamlrun boot/ocamlc -g -nostdlib -I boot CAMLOPT=boot/ocamlrun ./ocamlopt -nostdlib -I stdlib COMPFLAGS=-warn-error A $(INCLUDES) LINKFLAGS= Makefile @@ -17,7 +17,7 @@ include config/Makefile include stdlib/StdlibModules -CAMLC=boot/ocamlrun boot/ocamlc -I boot +CAMLC=boot/ocamlrun boot/ocamlc -g -I boot CAMLOPT=boot/ocamlrun ./ocamlopt -I stdlib COMPFLAGS=$(INCLUDES) LINKFLAGS= Makefile.nt @@ -102,5 +102,7 @@ stringLabels.cmo: string.cmi stringLabels.cmi stringLabels.cmx: string.cmx stringLabels.cmi sys.cmo: sys.cmi sys.cmx: sys.cmi +typestruct.cmo: typestruct.cmi +typestruct.cmx: typestruct.cmi weak.cmo: sys.cmi obj.cmi hashtbl.cmi array.cmi weak.cmi weak.cmx: sys.cmx obj.cmx hashtbl.cmx array.cmx weak.cmi stdlib/.depend @@ -34,7 +34,7 @@ OTHERS=array.cmo list.cmo char.cmo string.cmo sys.cmo \ arg.cmo printexc.cmo gc.cmo \ digest.cmo random.cmo callback.cmo \ camlinternalOO.cmo oo.cmo camlinternalMod.cmo \ - genlex.cmo weak.cmo \ + genlex.cmo weak.cmo typestruct.cmo \ lazy.cmo filename.cmo complex.cmo \ arrayLabels.cmo listLabels.cmo stringLabels.cmo moreLabels.cmo stdLabels.cmo stdlib/Makefile @@ -45,4 +45,5 @@ STDLIB_MODULES=\ string \ stringLabels \ sys \ + typestruct \ weak stdlib/StdlibModules @@ -57,3 +57,12 @@ external float_of_bits : int64 -> float = "caml_int64_float_of_bits" type t = int64 let compare (x: t) (y: t) = Pervasives.compare x y + +let modulo = rem + +let rec pow a n = + if n = zero then one + else if n = one then a + else + let b = pow a (shift_right n 1) in + mul b (if (logand n one) = zero then b else mul b a) stdlib/int64.ml @@ -177,6 +177,12 @@ val compare: t -> t -> int allows the module [Int64] to be passed as argument to the functors {!Set.Make} and {!Map.Make}. *) +val modulo : int64 -> int64 -> int64 +(** Alias for [Int64.rem] *) + +val pow : int64 -> int64 -> int64 +(** [Int64.pow a n] calculates [a] raised to the power of [n] *) + (**/**) (** {6 Deprecated functions} *) stdlib/int64.mli @@ -53,3 +53,12 @@ external of_string: string -> nativeint = "caml_nativeint_of_string" type t = nativeint let compare (x: t) (y: t) = Pervasives.compare x y + +let modulo = rem + +let rec pow a n = + if n = zero then one + else if n = one then a + else + let b = pow a (shift_right n 1) in + mul b (if (logand n one) = zero then b else mul b a) stdlib/nativeint.ml @@ -172,6 +172,12 @@ val compare: t -> t -> int allows the module [Nativeint] to be passed as argument to the functors {!Set.Make} and {!Map.Make}. *) +val modulo : nativeint -> nativeint -> nativeint +(** Alias for [Nativeint.rem] *) + +val pow : nativeint -> nativeint -> nativeint +(** [Nativeint.pow a n] calculates [a] raised to the power of [n] *) + (**/**) (** {6 Deprecated functions} *) stdlib/nativeint.mli @@ -52,6 +52,11 @@ external time : unit -> float = "caml_sys_time" (** Return the processor time, in seconds, used by the program since the beginning of execution. *) +val time_f : ('a -> 'b) -> 'a -> (float * 'b) +(** [time_f f a] evaluates [f a] and returns what it returns + with the processor time difference before and after its + execution. *) + external chdir : string -> unit = "caml_sys_chdir" (** Change the current working directory of the process. *) stdlib/sys.mli stdlib/types.ml 6ec672465545a457b5beff480616f18ae7a7d6e5 Eric Norige thelema314@gmail.com http://github.com/thelema/ocaml-community/commit/f0cb7210d5d7ca36f7655a770794ed6404d8a481 f0cb7210d5d7ca36f7655a770794ed6404d8a481 2008-02-12T13:50:15-08:00 2008-02-12T13:50:15-08:00 * types.ml fixes, new code in int64, nativeint, sys 68c948691e7a75f16ba0a425c1a8138d9628ab20 Eric Norige thelema314@gmail.com