From 29beccf975aee52aa7638c5f4226961dd1fc479b 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 b0a84294cc..3e0b2a306c 100644 --- a/compiler/src/typed/env.re +++ b/compiler/src/typed/env.re @@ -760,6 +760,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,