Skip to content

Commit

Permalink
chore(stdlib)!: Remove sum function from the List module (#1300)
Browse files Browse the repository at this point in the history
  • Loading branch information
@phated
phated committed Jun 5, 2022
1 parent 31f480c commit 9101615
Show file tree
Hide file tree
Showing 15 changed files with 65 additions and 121 deletions.
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.24cb9bbf.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_18
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -103,10 +103,10 @@ stdlib › stdlib_equal_18
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.5fe88631.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_16
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -103,10 +103,10 @@ stdlib › stdlib_equal_16
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.648f406e.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_12
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -127,10 +127,10 @@ stdlib › stdlib_equal_12
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.6bf88430.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_15
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -99,10 +99,10 @@ stdlib › stdlib_equal_15
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.6de47be2.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_14
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -99,10 +99,10 @@ stdlib › stdlib_equal_14
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
42 changes: 21 additions & 21 deletions compiler/test/__snapshots__/stdlib.8300ad7c.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,13 @@ stdlib › stdlib_equal_3
(import \"_grainEnv\" \"moduleRuntimeId\" (global $moduleRuntimeId_0 i32))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[]\" (global $[]_1253 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[...]\" (global $[...]_1247 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[]\" (global $[]_1250 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$[...]\" (global $[...]_1244 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"[...]\" (func $[...]_1247 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"[...]\" (func $[...]_1244 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -44,15 +44,15 @@ stdlib › stdlib_equal_3
(local.set $6
(tuple.extract 0
(tuple.make
(call $[...]_1247
(call $[...]_1244
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[...]_1247)
(global.get $[...]_1244)
)
(i32.const 7)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[]_1253)
(global.get $[]_1250)
)
)
(call $decRef_0
Expand All @@ -69,10 +69,10 @@ stdlib › stdlib_equal_3
(local.set $7
(tuple.extract 0
(tuple.make
(call $[...]_1247
(call $[...]_1244
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[...]_1247)
(global.get $[...]_1244)
)
(i32.const 5)
(call $incRef_0
Expand All @@ -94,10 +94,10 @@ stdlib › stdlib_equal_3
(local.set $8
(tuple.extract 0
(tuple.make
(call $[...]_1247
(call $[...]_1244
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[...]_1247)
(global.get $[...]_1244)
)
(i32.const 3)
(call $incRef_0
Expand All @@ -119,15 +119,15 @@ stdlib › stdlib_equal_3
(local.set $9
(tuple.extract 0
(tuple.make
(call $[...]_1247
(call $[...]_1244
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[...]_1247)
(global.get $[...]_1244)
)
(i32.const 7)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[]_1253)
(global.get $[]_1250)
)
)
(call $decRef_0
Expand All @@ -144,10 +144,10 @@ stdlib › stdlib_equal_3
(local.set $10
(tuple.extract 0
(tuple.make
(call $[...]_1247
(call $[...]_1244
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[...]_1247)
(global.get $[...]_1244)
)
(i32.const 5)
(call $incRef_0
Expand All @@ -169,10 +169,10 @@ stdlib › stdlib_equal_3
(local.set $11
(tuple.extract 0
(tuple.make
(call $[...]_1247
(call $[...]_1244
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $[...]_1247)
(global.get $[...]_1244)
)
(i32.const 3)
(call $incRef_0
Expand All @@ -190,10 +190,10 @@ stdlib › stdlib_equal_3
(block $do_backpatches.11
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.91a94037.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_11
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -107,10 +107,10 @@ stdlib › stdlib_equal_11
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.a70e79ca.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_9
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -99,10 +99,10 @@ stdlib › stdlib_equal_9
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.d28dee65.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_10
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -103,10 +103,10 @@ stdlib › stdlib_equal_10
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.d4faa5bf.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_13
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -95,10 +95,10 @@ stdlib › stdlib_equal_13
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
8 changes: 4 additions & 4 deletions compiler/test/__snapshots__/stdlib.e306600a.0.snapshot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ stdlib › stdlib_equal_8
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1245 (mut i32)))
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$==\" (global $==_1242 (mut i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1245 (param i32 i32 i32) (result i32)))
(import \"GRAIN$MODULE$pervasives\" \"==\" (func $==_1242 (param i32 i32 i32) (result i32)))
(global $GRAIN$TABLE_SIZE i32 (i32.const 0))
(elem $elem (global.get $relocBase_0))
(export \"memory\" (memory $0))
Expand Down Expand Up @@ -95,10 +95,10 @@ stdlib › stdlib_equal_8
(block $do_backpatches.5
)
)
(call $==_1245
(call $==_1242
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
(global.get $==_1245)
(global.get $==_1242)
)
(call $incRef_0
(global.get $GRAIN$EXPORT$incRef_0)
Expand Down
Loading

0 comments on commit 9101615

Please sign in to comment.