From a7b1d00035d69dbd6c098be1fa82b916cb896d58 Mon Sep 17 00:00:00 2001 From: Alex Maestas Date: Wed, 10 Aug 2022 18:17:51 +0000 Subject: [PATCH] Infer non-callables as though they're self-evaluating --- basis/stack-checker/stack-checker.factor | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/basis/stack-checker/stack-checker.factor b/basis/stack-checker/stack-checker.factor index 3dc9f198ca..09cdc08b25 100644 --- a/basis/stack-checker/stack-checker.factor +++ b/basis/stack-checker/stack-checker.factor @@ -9,7 +9,9 @@ stack-checker.visitor.dummy ; 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. -- 2.34.1