balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed qwerty typo + small cleanup

Browse Source
This commit is contained in:
Suzanne Dupéron 2019-11-05 21:51:30 +00:00
parent 4325ba7ee4
commit 0b7a84e949
3 changed files with 3 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/4-typer-new/solver.ml
View File

@ -1070,7 +1070,7 @@ let initial_state : state = (* {
inferred for all bindings and expressions, etc. inferred for all bindings and expressions, etc.
Also, we should check at these places that we indeed do not need the 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 discard_state (_ : state) = ()
(* let replace_var_in_state = fun (v : type_variable) (state : state) -> *) (* let replace_var_in_state = fun (v : type_variable) (state : state) -> *)

6
src/passes/4-typer-old/typer.ml
View File

@ -8,11 +8,7 @@ module SMap = O.SMap
module Environment = O.Environment module Environment = O.Environment
module Solver = Typer_new.Solver (* struct module Solver = Typer_new.Solver
type state = Placeholder_for_state_of_new_typer
let discard_state (_ : state) = ()
let initial_state = Placeholder_for_state_of_new_typer
end *)
type environment = Environment.t type environment = Environment.t

6
src/passes/4-typer-old/typer.mli
View File

@ -6,11 +6,7 @@ module O = Ast_typed
module SMap = O.SMap module SMap = O.SMap
module Environment = O.Environment module Environment = O.Environment
module Solver : module type of Typer_new.Solver (* sig module Solver : module type of Typer_new.Solver
type state = Placeholder_for_state_of_new_typer
val discard_state : state -> unit
val initial_state : state
end *)
type environment = Environment.t type environment = Environment.t