"method-generic" word-prop "declared-effect" word-prop ;
: method-effect= ( method-effect generic-effect -- ? )
- [ [ in>> length ] bi@ = ]
+ [ [ in>> length ] same? ]
[
over terminated?>>
- [ 2drop t ] [ [ out>> length ] bi@ = ] if
+ [ 2drop t ] [ [ out>> length ] same? ] if
] 2bi and ;
ERROR: bad-method-effect ;