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.
+ ! Safe to call from inference transforms.
infer effect>string print ;
-: inputs ( quot -- n ) infer in>> length ;
-
-: outputs ( quot -- n ) infer out>> length ;
+M: callable stack-effect infer ;