-
Notifications
You must be signed in to change notification settings - Fork 11
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Assume schema rust definition #316
Conversation
add pub
95427e5
to
9ad632f
Compare
tree_inputs/src/schema.rs
Outdated
BoolT, | ||
UnitT, | ||
/// Nested tuple types are not allowed. | ||
TupleT(Vec<Rc<Type>>), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If nested tuples aren't allowed, can we make them unrepresentable, as in:
pub enum BaseType { Int, Bool, Unit }
pub enum Type { Prim(BaseType), Tuple(Vec<BaseType>) }
This way we also get to avoid boxing the tuple elements.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Good idea
closing for now, will open a new PR for this |
No description provided.