Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / SuzanneSoy/type-expander issues and pull requests
#13 - change polymorphic types to type constructors
Pull Request -
State: closed - Opened by capfredf about 3 years ago
- 4 comments
#12 - check tvars are ids before using free-identifier=?
Pull Request -
State: closed - Opened by AlexKnauth almost 6 years ago
- 2 comments
#11 - Install fails on Windows because lang.rkt is a symbol link.
Issue -
State: closed - Opened by yjqww6 over 7 years ago
- 2 comments
#10 - :type with ∀ ... seems to fail
Issue -
State: open - Opened by SuzanneSoy over 7 years ago
Labels: bug
#9 - Check if we can bind type expanders using (let-syntax ([exp (make-type-expander …)]) …) or similar, implement this otherwise
Issue -
State: open - Opened by SuzanneSoy over 8 years ago
#8 - Add a #lang type-expander, and make it handle the #{v : type} syntax-property 'type-label
Issue -
State: open - Opened by SuzanneSoy over 8 years ago
Labels: bug, enhancement
#7 - type-expander + multi-id + recursive type goes into an infinite loop
Issue -
State: open - Opened by SuzanneSoy over 8 years ago
#6 - Add support for `unquote-splicing` and `unsyntax-splicing` in expand-quasiquote
Issue -
State: open - Opened by SuzanneSoy over 8 years ago
Labels: enhancement
#5 - Support for type-expanders in typed sections of untyped programs
Issue -
State: open - Opened by SuzanneSoy over 8 years ago
Labels: bug
#4 - Add support for #lang type-expander/lang
Issue -
State: open - Opened by SuzanneSoy over 8 years ago
Labels: enhancement
#3 - Implement anonymous type expanders with `(Λ (stx) . body)`
Issue -
State: closed - Opened by SuzanneSoy over 8 years ago
- 1 comment
Labels: enhancement, help wanted
#2 - Implement missing typed/racket forms
Issue -
State: open - Opened by SuzanneSoy over 8 years ago
#1 - Fix the implementation of `Let`
Issue -
State: closed - Opened by SuzanneSoy over 8 years ago
Labels: bug, help wanted