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

Infer empty list/map type in other contexts than variable declaration #86

Open
giann opened this issue Sep 16, 2022 · 1 comment
Open

Infer empty list/map type in other contexts than variable declaration #86

giann opened this issue Sep 16, 2022 · 1 comment
Labels
language Issue related to the language
Milestone
0.5.0

Comments

@giann
Copy link
Collaborator

giann commented Sep 16, 2022 

[num] numbers = [];
{str, str} map = {};

fun count([str] list) > num -> list.len();

count([]) == 0;
@giann giann added feature language Issue related to the language labels Sep 16, 2022
@giann giann added this to the 0.2.0 milestone Sep 16, 2022
@giann giann removed the feature label Dec 27, 2022
giann added a commit that referenced this issue Feb 2, 2024
@giann
feat: Infer empty list/map type in variable declaration
246f603 
closes #86
@giann giann closed this as completed in 7a58b55 Feb 2, 2024
@giann
Copy link
Collaborator Author

giann commented Feb 5, 2024 •
edited
Loading

Infer in other contexts:

  • function arguments
  • object properties
  • dot assignment

@giann giann reopened this Feb 5, 2024
@giann giann changed the title Infer empty list/map when possible Infer empty list/map type in other contexts than variable declaration May 14, 2024
@giann giann modified the milestones: 0.4.0, 0.5.0 May 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
language Issue related to the language
Projects
None yet
Milestone
0.5.0
Development

No branches or pull requests
1 participant
@giann