From 3b8164da325de7c2e807b6363e24cf26376c6ccf Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Wed, 20 Mar 2013 11:14:09 -0700 Subject: [PATCH] typed: Add unit test for #778. --- basis/typed/typed-tests.factor | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/basis/typed/typed-tests.factor b/basis/typed/typed-tests.factor index 0471490189..433ac3b5bf 100644 --- a/basis/typed/typed-tests.factor +++ b/basis/typed/typed-tests.factor @@ -179,3 +179,7 @@ TYPED: typed-intersection ( x: intersection{ integer bignum } -- ? ) >boolean ; [ t ] [ 5555555555555555555555555555555555555555555555555555 typed-intersection ] unit-test [ 0 typed-intersection ] [ input-mismatch-error? ] must-fail-with + +[ + """IN: test123 USE: typed TYPED: foo ( x -- y ) ;""" eval( -- ) +] [ error>> no-types-specified? ] must-fail-with