Skip to content

Issues: wyvernlang/wyvern

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

59 Open 80 Closed
59 Open 80 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Immutable Collections
#387 opened Jul 3, 2020 by FrankC01
Type checking of type members invariance is broken
#374 opened Apr 21, 2020 by potanin
python translation doesn't support nested "let" bindings bug someday
#371 opened Mar 11, 2020 by JonathanAldrich
Effects are not checked for subtyping of DefDeclType
#368 opened Feb 3, 2020 by anlunx
Unable to define a resource type member
#357 opened Oct 23, 2019 by selvasamuel
Fail to check incompatible types of the return values of if and else arms
#351 opened Sep 2, 2019 by sychoo
system.FFI effect doesn't "subsume" other effects bug priority: high
#349 opened Aug 26, 2019 by Darya-
2
Method effect annotations may differ between type and module bug priority: high
#347 opened Aug 22, 2019 by Darya-
1
Support concatenation between Character literals and String literals
#337 opened Jul 10, 2019 by sychoo
Support comparisons between boolean literals using operators like ==, !=
#334 opened Jun 26, 2019 by sychoo
Add syntactic sugar "class" enhancement usability
#328 opened Jun 9, 2019 by sychoo
1
Support Command Line Arguments For Wyvern Interpreter enhancement good first issue
#326 opened Jun 6, 2019 by sychoo
supertype of all tagged types enhancement someday
#324 opened May 19, 2019 by JonathanAldrich
support an effect hierarchy enhancement
#321 opened Apr 24, 2019 by JonathanAldrich
Effect bound for branch is not computed conservatively
#318 opened Apr 23, 2019 by anlunx
1
Quantification lifter can not lift arraylist module
#317 opened Apr 18, 2019 by anlunx
add mechanism for hiding information across files enhancement priority: high usability
#314 opened Apr 4, 2019 by JonathanAldrich
3
Crash on var assignment of parameter with the same name
#313 opened Mar 21, 2019 by potanin
2
Option sugar enhancement usability
#297 opened Feb 23, 2019 by JonathanAldrich
2
functions should be values enhancement good first issue usability
#296 opened Jan 22, 2019 by JonathanAldrich
1
effect annotations on module defs enhancement
#295 opened Jan 17, 2019 by JonathanAldrich
1
compute effects of lambdas bug
#294 opened Jan 17, 2019 by JonathanAldrich
1
Check that a file is consistently annotated with effects enhancement
#293 opened Jan 17, 2019 by JonathanAldrich
better support for multi-word method names enhancement someday
#292 opened Jan 6, 2019 by JonathanAldrich
make DSL locations more deterministic enhancement someday
#291 opened Jan 5, 2019 by JonathanAldrich
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.