Skip to content

Issues: ermine-language/ermine

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

14 Open 7 Closed
14 Open 7 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

Are IRC channels still on freenode or have they moved to libera?
#25 opened Aug 31, 2021 by cognivore
1
Compiler work metabug
#24 opened Jul 17, 2015 by S11001001
5 of 15 tasks
@ekmett
Revisit data type declarations in the new compiler, to see if we can improve inference for partially annotated data types
#23 opened Jul 17, 2015 by S11001001
@dolio
Save findGlobals name index for resolving names while parsing statements active
#21 opened Feb 19, 2015 by S11001001
@joshcough
:load REPL command staged
#20 opened Feb 18, 2015 by S11001001
1 of 3 tasks
Parse whitespace and comments active lexical syntax of comments
#18 opened Feb 10, 2015 by S11001001
@ekmett
2
ekg cannot be turned on for Windows builds windows
#17 opened Feb 6, 2015 by S11001001
7
Satisfy 'moduleLoader''s State requirement in the REPL staged
#16 opened Jan 20, 2015 by S11001001
@S11001001
Generalize wholeModule's type syntax
#14 opened Jan 20, 2015 by S11001001
Spin off Ermine.Unification.Sharing as a separate package? enhancement question
#7 opened Mar 13, 2014 by ekmett
Getting started
#5 opened Jul 30, 2013 by imeredith
3
Select operators for import compatibility lexical syntax
#3 opened Mar 26, 2013 by S11001001
This may be an issue with the unicode codepage support on Windows: question windows
#2 opened Jan 19, 2013 by ekmett
1
Allow non-constructor term names to start with : compatibility lexical syntax
#1 opened Jan 17, 2013 by S11001001
@ekmett
1
ProTip! no:milestone will show everything without a milestone.