350a8bb74e
* PR #250: https://github.com/racket/typed-racket/pull/250 * Error message conventions: http://docs.racket-lang.org/reference/exns.html?q=raise-arg#%28part._err-msg-conventions%29
15 lines
399 B
Racket
15 lines
399 B
Racket
#;
|
||
(exn-pred #rx"wrong number of arguments to structure type constructor")
|
||
#lang typed/racket
|
||
|
||
;; Test for PR 13209
|
||
;;
|
||
;; The use of `node` at the end has the wrong number of
|
||
;; type arguments. This should not raise an internal error.
|
||
|
||
(struct: (α) leaf ({value : α}))
|
||
(struct: (α) node ({left : [Tree α]} {right : [Tree α]}))
|
||
|
||
(define-type (Tree α) (mu Tree (U (leaf α) (node Tree Tree))))
|
||
|