From 372b614ab673fbf64c726a79e21762c0537a9cda 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 97a98ee31d..e39f634df4 100644 --- a/compiler/src/typed/env.re +++ b/compiler/src/typed/env.re @@ -759,6 +759,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,