-
Notifications
You must be signed in to change notification settings - Fork 12
Issues: hkuplg/fcore
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Review of module system and separate compilation
enhancement
major
#229
opened Dec 7, 2015 by
zhiyuanshi
Investigating declaring datatypes in a module and how to import them
major
ready
#201
opened Aug 22, 2015 by
bixuanzju
Don't translate all recursive definitions to LetRec
enhancement
minor
#161
opened Apr 4, 2015 by
zhiyuanshi
Decouple the adapter of Java compiler server with the logic of testing
enhancement
minor
#160
opened Apr 4, 2015 by
zhiyuanshi
Ask
letrec
to have a syntactic requirement to disallow problematic mutual recursion
enhancement
minor
#110
opened Mar 11, 2015 by
zonyitoo
Need support of
error
to represent unrecoverable logical error
enhancement
minor
#108
opened Mar 11, 2015 by
zonyitoo
Handle conditional expressions with non-identical types
enhancement
minor
#102
opened Mar 10, 2015 by
zhiyuanshi
Typechecker should only accept equality between primitive types
bug
minor
ready
#96
opened Mar 9, 2015 by
zhiyuanshi
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.