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

Relax case restriction #913

Closed
rahulmutt opened this issue Dec 9, 2018 · 5 comments
Closed

Relax case restriction #913

rahulmutt opened this issue Dec 9, 2018 · 5 comments
Labels

Comments

@rahulmutt
Copy link
Member

When compiling rdf4h, it was observed that

data family RDF a

class Rdf a

are currently not allowed by Eta. This is to avoid clashes in the generated code. But data families and type classes cannot possibly clash because of how the code generation works. The restriction mainly applies for data constructors and top-level bindings.

@rahulmutt
Copy link
Member Author

rahulmutt commented Dec 10, 2018

Typeclasses, data families, and type families now do not have the case restriction on naming since they don't generate code.

rdf4h successfully compiles on master without need for a patch. A release will be out within a week or so that will contain the fix.

@joshsh
Copy link

joshsh commented Jan 2, 2019

@rahulmutt is there an ETA on this fix becoming available? I do not see a more recent release than 0.8.6b2.

@rahulmutt
Copy link
Member Author

Sorry about that - completely slipped my mind with the holiday season. I'll do a release by January 10th. Feel free to bump this if I forget by then.

@joshsh
Copy link

joshsh commented Jan 3, 2019

OK, thanks for the update. The sooner the better! There is a team here at Uber who literally wants this yesterday.

@rahulmutt
Copy link
Member Author

rahulmutt commented Jan 4, 2019

0.8.6b3 is released with the fix - the windows binary is still being built and it will be done in a couple hours. OS X and Linux are out. Let me know if you face any issues, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants