Add type members to OrcO type system

orc-lang / orc

Orc programming language implementation

https://orc.csres.utexas.edu/

BSD 3-Clause "New" or "Revised" License

40 stars 3 forks source link

Open arthurp opened 7 years ago

arthurp commented 7 years ago

Add support for type members to OrcO classes. This could be implemented in useful phases:

[ ] Non-path-dependent members which are simply based on the static type of the object on which they were selected.
[ ] Path-dependent type members.

The second step is the one which enables an encoding of ML style modules as objects.