@@ -11,20 +11,20 @@ provides › provide12
1111 (import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$malloc\" (global $GRAIN$EXPORT$malloc_0 (mut i32)))
1212 (import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $GRAIN$EXPORT$incRef_0 (mut i32)))
1313 (import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $GRAIN$EXPORT$decRef_0 (mut i32)))
14- (import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$print\" (global $print_1161 (mut i32)))
15- (import \"GRAIN$MODULE$providedType\" \"GRAIN$EXPORT$apply\" (global $apply_1159 (mut i32)))
14+ (import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$print\" (global $print_1199 (mut i32)))
15+ (import \"GRAIN$MODULE$providedType\" \"GRAIN$EXPORT$apply\" (global $apply_1197 (mut i32)))
1616 (import \"GRAIN$MODULE$runtime/gc\" \"malloc\" (func $malloc_0 (param i32 i32) (result i32)))
1717 (import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $incRef_0 (param i32 i32) (result i32)))
1818 (import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $decRef_0 (param i32 i32) (result i32)))
19- (import \"GRAIN$MODULE$pervasives\" \"print\" (func $print_1161 (param i32 i32) (result i32)))
20- (import \"GRAIN$MODULE$providedType\" \"apply\" (func $apply_1159 (param i32 i32) (result i32)))
19+ (import \"GRAIN$MODULE$pervasives\" \"print\" (func $print_1199 (param i32 i32) (result i32)))
20+ (import \"GRAIN$MODULE$providedType\" \"apply\" (func $apply_1197 (param i32 i32) (result i32)))
2121 (global $GRAIN$TABLE_SIZE i32 (i32.const 1))
22- (elem $elem (global.get $relocBase_0) $lam_lambda_1160 )
22+ (elem $elem (global.get $relocBase_0) $lam_lambda_1198 )
2323 (export \"memory\" (memory $0))
2424 (export \"_gmain\" (func $_gmain))
2525 (export \"_start\" (func $_start))
2626 (export \"GRAIN$TABLE_SIZE\" (global $GRAIN$TABLE_SIZE))
27- (func $lam_lambda_1160 (param $0 i32) (param $1 i32) (result i32)
27+ (func $lam_lambda_1198 (param $0 i32) (param $1 i32) (result i32)
2828 (local $2 i32)
2929 (local $3 i32)
3030 (local $4 i32)
@@ -74,10 +74,10 @@ provides › provide12
7474 )
7575 )
7676 )
77- (return_call $print_1161
77+ (return_call $print_1199
7878 (call $incRef_0
7979 (global.get $GRAIN$EXPORT$incRef_0)
80- (global.get $print_1161 )
80+ (global.get $print_1199 )
8181 )
8282 (local.get $8)
8383 )
@@ -129,10 +129,10 @@ provides › provide12
129129 )
130130 )
131131 )
132- (return_call $apply_1159
132+ (return_call $apply_1197
133133 (call $incRef_0
134134 (global.get $GRAIN$EXPORT$incRef_0)
135- (global.get $apply_1159 )
135+ (global.get $apply_1197 )
136136 )
137137 (local.get $6)
138138 )
0 commit comments