Leonidas-from-XIV · November 11, 2014 15:41
diff --git a/Functortest.ml b/Functortest.ml
 module type I = sig
  type t
  val id: t -> t
 end

 module Integers = struct
  type t = int
  let id x = x
 end

 module F = functor (M: I) -> struct
  type t = M.t
  let id x = M.id x
 end

 (* module F (M: I): I = struct *)
 (*   type t = M.t *)
 (*   let id x = M.id x *)
 (* end *)

 module B = F(Integers)
	module type I = sig
	type t
	val id: t -> t
	end

	module Integers = struct
	type t = int
	let id x = x
	end

	module F = functor (M: I) -> struct
	type t = M.t
	let id x = M.id x
	end

	(* module F (M: I): I = struct *)
	(* type t = M.t *)
	(* let id x = M.id x *)
	(* end *)

	module B = F(Integers)
No results found