Ivan Enderlin dc87c44d52 fix(interface-types) Fix a git-merge issue.

2020-04-02 12:16:30 +02:00

..

decoders

Merge branch 'master' into feat-interface-types-record-instructions

2020-04-02 12:10:01 +02:00

encoders

feat(interface-types) Encodes/decodes the record.lower instruction.

2020-04-02 12:05:22 +02:00

interpreter

fix(interface-types) Fix a git-merge issue.

2020-04-02 12:16:30 +02:00

ast.rs

feat(interface-types) Introduce RecordType for InterfaceType and Type.

2020-03-26 13:35:24 +01:00

errors.rs

Merge branch 'master' into feat-interface-types-record-instructions

2020-04-02 12:10:01 +02:00

lib.rs

feat(interface-types) Implement the record.lift instruction.

2020-03-31 12:34:32 +02:00

macros.rs

feat(interface-types) Use better errors.

2020-03-10 17:49:35 +01:00