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

Missing type semantics #45

Open
mhagmajer opened this issue Jun 4, 2020 · 0 comments
Open

Missing type semantics #45

mhagmajer opened this issue Jun 4, 2020 · 0 comments
Labels
AskVM ./src/askvm/** bug Something isn't working P1 size: 16h (medium-large) tasks for approx. 16 hours type:types related to types or type checking
Milestone
(old) v1.3

Comments

@mhagmajer
Copy link
Collaborator 

ask: int { 3.14 }

should fail with error message describing type assertion problem
@mhagmajer mhagmajer added the bug Something isn't working label Jun 4, 2020
@mhagmajer mhagmajer added this to the v1.2 milestone Jun 4, 2020
@mhagmajer mhagmajer assigned mhagmajer and unassigned mhagmajer Jun 4, 2020
@mhagmajer mhagmajer modified the milestones: v1.2, v1.3 Jun 21, 2020
@czerwinskilukasz1 czerwinskilukasz1 added AskVM ./src/askvm/** type:types related to types or type checking size: 32h (large) tasks for approx. 32 hours labels Jun 27, 2020
@mhagmajer mhagmajer added size: 16h (medium-large) tasks for approx. 16 hours and removed size: 32h (large) tasks for approx. 32 hours labels Jul 1, 2020
This was referenced Jul 1, 2020
Open
Open
Open
Open
Open
This was referenced Jul 8, 2020
Open
Open
Closed
@pkarw pkarw mentioned this issue Apr 16, 2021
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
AskVM ./src/askvm/** bug Something isn't working P1 size: 16h (medium-large) tasks for approx. 16 hours type:types related to types or type checking
Projects
None yet
Milestone
(old) v1.3
Development

No branches or pull requests
2 participants
@mhagmajer @czerwinskilukasz1