Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Add Type Ascriptions #58

Closed
jakzale opened this issue Mar 27, 2020 · 1 comment · Fixed by #61
Closed

Add Type Ascriptions #58

jakzale opened this issue Mar 27, 2020 · 1 comment · Fixed by #61
Assignees
@jakzale
Labels
AST

Comments

@jakzale
Copy link
Collaborator

jakzale commented Mar 27, 2020

Similar to #33, but for general type ascriptions in the code, of the form:

M : U

for some expression M and some type U.
@jakzale jakzale self-assigned this Mar 27, 2020
@jakzale jakzale added the AST label Mar 27, 2020
@jakzale
Copy link
Collaborator Author

jakzale commented Mar 30, 2020

Related to #33, as both deal with having universes/types available in the language.

@jakzale jakzale closed this as completed Mar 30, 2020
@jakzale jakzale reopened this Mar 30, 2020
@jakzale jakzale mentioned this issue Mar 30, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jakzale jakzale

Labels
AST
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add type ascriptions jakzale/tiny-lang
1 participant
@jakzale