From 0dc4315359915674863a88414203c4c841f06247 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Wed, 24 Jun 2020 20:23:36 +0100 Subject: [PATCH] compare (lowercase) has a bit of a special meaning in OCaml, renaming the Compare module to Compare_types for now to avoid potential confusion (?) --- .../09-typing/08-typer-new/{compare.ml => compare_types.ml} | 0 src/passes/09-typing/08-typer-new/typer.ml | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename src/passes/09-typing/08-typer-new/{compare.ml => compare_types.ml} (100%) diff --git a/src/passes/09-typing/08-typer-new/compare.ml b/src/passes/09-typing/08-typer-new/compare_types.ml similarity index 100% rename from src/passes/09-typing/08-typer-new/compare.ml rename to src/passes/09-typing/08-typer-new/compare_types.ml diff --git a/src/passes/09-typing/08-typer-new/typer.ml b/src/passes/09-typing/08-typer-new/typer.ml index 72d986205..2406858a8 100644 --- a/src/passes/09-typing/08-typer-new/typer.ml +++ b/src/passes/09-typing/08-typer-new/typer.ml @@ -14,7 +14,7 @@ module Map = RedBlackTrees.PolyMap open Todo_use_fold_generator let assert_type_expression_eq ((tv',tv):O.type_expression * O.type_expression) : (unit,typer_error) result = - Compare.assert_type_expression_eq (tv' , tv) + Compare_types.assert_type_expression_eq (tv' , tv) (* Extract pairs of (name,type) in the declaration and add it to the environment