Fixing one of the bad bugs, in row-polymorphism
parent
12b0e16232
commit
83327635f3
|
@ -16,7 +16,7 @@ IN: stack-checker.row-polymorphism
|
||||||
|
|
||||||
:: (effect-here) ( inner-d old-meta-d-length old-input-count -- effect )
|
:: (effect-here) ( inner-d old-meta-d-length old-input-count -- effect )
|
||||||
old-meta-d-length inner-d - input-count get old-input-count - +
|
old-meta-d-length inner-d - input-count get old-input-count - +
|
||||||
meta-d length inner-d -
|
terminated? get [ 0 ] [ meta-d length inner-d - ] if
|
||||||
[ "x" <array> ] bi@ terminated? get <terminated-effect> ; inline
|
[ "x" <array> ] bi@ terminated? get <terminated-effect> ; inline
|
||||||
|
|
||||||
: with-effect-here ( quot -- effect )
|
: with-effect-here ( quot -- effect )
|
||||||
|
|
Loading…
Reference in New Issue