Make sure named and nameless are isomorphic

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

The conversion between named and nameless should be lossless.

[ ] Add tests for this (it'll need to handle the fact that Boundvar identity will change).
[ ] Make sure all the information in named.Class is stored properly in nameless.
[ ] Check for other losses.