From 0b7a84e9491c9adacc22b7d188e4d2ad7490b5f0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Tue, 5 Nov 2019 21:51:30 +0000 Subject: [PATCH] Fixed qwerty typo + small cleanup --- src/passes/4-typer-new/solver.ml | 2 +- src/passes/4-typer-old/typer.ml | 6 +----- src/passes/4-typer-old/typer.mli | 6 +----- 3 files changed, 3 insertions(+), 11 deletions(-) diff --git a/src/passes/4-typer-new/solver.ml b/src/passes/4-typer-new/solver.ml index 6f9100d2a..f134ddf6e 100644 --- a/src/passes/4-typer-new/solver.ml +++ b/src/passes/4-typer-new/solver.ml @@ -1070,7 +1070,7 @@ let initial_state : state = (* { inferred for all bindings and expressions, etc. Also, we should check at these places that we indeed do not need the - state any further. Suwanne *) + state any further. Suzanne *) let discard_state (_ : state) = () (* let replace_var_in_state = fun (v : type_variable) (state : state) -> *) diff --git a/src/passes/4-typer-old/typer.ml b/src/passes/4-typer-old/typer.ml index c21943e5e..8abdca6db 100644 --- a/src/passes/4-typer-old/typer.ml +++ b/src/passes/4-typer-old/typer.ml @@ -8,11 +8,7 @@ module SMap = O.SMap module Environment = O.Environment -module Solver = Typer_new.Solver (* struct - type state = Placeholder_for_state_of_new_typer - let discard_state (_ : state) = () - let initial_state = Placeholder_for_state_of_new_typer -end *) +module Solver = Typer_new.Solver type environment = Environment.t diff --git a/src/passes/4-typer-old/typer.mli b/src/passes/4-typer-old/typer.mli index 315d38c84..361ffa612 100644 --- a/src/passes/4-typer-old/typer.mli +++ b/src/passes/4-typer-old/typer.mli @@ -6,11 +6,7 @@ module O = Ast_typed module SMap = O.SMap module Environment = O.Environment -module Solver : module type of Typer_new.Solver (* sig - type state = Placeholder_for_state_of_new_typer - val discard_state : state -> unit - val initial_state : state -end *) +module Solver : module type of Typer_new.Solver type environment = Environment.t