Skip to content

Issues: Toxaris/pts

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

34 Open 49 Closed
34 Open 49 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

line pragmas interact badly with error messages
#142 opened Mar 9, 2015 by Toxaris
Normalization, eta-conversion and Church-Rosser
#141 opened Mar 2, 2015 by Blaisorblade
6
Don't hardcode keyword list in emacs mode?
#140 opened Feb 10, 2015 by Blaisorblade
Relate handling of bindings to the literature?
#139 opened Feb 10, 2015 by Blaisorblade
Switch to OverloadedStrings for messages
#133 opened Feb 7, 2015 by Blaisorblade
1
Type synonyms in STLC
#131 opened Feb 6, 2015 by Blaisorblade
1
Thesis proposal: implement the ML module system from "F-ing modules"
#130 opened Jan 17, 2015 by Blaisorblade
2
Separate Show/Read for Name from the parser
#120 opened Aug 13, 2014 by Blaisorblade
2
Support transformation of File, not just Term.
#118 opened Aug 10, 2014 by Toxaris
Support transformation of files (not just stdin)
#117 opened Aug 10, 2014 by Toxaris
Specify PTS instances with external DSL
#114 opened Aug 10, 2014 by Toxaris
5
Make freshvarlMap available during type checking
#105 opened Jul 25, 2014 by Toxaris
Implement abstract exports
#104 opened Jul 24, 2014 by Toxaris
4
Implement section syntax or parameterized modules.
#103 opened Jul 23, 2014 by Toxaris
3
Figure out how to integrate modules from different languages
#100 opened Jul 23, 2014 by Blaisorblade
39
If a definition fails, all users trigger errors
#98 opened Jul 22, 2014 by Blaisorblade
1
10
Support postulates.
#95 opened Jul 22, 2014 by Toxaris
1
10
Test whether we detect errors
#94 opened Jul 22, 2014 by Toxaris
1
Improve name representation
#89 opened Jul 16, 2014 by Toxaris
1 of 3 tasks
1
Type inference should be optional
#76 opened Jul 13, 2014 by Toxaris
1
Test cases for type inference
#68 opened Feb 3, 2014 by fehrenbach
@fehrenbach
1
Syntactic sugar for functions whose argument types should be inferred
#66 opened Oct 3, 2013 by fehrenbach
@fehrenbach
Check that any one underscore only represents one type
#65 opened Oct 3, 2013 by fehrenbach
Still report errors in the presence of exceptions
#64 opened Oct 3, 2013 by fehrenbach
Define :test command in .ghci
#63 opened May 12, 2013 by Toxaris
ProTip! Exclude everything labeled bug with -label:bug.