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

Limitations long-term #140

Closed
ShalokShalom opened this issue Aug 28, 2023 · 5 comments
Closed

Limitations long-term #140

ShalokShalom opened this issue Aug 28, 2023 · 5 comments

Comments

@ShalokShalom
Copy link

Hi, and thanks :)

Is this considered to be limited as of now forever, or is it planned, to lift the listed limitations long term?

I assume some are more difficult to tackle than others, do you think it is sensible to open up issues on every one of them?

I would link those issues then, in the section of the README, that currently lists them.

P.S: This is a wonderful package, and I love to use this to compile Julia to lunatic.solutions 😉

Thanks a lot

@brenhinkeller
Copy link
Collaborator

brenhinkeller commented Aug 28, 2023 via email

@ShalokShalom
Copy link
Author

ShalokShalom commented Aug 28, 2023

I consider this worthy of opening several issues to track these limitations.

What is not documented, might as well not exist.
Maybe with a special label?

@ShalokShalom
Copy link
Author

@MasonProtter

Thanks a lot. Could you show me, where this has been solved?

@MasonProtter
Copy link
Collaborator

@ShalokShalom no I just hit the close button and it defaulted to "closed as completed" which is annoying. I just closed the issue because there isn't any issue to track in here, it's a mix of questions, and a incomplete duplicate of #59

It seems the only options are "close as completed" and "Close as not planned" and neither of those are great descriptors, but I'll switch it to "not planned".

For questions and discussion part of the post though, we should open a Discussions section in the repo @tshort, I don't have permissions to do that, would you be able to? It's in the repo-settings.

@MasonProtter MasonProtter closed this as not planned Won't fix, can't repro, duplicate, stale Oct 12, 2023
@tshort
Copy link
Owner

tshort commented Oct 12, 2023

I enabled discussions (I think).

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

No branches or pull requests

4 participants