From d64d620c001ec1922d97a8a8b3cc73e4065b7c39 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 23 Nov 2011 09:44:29 -0700 Subject: [PATCH] Fixing PR10485 --- collects/tests/plai/datatype-coverage.rkt | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 collects/tests/plai/datatype-coverage.rkt diff --git a/collects/tests/plai/datatype-coverage.rkt b/collects/tests/plai/datatype-coverage.rkt new file mode 100644 index 0000000000..a1abf088da --- /dev/null +++ b/collects/tests/plai/datatype-coverage.rkt @@ -0,0 +1,11 @@ +#lang plai +;; RE: PR10485 +(define-type toy + [airplane (lift number?) (name string?)]) + +(type-case toy (airplane 3412 "the bat!") + [airplane (lift name) (+ lift 13)]) + +;; The body of this function should be the only red in the file +(define (f x) + (+ 1 1)) \ No newline at end of file