Open racket-bug-submit opened 12 years ago
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
5.1.3
linux-ubuntu
[anon-submit; danburton.email at gmail dot com]
Originally submitted by Dan Burton on: Fri Jan 20 18:56:01 -0500 2012
When providing a struct defined in typed racket:
And trying to extend that struct in untyped racket:
We encounter the following error: Type Checker: The type of struct:foo cannot be converted to a contract in: struct:foo3
Release:
Environment:
This bug was converted from Gnats bug 12503.
[anon-submit; danburton.email at gmail dot com]