From 9d8d36e568edb7ce1b16b75044d57991e966228f Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 23 Nov 2011 10:58:47 -0700 Subject: [PATCH] Demonstrating that 10772 is fixed --- collects/tests/plai/datatype.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/tests/plai/datatype.rkt b/collects/tests/plai/datatype.rkt index 26ae35eb7f..7c66dcf6d5 100644 --- a/collects/tests/plai/datatype.rkt +++ b/collects/tests/plai/datatype.rkt @@ -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" )