#:type-name alias not provided with struct-out
Open
@capfredf is already working on this.
Since Apr 17, 2021.
- Dominant language
- Racket
- Stars
- 575
- Forks
- 106
- Avg merge
- 2h 1m
- Merged PRs (30d)
- 2
Description
Racket version: 6.4
When using struct-out on a struct with a #:type-name alias, the type alias isn't provided. Example program:
ex.rkt
#lang typed/racket/base
(provide (struct-out foo))
(struct foo ([value : Boolean]) #:type-name Foo)
ex-use.rkt
#lang typed/racket/base
(require "ex.rkt")
(: my-foo Foo)
(define my-foo (foo #t))
This raises Type Checker: parse error in type; type name Foo is unbound in: Foo. Ideally struct-out should export the alias.
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.