Summary
Stack effect inference implementation
Meta-data
Words
Generic words
Ordinary words
Files
Stack effect inference implementation
Meta-data
| Authors: | Slava Pestov |
Words
Generic words
| Word | Stack effect |
 apply-object | ( obj -- ) |
Ordinary words
| Word | Stack effect |
 (infer) | ( quot -- effect ) |
| ?quotation-effect | ( in -- effect/f ) |
| apply-word/effect | ( word effect -- ) |
| check->r | ( -- ) |
| consume-d | ( n -- seq ) |
| consume-r | ( n -- seq ) |
| consume/produce | ( ..a effect quot: ( ..a inputs outputs -- ..b ) -- ..b ) |
| declare-effect-d | ( word effect variables branches n -- ) |
| declare-input-effects | ( word -- ) |
| end-infer | ( -- ) |
| ensure-d | ( n -- values ) |
| infer->r | ( n -- ) |
| infer-literal-quot | ( literal -- ) |
| infer-quot | ( quot rstate -- ) |
| infer-quot-here | ( quot -- ) |
| infer-r> | ( n -- ) |
| introduce-values | ( values -- ) |
| literals-available? | ( n -- literals ? ) |
| make-values | ( n -- values ) |
| output-d | ( values -- ) |
| output-r | ( seq -- ) |
| peek-d | ( -- obj ) |
| pop-d | ( -- obj ) |
| pop-literal | ( -- rstate obj ) |
| pop-r | ( -- obj ) |
| produce-d | ( n -- values ) |
| push-d | ( obj -- ) |
| push-literal | ( obj -- ) |
| push-r | ( obj -- ) |
| required-stack-effect | ( word -- effect ) |
| shorten-by | ( n seq -- ) |
| shorten-d | ( n -- ) |
| terminate | ( -- ) |
| time-bomb | ( obj generic -- ) |
| time-bomb-quot | ( obj generic -- quot ) |
| update-inner-d | ( new -- ) |
| with-infer | ( quot -- effect visitor ) |
Files