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

Binop type constructors #12

Closed
1 task done
jparoz opened this issue Feb 25, 2023 · 0 comments
Closed
1 task done

Binop type constructors #12

jparoz opened this issue Feb 25, 2023 · 0 comments
Labels
feature Adds a new feature to the language.
Milestone
0.3.0

Comments

@jparoz
Copy link
Owner

jparoz commented Feb 25, 2023 •
edited
Loading

Allow type constructors which are binops, e.g. type MyList e = e :: MyList e | Nil;

This does not refer to type-level binops (see #11 for those).

  • Make sure that precedence declarations work, e.g. type Complex = Float +++ Float; infix +++ 9;
@jparoz jparoz added the feature Adds a new feature to the language. label Feb 25, 2023
@jparoz jparoz modified the milestones: 0.5.0, 0.6.0 Feb 25, 2023
@jparoz jparoz mentioned this issue Feb 25, 2023
Open
2 tasks
@jparoz jparoz modified the milestones: 0.6.0, 0.3.0 Mar 4, 2023
@jparoz jparoz closed this as completed in 44ea512 Mar 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature Adds a new feature to the language.
Projects
Huck roadmap
Status: Done
Milestone
0.3.0
Development

No branches or pull requests
1 participant
@jparoz