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

Type System infiere un tipo más grande #223

Open
PalumboN opened this issue Mar 11, 2024 · 0 comments
Open

Type System infiere un tipo más grande #223

PalumboN opened this issue Mar 11, 2024 · 0 comments
Labels
bug Something isn't working component: type-system Wollok Type System

Comments

@PalumboN
Copy link
Contributor

Tengo este programa con una referencia al wko console
image

Sin embargo infiere un tipo unión, supongo que porque ambos entienden ese mensaje.
@PalumboN PalumboN added bug Something isn't working component: type-system Wollok Type System labels Mar 11, 2024
@fdodino fdodino changed the title Type System infiere in typo más grande Type System infiere un tipo más grande Apr 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working component: type-system Wollok Type System
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@PalumboN