-
Notifications
You must be signed in to change notification settings - Fork 14
Issues: stchang/macrotypes
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
accommodate converting from macrotypes define-type to turnstile version
#100
opened Jun 29, 2020 by
stchang
Feature request: switch from infer to check when given "concrete" infer pattern
enhancement
#96
opened Aug 5, 2019 by
wilbowma
replace
expose
in fsub with current-var-assign
(or current-tyvar-assign
?)
#62
opened Apr 2, 2018 by
stchang
define-typed-syntax
should error if rule has neither <= input or => conclusion
#59
opened Mar 29, 2018 by
stchang
Improve errors by saving expanded versions within variants of a macro
#3
opened Mar 29, 2017 by
AlexKnauth
ProTip!
Mix and match filters to narrow down what you’re looking for.