-
Notifications
You must be signed in to change notification settings - Fork 532
Grammar: types #433
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
Grammar: types #433
Conversation
I was thinking it might be a good idea to split the types chapter into multiple subchapters. If you want, I can do that after this is done. |
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.
Thanks for this. I don't think that Type and TypeNoBounds are quite correct, everything else looks good.
src/types.md
Outdated
> _TupleType_ :\ | ||
> `(` `)`\ | ||
> | `(` [_Type_] `,` `)`\ | ||
> | `(` [_Type_] ( `,` [_Type_] ) <sup>+</sup> `,`<sup>?</sup> `)` |
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.
These two could be combined as (
( Type ,
) + Type ? )
src/types.md
Outdated
<!-- | ||
What else should be said here? | ||
The only documentation I am aware of is https://rust-lang-nursery.github.io/rustc-guide/type-inference.html | ||
Should there be a broader discussion of type inference somewhere? |
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.
Yes, eventually.
Thanks again! |
No description provided.