diff options
Diffstat (limited to 'lib/checks/type_of.ml')
| -rw-r--r-- | lib/checks/type_of.ml | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/lib/checks/type_of.ml b/lib/checks/type_of.ml index 70ae324..42f9a2d 100644 --- a/lib/checks/type_of.ml +++ b/lib/checks/type_of.ml @@ -20,8 +20,8 @@ module Helper = struct type nonrec t = Get_type.t -> Get_type.t (** Dynamic type is a type unknown during the code. - For example, the equality operator accept either Integer or String, but - we expect that both sides of the equality uses the same type.*) + For example, the equality operator accept either Integer or String, but + we expect that both sides of the equality uses the same type.*) (** Build a new dynamic type *) let t : unit -> t = @@ -35,11 +35,11 @@ module Helper = struct | Some t -> t end - (** Declare an argument for a function. + (** Declare an argument for a function. - - Either we already know the type and we just have to compare. - - Either the type shall constrained by another one - - Or we have a variable number of arguments. *) + - Either we already know the type and we just have to compare. + - Either the type shall constrained by another one + - Or we have a variable number of arguments. *) type argument = | Fixed of Get_type.type_of | Dynamic of DynType.t @@ -143,8 +143,6 @@ module Helper = struct msg :: report end -module TypeBuilder = Compose.Expression (Get_type) - type t' = { result : Get_type.t Lazy.t; pos : S.pos } let arg_of_repr : Get_type.t Lazy.t -> S.pos -> Helper.argument_repr = @@ -360,7 +358,7 @@ module TypedExpression = struct ({ pos }, report) end -module Expression = TypeBuilder.Make (TypedExpression) +module Expression = Compose.TypeBuilder.Make (TypedExpression) module Instruction = struct type t = Report.t list |