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.

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

remove builtin functions for creating types that are redundant with @Type #5207

Closed
andrewrk opened this issue Apr 28, 2020 · 2 comments
Closed
Labels
accepted This proposal is planned. breaking Implementing this issue could cause existing code to no longer compile or have different behavior. proposal This issue suggests modifications. If it also has the "accepted" label then it is planned.
Milestone

Comments

@andrewrk
Copy link
Member

  • @OpaqueType
  • @IntType
  • @Vector (let's consider adding syntax for this one before removing it)
  • anything else?
@andrewrk andrewrk added breaking Implementing this issue could cause existing code to no longer compile or have different behavior. proposal This issue suggests modifications. If it also has the "accepted" label then it is planned. accepted This proposal is planned. stage1 The process of building from source via WebAssembly and the C backend. labels Apr 28, 2020
@andrewrk andrewrk added this to the 0.7.0 milestone Apr 28, 2020
@tadeokondrak
Copy link
Contributor

With #5203, @Frame

This was referenced Aug 31, 2020
@andrewrk andrewrk modified the milestones: 0.7.0, 0.8.0 Oct 9, 2020
@andrewrk andrewrk modified the milestones: 0.8.0, 0.9.0 May 19, 2021
@andrewrk andrewrk modified the milestones: 0.9.0, 0.10.0 Nov 20, 2021
@andrewrk andrewrk modified the milestones: 0.10.0, 0.11.0 Apr 16, 2022
@Vexu Vexu removed the stage1 The process of building from source via WebAssembly and the C backend. label Dec 30, 2022
@andrewrk andrewrk modified the milestones: 0.11.0, 0.12.0 Apr 9, 2023
@tadeokondrak
Copy link
Contributor

tadeokondrak commented Jun 10, 2023

This is still marked as accepted but should probably be rejected/closed - see the more recent accepted proposal #10710

@Vexu Vexu closed this as completed Jun 10, 2023
@andrewrk andrewrk modified the milestones: 0.12.0, 0.11.0 Jun 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
accepted This proposal is planned. breaking Implementing this issue could cause existing code to no longer compile or have different behavior. proposal This issue suggests modifications. If it also has the "accepted" label then it is planned.
Projects
None yet
Development

No branches or pull requests

3 participants