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

Demonstrating that 10772 is fixed

Browse Source
This commit is contained in:
Jay McCarthy 2011-11-23 10:58:47 -07:00
parent 5bd12bb6f1
commit 9d8d36e568
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/plai/datatype.rkt
View File

@ -57,4 +57,6 @@
(type-case "foo" "bar") =error> "this must be a type defined with define-type"
(type-case + "bar") =error> "this must be a type defined with define-type"
(type-case #f [x () 1]) =error> "this must be a type defined with define-type"
)