Skip to content

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.

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

15 Open 37 Closed
15 Open 37 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

doc: further reading
#115 opened Aug 22, 2023 by bennn
Could this be made available via racket-templates?
#112 opened Nov 9, 2021 by spdegabrielle
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
2
Improve documentation for type-error form docs
#86 opened Jul 3, 2019 by tov
@tov
1
docs for ≻ conclusion wrong docs
#82 opened Jun 20, 2019 by stchang
allow arbitrary number of tyenvs to the left of turnstile
#63 opened May 1, 2018 by stchang
replace expose in fsub with current-var-assign (or current-tyvar-assign?)
#62 opened Apr 2, 2018 by stchang
@stchang
define-typed-syntax should error if rule has neither <= input or => conclusion
#59 opened Mar 29, 2018 by stchang
can't figure out this "bad syntax"
#58 opened Mar 29, 2018 by stchang
2
should non-present property error for left-arrow rules?
#55 opened Mar 28, 2018 by stchang
separate type environment from runtime binding enhancement
#54 opened Mar 28, 2018 by stchang
Cyclical Dependency: define-syntax-category <-> infer
#48 opened Mar 8, 2018 by iitalics
4
Type pattern expander in custom syntax class has confusing error
#7 opened Apr 22, 2017 by iitalics
Improve errors by saving expanded versions within variants of a macro
#3 opened Mar 29, 2017 by AlexKnauth
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.