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

Issues

Filter by:

Advanced search

Issues (1–25 of 57)

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
#38: Definition forms should not automatically provide their defined identifiers
bug major closed
#27: bindings in type environment should use same type relation
bug minor resolved
#26: allow pattern expanders without ~
enhancement trivial resolved
#53: Implement more type environments
enhancement major resolved
#15: allow "empty" expressions like nil
enhancement major new
#56: Document the ⊢ function/syntax/thing.
bug major resolved
#52: move to github :p
bug major resolved
#47: support other stx parse directives
enhancement minor resolved
#37: should all syntax template positions be quasisyntax?
enhancement major 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
#24: Support multiple ellipses
bug major resolved
#21: Infer variance for recursive algebraic data types
bug major closed
#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
#16: Allow under-constrained function applications
enhancement major resolved
#55: Matching on preexisting syntax properties tends to produce poor error messages
bug major new
#46: support expansion of types into arbitrary syntax
bug major new
#50: Expose syntax-parse/typed-syntax
enhancement minor closed
#48: Document relation order for current-typecheck-relation
enhancement minor closed
#54: add turnstile support for top-level defines
proposal major new
  2. 1
  3. 2
  4. 3