Skip to content

Issues: granule-project/granule

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

30 Open 118 Closed
30 Open 118 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

No Linux release for 0.9.5.0
#246 opened May 9, 2024 by rzuckerm
Add CONTRIBUTING.md
#245 opened May 8, 2024 by dorchard
@buggymcbugfix
Some tests fail for granule-interpreter in 0.9.5.0
#241 opened Apr 3, 2024 by andreasabel
@buggymcbugfix
One test for granule-frontend fails in 0.9.5.0
#240 opened Apr 3, 2024 by andreasabel
@jackohughes @buggymcbugfix
1
Unification problem in let
#238 opened Jan 6, 2024 by dorchard
Grammar railroad diagram
#233 opened Dec 22, 2023 by mingodad
2
Deriving push for function types should be possible, but even with a wrapped data type is broken. bug
#232 opened Dec 18, 2023 by dorchard
Session types are broken in CBV mode
#225 opened Aug 14, 2023 by thwfhk
[graded-base] Predicate missing polyshape constraints
#204 opened Feb 27, 2023 by dorchard
Allow only part of a module to be imported enhancement Status: Work In Progress
#194 opened Feb 6, 2023 by dorchard
@buggymcbugfix
1
Pattern matching is not detecting all cases enhancement
#189 opened Nov 1, 2022 by bond15
1
push on arbitrary semirings should not synthesise
#176 opened Dec 13, 2021 by dorchard
@jackohughes
1
Hide Level unless language SecurityLevels is turned on
#172 opened Oct 20, 2021 by dorchard
@vollmerm
Inscrutable error message when using case with security co-effect
#162 opened Feb 12, 2021 by vollmerm
Add syntactic access to underlying sets enhancement Status: On Hold
#152 opened Jul 14, 2020 by GuiltyDolphin
@GuiltyDolphin
4
Applications of an odd/even semiring question
#150 opened Jul 10, 2020 by GuiltyDolphin
Unfriendly error with unspecified coeffect type + you can specify arbitrary vars for types bug
#147 opened Jul 10, 2020 by GuiltyDolphin
Flatten on intervals seems incorrect
#143 opened Mar 13, 2020 by dorchard
@dorchard
Some problem with generalised effects
#133 opened Sep 22, 2019 by dorchard
3
Improve support for lambdas enhancement Status: Proposed A change that has been proposed, but work has not yet commenced
#103 opened May 4, 2019 by GuiltyDolphin
3
Bug with definition of last on Vectors bug
#102 opened Apr 15, 2019 by GuiltyDolphin
1
Kind level promotion of polymorphic data constructors
#99 opened Feb 26, 2019 by buggymcbugfix
1
Look into using library for handling variables
#98 opened Feb 21, 2019 by buggymcbugfix
1
Probable bug with ctxtFromTypedPattern in abs and let cases bug
#97 opened Feb 19, 2019 by dorchard
@dorchard
Enforcing greatest lower and lowest upper bounds enhancement
#91 opened Jan 8, 2019 by buggymcbugfix
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.