racket / racket/typed-racket

#:type-name alias not provided with struct-out

Open
#322 1 comment 1 reaction 1 assignee View on GitHub

@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

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.