From 83bc094a990e4d9afd57798852782ae7c37b08ca Mon Sep 17 00:00:00 2001 From: Alex Snezhko Date: Fri, 19 May 2023 12:58:33 -0400 Subject: [PATCH] reference CRC issue --- compiler/src/typed/env.re | 2 ++ 1 file changed, 2 insertions(+) diff --git a/compiler/src/typed/env.re b/compiler/src/typed/env.re index 02e661b3be..5e1adfa748 100644 --- a/compiler/src/typed/env.re +++ b/compiler/src/typed/env.re @@ -750,6 +750,8 @@ let check_consistency = ps => ); Consistbl.check( crc_units, + // This is a workaround; should address + // TODO(#1843): Investigate CRC behavior Filepath.String.chop_suffix(resolved_file_name, ".gr"), crc, ps.ps_filename,