Issues

• doc: further reading

  stchang/macrotypes#115 · Filter by author bennn opened on Aug 22, 2023

• Could this be made available via racket-templates?

  stchang/macrotypes#112 · Filter by author spdegabrielle opened on Nov 9, 2021

• accommodate converting from macrotypes define-type to turnstile version

  stchang/macrotypes#100 · Filter by author stchang opened on Jun 29, 2020

• Feature request: switch from infer to check when given "concrete" infer pattern

  enhancement
  stchang/macrotypes#96 · Filter by author wilbowma opened on Aug 5, 2019
  2

• Improve documentation for type-error form

  docs
  stchang/macrotypes#86 · Filter by author tov opened on Jul 3, 2019
  1

  

• docs for ≻ conclusion wrong

  docs
  stchang/macrotypes#82 · Filter by author stchang opened on Jun 20, 2019

• allow arbitrary number of tyenvs to the left of turnstile

  stchang/macrotypes#63 · Filter by author stchang opened on May 1, 2018

• replace expose in fsub with current-var-assign (or current-tyvar-assign?)

  stchang/macrotypes#62 · Filter by author stchang opened on Apr 2, 2018
  

• define-typed-syntax should error if rule has neither <= input or => conclusion

  stchang/macrotypes#59 · Filter by author stchang opened on Mar 29, 2018

• can't figure out this "bad syntax"

  stchang/macrotypes#58 · Filter by author stchang opened on Mar 29, 2018
  2

• should non-present property error for left-arrow rules?

  stchang/macrotypes#55 · Filter by author stchang opened on Mar 28, 2018

• separate type environment from runtime binding

  enhancement
  stchang/macrotypes#54 · Filter by author stchang opened on Mar 28, 2018

• Cyclical Dependency: define-syntax-category <-> infer

  stchang/macrotypes#48 · Filter by author iitalics opened on Mar 8, 2018
  4

• Type pattern expander in custom syntax class has confusing error

  stchang/macrotypes#7 · Filter by author iitalics opened on Apr 22, 2017

• Improve errors by saving expanded versions within variants of a macro

  stchang/macrotypes#3 · Filter by author AlexKnauth opened on Mar 29, 2017