From e72e1a340f43148d52c71e65fd0556f4e0124906 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 11 Sep 2012 07:42:39 -0700 Subject: [PATCH] compiler.tree.propagation: fix >fraction types. --- .../tree/propagation/known-words/known-words.factor | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/basis/compiler/tree/propagation/known-words/known-words.factor b/basis/compiler/tree/propagation/known-words/known-words.factor index 563abc8e52..24fb3e83ac 100644 --- a/basis/compiler/tree/propagation/known-words/known-words.factor +++ b/basis/compiler/tree/propagation/known-words/known-words.factor @@ -239,9 +239,13 @@ generic-comparison-ops [ '[ _ swap interval>> ] "outputs" set-word-prop ] assoc-each -{ numerator denominator >fraction } +{ numerator denominator } [ [ drop integer ] "outputs" set-word-prop ] each +\ >fraction [ + drop integer dup +] "outputs" set-word-prop + { (log2) fixnum-log2 bignum-log2 } [ [ [ class>> ] [ interval>> interval-log2 ] bi