1. Stephen Chang Avatar Stephen Chang
  2. Untitled project
  3. macrotypes

Issues

Filter by:

Advanced search

Issues (1–21 of 21)

Title T P Status Votes Assignee Created Updated Actions
#35: [docs] is there a way for `the-eval` to actually use the typeset code?
task minor closed
#27: bindings in type environment should use same type relation
bug minor resolved
#47: support other stx parse directives
enhancement minor resolved
#25: fix double expansion of type constructor arguments
bug minor new
#34: add continuous integration testing?
task minor resolved
#14: reimplement `provide-type` to use new preservable syntax-properties
enhancement minor new
#57: [Question] What is the state of subtyping in mlish?
enhancement minor new
#19: implement variable arity polymorphism
enhancement minor closed
#18: merge `match` and `match2`
enhancement minor closed
#13: `match2` exhaustiveness check for nested patterns incomplete
bug minor closed
#50: Expose syntax-parse/typed-syntax
enhancement minor closed
#48: Document relation order for current-typecheck-relation
enhancement minor closed
#42: define-typed-syntax-class form
enhancement minor new
#31: op position in "type-relation" premise should refer directly to parameter
enhancement minor new
#29: `(define-syntax-category type)` should be pre-declared by Turnstile?
bug minor resolved
#30: `define-primop` should be part of Turnstile?
enhancement minor resolved
#28: remove \gg?
proposal minor new
#17: support guards in `match2`
enhancement minor new
#23: support arbitrary number of dashes in define-typed-syntax
enhancement minor closed
#11: Type variables should be distinct from other identifiers?
enhancement minor closed
#8: Matching built-in pair type doesn't work with bi-directional typechecking
bug minor closed