From 81ab0267f5ddd97380c4aed147d3c4d2c3463aa8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Wed, 16 Oct 2019 22:19:32 -0400 Subject: [PATCH] cleanup --- scripts/install_build_environment.sh | 2 +- src/passes/4-typer/solver.ml | 16 ---------------- 2 files changed, 1 insertion(+), 17 deletions(-) diff --git a/scripts/install_build_environment.sh b/scripts/install_build_environment.sh index 2c26191e1..958f855b1 100755 --- a/scripts/install_build_environment.sh +++ b/scripts/install_build_environment.sh @@ -64,4 +64,4 @@ else fi fi -opam init -a --bare --disable-sandboxing +opam init -a --bare diff --git a/src/passes/4-typer/solver.ml b/src/passes/4-typer/solver.ml index 4898232d4..37dc296da 100644 --- a/src/passes/4-typer/solver.ml +++ b/src/passes/4-typer/solver.ml @@ -70,22 +70,6 @@ module Wrap = struct in P_constant (csttag, List.map type_expression_to_type_value_copypasted args) - (** TODO *) - let type_declaration : I.declaration -> constraints = fun td -> - match td with - | Declaration_type (name , te) -> - let pattern = type_expression_to_type_value_copypasted te in - [C_equation (P_variable (name) , pattern)] (* TODO: this looks wrong. If this is a type declaration, it should not set any constraints. *) - | Declaration_constant (name, te, _) ->( - match te with - | Some (exp) -> - let pattern = type_expression_to_type_value_copypasted exp in - [C_equation (P_variable (name) , pattern)] (* TODO: this looks wrong. If this is a type declaration, it should not set any constraints. *) - | None -> - (** TODO *) - [] - ) - let failwith_ : unit -> (constraints * O.type_variable) = fun () -> let type_name = Core.fresh_type_variable () in [] , type_name