Skip to content
This repository has been archived by the owner on Nov 18, 2023. It is now read-only.

Fix subtyping of map #60

Open
ryo33 opened this issue Jan 10, 2023 · 0 comments
Open

Fix subtyping of map #60

ryo33 opened this issue Jan 10, 2023 · 0 comments
Labels
Desk-lang 🐞 bug Something isn't working

Comments

@ryo33
Copy link
Member

ryo33 commented Jan 10, 2023

No description provided.

@ryo33 ryo33 added 🐞 bug Something isn't working Desk-lang labels Jan 10, 2023
@ryo33 ryo33 changed the title Fix subtyping of map type Fix subtyping of map and vec Jan 16, 2023
@ryo33 ryo33 changed the title Fix subtyping of map and vec Fix subtyping of map Jan 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Desk-lang 🐞 bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ryo33