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

compare (lowercase) has a bit of a special meaning in OCaml, renaming the Compare module to Compare_types for now to avoid potential confusion (?)

Browse Source
This commit is contained in:
Suzanne Dupéron 2020-06-24 20:23:36 +01:00
parent e319e2d2cd
commit 0dc4315359
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
src/passes/09-typing/08-typer-new/compare.ml → src/passes/09-typing/08-typer-new/compare_types.ml
View File

2
src/passes/09-typing/08-typer-new/typer.ml
View File

@ -14,7 +14,7 @@ module Map = RedBlackTrees.PolyMap
open Todo_use_fold_generator open Todo_use_fold_generator
let assert_type_expression_eq ((tv',tv):O.type_expression * O.type_expression) : (unit,typer_error) result = 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 Extract pairs of (name,type) in the declaration and add it to the environment