vms
3ca9734d2e
update
2020-12-28 22:33:58 +03:00
vms
c2f2a23c38
rename signature_type to function_type, fix cargo warnings
2020-05-28 16:05:58 +03:00
Ivan Enderlin
c79669c4d1
feat(interface-types) InterfaceValue::Record now takes a Vec1.
...
It matches the definition of `InterfaceType::Record`.
2020-04-09 12:10:48 +02:00
Ivan Enderlin
0f1ddce3c9
feat(interface-types) Extract InterfaceType and RecordType into its own types module.
2020-04-09 10:48:50 +02:00
Ivan Enderlin
419dcc6415
feat(interface-types) Add the Vec1 type to represent a non-empty vector.
...
`Vec1` is used by `RecordType` to ensure that a record have at least 1
field. Then an `InterfaceValue::Record` is ensured to get at least one
value with the type-checking pass.
2020-04-03 16:13:44 +02:00
Ivan Enderlin
41f9c231c0
feat(interface-types) Introduce RecordType for InterfaceType and Type.
...
The `Type::Record` variant now is defined by `RecordType`. In
addition, `InterfaceType` has a new variant: `Record`, that is also
defined by `RecordType`. Encoders and decoders are updated to consider
`RecordType`, which removes code duplication and simplify code.
2020-03-26 13:35:24 +01:00
Ivan Enderlin
bddb4e90ee
test(interface-types) Test Type::Record.
2020-03-26 11:18:24 +01:00
Ivan Enderlin
d4c01e8ddc
test(interface-types) Fix all tests based on previous commits.
2020-02-26 15:32:14 +01:00
Ivan Enderlin
410d8d4476
feat(interface-types) Re-implement Type.
...
The semantics of “types” have changed since the previous draft. Now, a
type is like a regular WebAssembly type but with Interface Types.
2020-02-24 16:23:31 +01:00
Ivan Enderlin
165a8ca585
feat(interface-types) Forwarded adapters have been removed.
2020-02-24 15:56:11 +01:00
Ivan Enderlin
15ecce7060
test(interface-types) Test roundtrip: AST to binary to AST.
2020-02-17 13:55:59 +01:00
