typed: Add unit test for #778.

diff --git a/basis/typed/typed-tests.factor b/basis/typed/typed-tests.factor
index 04714901896ffab78e955c813f94545172191c02..433ac3b5bfe3f16e727a053f9e6b834fbadb0135 100644 (file)
--- 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