Skip to content

Commit

Permalink
feat(stdlib): Add List.join and Array.join functions (#722)
Browse files Browse the repository at this point in the history
Co-authored-by: Philip Blair <[email protected]>
  • Loading branch information
phated and peblair committed Jun 13, 2021
1 parent 4ff3b9f commit 01a64b6
Show file tree
Hide file tree
Showing 17 changed files with 104 additions and 55 deletions.
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.24cb9bbf.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_18
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1245_==_1246 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1248_==_1249 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -101,11 +101,11 @@ stdlib › stdlib_equal_18
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.323e410a.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_1
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$is\" (global $import_pervasives_1249_is_1250 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$is\" (global $import_pervasives_1252_is_1253 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -121,11 +121,11 @@ stdlib › stdlib_equal_1
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1249_is_1250)
(global.get $import_pervasives_1252_is_1253)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1249_is_1250)
(global.get $import_pervasives_1252_is_1253)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.5fe88631.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_16
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1245_==_1246 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1248_==_1249 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -101,11 +101,11 @@ stdlib › stdlib_equal_16
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.648f406e.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_12
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1253_==_1254 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1256_==_1257 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -149,11 +149,11 @@ stdlib › stdlib_equal_12
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1253_==_1254)
(global.get $import_pervasives_1256_==_1257)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1253_==_1254)
(global.get $import_pervasives_1256_==_1257)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.6bf88430.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_15
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1245_==_1246 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1248_==_1249 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -97,11 +97,11 @@ stdlib › stdlib_equal_15
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.6de47be2.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_14
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1245_==_1246 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1248_==_1249 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -97,11 +97,11 @@ stdlib › stdlib_equal_14
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1245_==_1246)
(global.get $import_pervasives_1248_==_1249)
)
)
)
Expand Down
38 changes: 19 additions & 19 deletions compiler/test/__snapshots__/stdlib.8300ad7c.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ stdlib › stdlib_equal_3
(import \"grainRuntime\" \"relocBase\" (global $import_grainRuntime_0_relocBase_0 i32))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[]\" (global $import_pervasives_1257_[]_1258 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[...]\" (global $import_pervasives_1259_[...]_1260 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1261_==_1262 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[]\" (global $import_pervasives_1260_[]_1261 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[...]\" (global $import_pervasives_1262_[...]_1263 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1264_==_1265 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
(global $global_1 i32 (i32.const 0))
Expand All @@ -38,11 +38,11 @@ stdlib › stdlib_equal_3
(tuple.extract 0
(tuple.make
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
(i32.const 7)
(global.get $import_pervasives_1257_[]_1258)
(global.get $import_pervasives_1260_[]_1261)
(i32.load offset=8
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
)
)
(call $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0
Expand All @@ -56,11 +56,11 @@ stdlib › stdlib_equal_3
(tuple.extract 0
(tuple.make
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
(i32.const 5)
(local.get $0)
(i32.load offset=8
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
)
)
(call $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0
Expand All @@ -74,11 +74,11 @@ stdlib › stdlib_equal_3
(tuple.extract 0
(tuple.make
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
(i32.const 3)
(local.get $1)
(i32.load offset=8
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
)
)
(call $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0
Expand All @@ -92,11 +92,11 @@ stdlib › stdlib_equal_3
(tuple.extract 0
(tuple.make
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
(i32.const 7)
(global.get $import_pervasives_1257_[]_1258)
(global.get $import_pervasives_1260_[]_1261)
(i32.load offset=8
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
)
)
(call $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0
Expand All @@ -110,11 +110,11 @@ stdlib › stdlib_equal_3
(tuple.extract 0
(tuple.make
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
(i32.const 5)
(local.get $3)
(i32.load offset=8
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
)
)
(call $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0
Expand All @@ -128,11 +128,11 @@ stdlib › stdlib_equal_3
(tuple.extract 0
(tuple.make
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
(i32.const 3)
(local.get $4)
(i32.load offset=8
(global.get $import_pervasives_1259_[...]_1260)
(global.get $import_pervasives_1262_[...]_1263)
)
)
(call $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0
Expand All @@ -143,11 +143,11 @@ stdlib › stdlib_equal_3
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1261_==_1262)
(global.get $import_pervasives_1264_==_1265)
(local.get $2)
(local.get $5)
(i32.load offset=8
(global.get $import_pervasives_1261_==_1262)
(global.get $import_pervasives_1264_==_1265)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.91a94037.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_11
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1248_==_1249 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1251_==_1252 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -114,11 +114,11 @@ stdlib › stdlib_equal_11
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1248_==_1249)
(global.get $import_pervasives_1251_==_1252)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1248_==_1249)
(global.get $import_pervasives_1251_==_1252)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.a70e79ca.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_9
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1246_==_1247 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1249_==_1250 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -100,11 +100,11 @@ stdlib › stdlib_equal_9
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1246_==_1247)
(global.get $import_pervasives_1249_==_1250)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1246_==_1247)
(global.get $import_pervasives_1249_==_1250)
)
)
)
Expand Down
6 changes: 3 additions & 3 deletions compiler/test/__snapshots__/stdlib.d28dee65.0.snapshot
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ stdlib › stdlib_equal_10
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRefIgnoreZeros\" (global $import_GRAIN$MODULE$runtime/gc_0_GRAIN$EXPORT$decRefIgnoreZeros_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1247_==_1248 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $import_pervasives_1250_==_1251 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $import_GRAIN$MODULE$runtime/gc_0_malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $import_GRAIN$MODULE$runtime/gc_0_incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRefIgnoreZeros\" (func $import_GRAIN$MODULE$runtime/gc_0_decRefIgnoreZeros_0 (param i32 i32) (result i32)))
Expand Down Expand Up @@ -107,11 +107,11 @@ stdlib › stdlib_equal_10
)
)
(call_indirect (type $i32_i32_i32_=>_i32)
(global.get $import_pervasives_1247_==_1248)
(global.get $import_pervasives_1250_==_1251)
(local.get $1)
(local.get $2)
(i32.load offset=8
(global.get $import_pervasives_1247_==_1248)
(global.get $import_pervasives_1250_==_1251)
)
)
)
Expand Down
Loading

0 comments on commit 01a64b6

Please sign in to comment.