Skip to content

Commit

Permalink
fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
phated committed May 9, 2021
1 parent c828c54 commit aea2023
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/test.expected
@@ -1,11 +1,11 @@
(module
(type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
(type $none_=>_none (func))
(global $max_int64 i64 (i64.const 9223372036854775807))
(global $test_float64_bits f64 (f64.const 1.23))
(type $externref_=>_i32 (func (param externref) (result i32)))
(type $externref_i32_i32_=>_i32 (func (param externref i32 i32) (result i32)))
(import "future-wasi" "write" (func $write (param externref i32 i32) (result i32)))
(global $max_int64 i64 (i64.const 9223372036854775807))
(global $test_float64_bits f64 (f64.const 1.23))
(memory $0 1)
(table $table 1 1 funcref)
(elem $elem (i32.const 0) $adder)
Expand Down
2 changes: 2 additions & 0 deletions test/test.ml
Expand Up @@ -134,6 +134,8 @@ let byts, _ = Module.write wasm_mod None

let new_mod = Module.read byts

let _ = Module.set_features new_mod [ Module.Feature.all ]

let _ = Module.validate new_mod

let _ = Module.print new_mod
Expand Down

0 comments on commit aea2023

Please sign in to comment.