steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

coerce and check output types on typed words; set "input-classes" and "default-output-classes" props on typed words

db4
Joe Groff 2009-09-02 12:13:47 -05:00
parent aeba336601
commit e4158d46fb
1 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
extra/typed/typed.factor
View File

@ -33,7 +33,12 @@ ERROR: output-mismatch-error < type-mismatch-error ;
[ output-mismatch-error ] 2curry ; [ output-mismatch-error ] 2curry ;
: typed-outputs ( quot word types -- quot' ) : typed-outputs ( quot word types -- quot' )
2drop ; {
[ 2drop ]
[ 2nip make-coercer ]
[ 2nip make-specializer ]
[ [ drop ] 2dip output-mismatch-quot ]
} 3cleave '[ @ @ @ _ unless ] ;
! defining typed words ! defining typed words
@ -45,8 +50,12 @@ PREDICATE: typed < word "typed" word-prop ;
[ effect-out-types dup typed-stack-effect? [ typed-outputs ] [ 2drop ] if ] 2bi ; [ effect-out-types dup typed-stack-effect? [ typed-outputs ] [ 2drop ] if ] 2bi ;
: define-typed ( word def effect -- ) : define-typed ( word def effect -- )
[ [ 2drop ] [ typed-def ] [ 2nip ] 3tri define-declared ] {
[ drop "typed" set-word-prop ] 3bi ; [ [ 2drop ] [ typed-def ] [ 2nip ] 3tri define-declared ]
[ nip effect-in-types "input-classes" set-word-prop ]
[ nip effect-out-types "default-output-classes" set-word-prop ]
[ drop "typed" set-word-prop ]
} 3cleave ;
SYNTAX: TYPED: SYNTAX: TYPED:
(:) define-typed ; (:) define-typed ;