fix(compiler): Do not add transitive dependencies as imports during C…

…RC consistency check (#830)

compiler/src/typed/env.re

@@ -747,7 +747,6 @@ let check_consistency = ps =>
         switch (crco) {
         | None => ()
         | Some(crc) =>
-          add_import(name);
           let resolved_file_name =
             Module_resolution.resolve_unit(
               ~base_dir=Filename.dirname(ps.ps_filename),

compiler/test/__snapshots__/arrays.0f9e7d37.0.snapshot

@@ -160,5 +160,5 @@ arrays › array_access
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1006
+ ;; custom section \"cmi\", size 244
 )

compiler/test/__snapshots__/arrays.24453e6e.0.snapshot

@@ -69,5 +69,5 @@ arrays › array1_trailing
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1009
+ ;; custom section \"cmi\", size 247
 )

compiler/test/__snapshots__/arrays.28fcc534.0.snapshot

@@ -162,5 +162,5 @@ arrays › array_access4
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1007
+ ;; custom section \"cmi\", size 245
 )

compiler/test/__snapshots__/arrays.4c8c9f91.0.snapshot

@@ -162,5 +162,5 @@ arrays › array_access2
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1007
+ ;; custom section \"cmi\", size 245
 )

compiler/test/__snapshots__/arrays.6eac4e1f.0.snapshot

@@ -162,5 +162,5 @@ arrays › array_access3
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1007
+ ;; custom section \"cmi\", size 245
 )

compiler/test/__snapshots__/arrays.74d79181.0.snapshot

@@ -162,5 +162,5 @@ arrays › array_access5
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1007
+ ;; custom section \"cmi\", size 245
 )

compiler/test/__snapshots__/arrays.9e17b4d1.0.snapshot

@@ -69,5 +69,5 @@ arrays › array3
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/arrays.b85cb7fc.0.snapshot

@@ -69,5 +69,5 @@ arrays › array1_trailing_space
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1015
+ ;; custom section \"cmi\", size 253
 )

compiler/test/__snapshots__/basic_functionality.00cfdb2e.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › binop2.4
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.03de4778.0.snapshot

@@ -28,5 +28,5 @@ basic functionality › neg
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 997
+ ;; custom section \"cmi\", size 235
 )

compiler/test/__snapshots__/basic_functionality.040643b3.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › comp5
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 999
+ ;; custom section \"cmi\", size 237
 )

compiler/test/__snapshots__/basic_functionality.0996c5f7.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › modulo4
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1001
+ ;; custom section \"cmi\", size 239
 )

compiler/test/__snapshots__/basic_functionality.0a230f18.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › land4
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 999
+ ;; custom section \"cmi\", size 237
 )

compiler/test/__snapshots__/basic_functionality.0a2e4afa.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › lxor1
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 999
+ ;; custom section \"cmi\", size 237
 )

compiler/test/__snapshots__/basic_functionality.0c0b170b.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › lor1
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.0c400bde.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › modulo6
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1001
+ ;; custom section \"cmi\", size 239
 )

compiler/test/__snapshots__/basic_functionality.0e812a39.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › precedence1
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1005
+ ;; custom section \"cmi\", size 243
 )

compiler/test/__snapshots__/basic_functionality.0f79ce35.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › comp16
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.10dda088.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › comp3
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 999
+ ;; custom section \"cmi\", size 237
 )

compiler/test/__snapshots__/basic_functionality.125626a9.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › orshadow
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1002
+ ;; custom section \"cmi\", size 240
 )

compiler/test/__snapshots__/basic_functionality.13335202.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › precedence2
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1005
+ ;; custom section \"cmi\", size 243
 )

compiler/test/__snapshots__/basic_functionality.1ad0f349.0.snapshot

@@ -79,5 +79,5 @@ basic functionality › precedence3
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1005
+ ;; custom section \"cmi\", size 243
 )

compiler/test/__snapshots__/basic_functionality.1ae16d82.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › binop4
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.1b68c8db.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › lsl1
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.1bf5759c.0.snapshot

@@ -82,5 +82,5 @@ basic functionality › unsafe_wasm_globals
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1198
+ ;; custom section \"cmi\", size 377
 )

compiler/test/__snapshots__/basic_functionality.1d2ec323.0.snapshot

@@ -154,5 +154,5 @@ basic functionality › comp22
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.1e4b1f39.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › land1
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 999
+ ;; custom section \"cmi\", size 237
 )

compiler/test/__snapshots__/basic_functionality.1f787365.0.snapshot

@@ -48,5 +48,5 @@ basic functionality › orshort2
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1002
+ ;; custom section \"cmi\", size 240
 )

compiler/test/__snapshots__/basic_functionality.240ef39e.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › comp4
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 999
+ ;; custom section \"cmi\", size 237
 )

compiler/test/__snapshots__/basic_functionality.2756b429.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › forty
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 999
+ ;; custom section \"cmi\", size 237
 )

compiler/test/__snapshots__/basic_functionality.28405f1f.0.snapshot

@@ -79,5 +79,5 @@ basic functionality › precedence4
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1005
+ ;; custom section \"cmi\", size 243
 )

compiler/test/__snapshots__/basic_functionality.28bf4c9e.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › binop2
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.2bcc447b.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › assert2
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1001
+ ;; custom section \"cmi\", size 239
 )

compiler/test/__snapshots__/basic_functionality.2d7e34cf.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › and2
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.2f2f8795.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › lsl2
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.2f53324c.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › comp17
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.2f65c8cf.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › fals
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.304ca65f.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › oct_neg
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1001
+ ;; custom section \"cmi\", size 239
 )

compiler/test/__snapshots__/basic_functionality.32a8c452.0.snapshot

@@ -43,5 +43,5 @@ basic functionality › complex2
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1002
+ ;; custom section \"cmi\", size 240
 )

compiler/test/__snapshots__/basic_functionality.34dcfbdd.0.snapshot

@@ -28,5 +28,5 @@ basic functionality › int64_1
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1001
+ ;; custom section \"cmi\", size 239
 )

compiler/test/__snapshots__/basic_functionality.3c2ba165.0.snapshot

@@ -155,5 +155,5 @@ basic functionality › comp20
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.3e5f990b.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › lor3
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.3edefd23.0.snapshot

@@ -43,5 +43,5 @@ basic functionality › decr_3
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.3ffd0bf3.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › orshort1
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1002
+ ;; custom section \"cmi\", size 240
 )

compiler/test/__snapshots__/basic_functionality.448497ab.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › binop5
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.46348f36.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › precedence5
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1005
+ ;; custom section \"cmi\", size 243
 )

compiler/test/__snapshots__/basic_functionality.48db380c.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › if4
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 997
+ ;; custom section \"cmi\", size 235
 )

compiler/test/__snapshots__/basic_functionality.4d6f9417.0.snapshot

@@ -43,5 +43,5 @@ basic functionality › not1
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.52ca8e0e.0.snapshot

@@ -265,5 +265,5 @@ basic functionality › func_shadow
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1004
+ ;; custom section \"cmi\", size 242
 )

compiler/test/__snapshots__/basic_functionality.565dbeda.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › hex_neg
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 1001
+ ;; custom section \"cmi\", size 239
 )

compiler/test/__snapshots__/basic_functionality.5705b20c.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › modulo5
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1001
+ ;; custom section \"cmi\", size 239
 )

compiler/test/__snapshots__/basic_functionality.593b8d63.0.snapshot

@@ -71,5 +71,5 @@ basic functionality › if_one_sided6
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1007
+ ;; custom section \"cmi\", size 245
 )

compiler/test/__snapshots__/basic_functionality.5b56d472.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › and3
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 998
+ ;; custom section \"cmi\", size 236
 )

compiler/test/__snapshots__/basic_functionality.5cd54e52.0.snapshot

@@ -15,5 +15,5 @@ basic functionality › or4
  (func $_start (; has Stack IR ;)
   (nop)
  )
- ;; custom section \"cmi\", size 997
+ ;; custom section \"cmi\", size 235
 )

compiler/test/__snapshots__/basic_functionality.5d973a3e.0.snapshot

@@ -51,5 +51,5 @@ basic functionality › binop6
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1000
+ ;; custom section \"cmi\", size 238
 )

compiler/test/__snapshots__/basic_functionality.61c58118.0.snapshot

@@ -87,5 +87,5 @@ basic functionality › block_no_expression
    (call $_gmain)
   )
  )
- ;; custom section \"cmi\", size 1013
+ ;; custom section \"cmi\", size 251
 )