IN: stack-checker
: infer ( quot -- effect )
- [ infer-quot-here ] with-infer drop ;
+ dup callable?
+ [ [ infer-quot-here ] with-infer drop ]
+ [ drop ( -- x ) ] if ;
: infer. ( quot -- )
! Safe to call from inference transforms.
infer effect>string print ;
-M: quotation stack-effect infer ;
+M: callable stack-effect infer ;