21 lines
434 B
Racket
21 lines
434 B
Racket
#;
|
|
(exn-pred #rx"incompatible struct types with the same name")
|
|
#lang racket/load
|
|
|
|
;; Test the error message for subtyping errors on struct types
|
|
;; with the same name
|
|
|
|
(module a typed/racket
|
|
(struct foo ([x : Integer]))
|
|
(define a-foo (foo 3))
|
|
(provide a-foo))
|
|
|
|
(module b typed/racket
|
|
(struct foo ([x : String]))
|
|
(define (f [a-foo : foo]) (foo-x a-foo))
|
|
(provide f))
|
|
|
|
(module c typed/racket
|
|
(require 'a 'b)
|
|
(f a-foo))
|