steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

stack-checker.*: infer doesn't need to be generic

char-rename
Björn Lindqvist 2016-08-06 19:04:41 +02:00
parent 0c7b871de7
commit 120807c827
2 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
basis/stack-checker/backend/backend.factor
View File

@ -157,9 +157,6 @@ M: object apply-object push-literal ;
stack-visitor get stack-visitor get
] with-scope ; inline ] with-scope ; inline
: (infer) ( quot -- effect )
[ infer-quot-here ] with-infer drop ;
: ?quotation-effect ( in -- effect/f ) : ?quotation-effect ( in -- effect/f )
dup pair? [ second dup effect? [ drop f ] unless ] [ drop f ] if ; dup pair? [ second dup effect? [ drop f ] unless ] [ drop f ] if ;

6
basis/stack-checker/stack-checker.factor
View File

@ -8,10 +8,8 @@ stack-checker.errors stack-checker.inlining
stack-checker.visitor.dummy ; stack-checker.visitor.dummy ;
IN: stack-checker IN: stack-checker
GENERIC: infer ( quot -- effect ) : infer ( quot -- effect )
[ infer-quot-here ] with-infer drop ;
M: callable infer ( quot -- effect )
(infer) ;
: infer. ( quot -- ) : infer. ( quot -- )
! Safe to call from inference transforms. ! Safe to call from inference transforms.