Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Loading…

Extending Typed Racket struct in (untyped) Racket #174

Open
racket-bug-submit opened this Issue · 0 comments

2 participants

@racket-bug-submit
Collaborator
Originally submitted by Dan Burton on: Fri Jan 20 18:56:01 -0500 2012

When providing a struct defined in typed racket:

structures-test.rkt
#lang typed/racket
(define-struct foo ())
(provide (struct-out foo))

And trying to extend that struct in untyped racket:

reader-test.rkt
#lang racket
(require "structures-test.rkt")
(define-struct (bar foo) ())

We encounter the following error:
Type Checker: The type of struct:foo cannot be converted to a contract in: struct:foo3

Release:
5.1.3
Environment:
linux-ubuntu
This bug was converted from Gnats bug 12503.

[anon-submit; danburton.email at gmail dot com]

@samth samth was assigned
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.