suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improve TR test case

Browse Source 
original commit: 75f0c88feb1586adb445e892f44a19b97bfe4293
This commit is contained in:
Asumu Takikawa 2013-06-07 15:08:35 -04:00
parent 8d9464940b
commit 88c2fecdf7
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/tests/typed-racket/fail/pr13209.rkt
View File

@ -1,7 +1,12 @@
#;
(exn-pred exn:fail:syntax?)
(exn-pred #rx"arguments for 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 α]}))