1 USING: definitions kernel locals.definitions see see.private typed words
2 summary make accessors classes ;
5 PREDICATE: typed-lambda-word < lambda-word "typed-word" word-prop ;
7 M: typed-word definer drop \ TYPED: \ ; ;
8 M: typed-lambda-word definer drop \ TYPED:: \ ; ;
10 M: typed-word definition "typed-def" word-prop ;
11 M: typed-word declarations. "typed-word" word-prop declarations. ;
13 M: input-mismatch-error summary
17 "” expected input value of type " %
18 dup expected-type>> name>> %
20 dup value>> class name>> %
24 M: output-mismatch-error summary
28 "” expected to output value of type " %
29 dup expected-type>> name>> %
31 dup value>> class name>> %