X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=blobdiff_plain;f=basis%2Fstack-checker%2Fstack-checker.factor;h=4eab65f26f9a3fc5557bbc4b13813b1eca171715;hp=09cdc08b256b8ada7355705a70226a3f83b9dca8;hb=83edaae835d9cb16ac469d2c2e3181e3e3e663ac;hpb=a7b1d00035d69dbd6c098be1fa82b916cb896d58

diff --git a/basis/stack-checker/stack-checker.factor b/basis/stack-checker/stack-checker.factor
index 09cdc08b25..4eab65f26f 100644
--- a/basis/stack-checker/stack-checker.factor
+++ b/basis/stack-checker/stack-checker.factor
@@ -1,17 +1,15 @@
 ! Copyright (C) 2004, 2010 Slava Pestov.
 ! See http://factorcode.org/license.txt for BSD license.
-USING: accessors kernel io effects namespaces sequences
-quotations vocabs vocabs.loader generic words
-stack-checker.backend stack-checker.state
-stack-checker.known-words stack-checker.transforms
-stack-checker.errors stack-checker.inlining
-stack-checker.visitor.dummy ;
+USING: accessors classes effects generic io kernel namespaces
+quotations sequences stack-checker.backend stack-checker.errors
+stack-checker.inlining stack-checker.known-words
+stack-checker.state stack-checker.transforms
+stack-checker.visitor.dummy vocabs vocabs.loader words ;
 IN: stack-checker
 
 : infer ( quot -- effect )
-    dup callable?
-    [ [ infer-quot-here ] with-infer drop ]
-    [ drop ( -- x ) ] if ;
+    callable check-instance
+    [ infer-quot-here ] with-infer drop ;
 
 : infer. ( quot -- )
     ! Safe to call from inference transforms.