Implement 64-bit LLVM bindings for sum types

apoch / epoch-language

Home of the Epoch Programming Language Project

Other

72 stars 3 forks source link

Implement 64-bit LLVM bindings for sum types #185

Closed apoch closed 7 years ago

apoch commented 7 years ago

Sum types are a major linguistic component that remains unimplemented at all in 64-bit land.

There should be a number of items involved in considering this task complete:

Compiler updates must be made
EpochLLVM bindings must be brought up to parity with old 32-bit runtime
Unit tests should cover a decent fraction of the use cases of sum types
Self-hosting attempts should not be blocked by sum-type related errors

Blocks: #184

apoch commented 7 years ago

Basic support is stubbed in using a tag struct that holds a 32-bit discriminant and an N-bit-wide payload.

Type decomposition/matching and other stuff remains pending. Test suite is small but viable.

Currently awaiting work on #186 to call this ready to close.

apoch commented 7 years ago

Extremely basic tests are passing now. There will be a lot of cleanup from the hacky first-pass version of this, but it can be tracked as separate minor issues.