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

We don't use the inferring-base-case var anymore

release
slava 2006-07-26 04:40:06 +00:00
parent d48bdc2694
commit 0569c0ee77
2 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/compiler/inference/inference.factor
View File

@ -5,9 +5,6 @@ USING: arrays errors generic inspector interpreter io kernel
math namespaces parser prettyprint sequences strings math namespaces parser prettyprint sequences strings
vectors words ; vectors words ;
! This variable takes a boolean value.
SYMBOL: inferring-base-case
! Called when a recursive call during base case inference is ! Called when a recursive call during base case inference is
! found. Either tries to infer another branch, or gives up. ! found. Either tries to infer another branch, or gives up.
SYMBOL: base-case-continuation SYMBOL: base-case-continuation
@ -104,7 +101,6 @@ M: quotation infer-quot ( quot -- )
: with-infer ( quot -- ) : with-infer ( quot -- )
[ [
inferring-base-case off
base-case-continuation off base-case-continuation off
{ } recursive-state set { } recursive-state set
f init-inference f init-inference

1
library/compiler/inference/words.factor
View File

@ -105,7 +105,6 @@ M: #call-label collect-recursion* ( label node -- )
#! control flow by throwing an exception or restoring a #! control flow by throwing an exception or restoring a
#! continuation. #! continuation.
[ [
dup [ inferring-base-case on ] when
recursive-state get init-inference recursive-state get init-inference
over >r inline-block nip over >r inline-block nip
[ terminated? get effect ] bind r> [ terminated? get effect ] bind r>