Intermediate results from nested polymorphic types expose gensyms
Open
@capfredf is already working on this.
Since Mar 23, 2022.
- Dominant language
- Racket
- Stars
- 575
- Forks
- 106
- Avg merge
- 2h 1m
- Merged PRs (30d)
- 2
Description
Originally discovered via this Stack Overflow question.
Given the following function:
(: first-value (All (A) (-> A (All (B) (-> B A)))))
(define ((first-value a) b)
a)
Evaluating this in the REPL prints the following type:
> (first-value 'foo)
- : (All (g3743) (-> g3743 'foo))
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.