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