]> gitweb.factorcode.org Git - factor.git/commitdiff
compiler.tree: formatting.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 3 Mar 2021 05:01:05 +0000 (21:01 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 3 Mar 2021 05:01:05 +0000 (21:01 -0800)
basis/compiler/tree/propagation/info/info.factor
basis/compiler/tree/propagation/simple/simple.factor
basis/math/intervals/predicates/predicates.factor

index e0b1ed67750b546891ed9685c505024409007ff4..de7a89c54062c5927ad9a0067f29651db121e46b 100644 (file)
@@ -104,22 +104,20 @@ UNION: fixed-length array byte-array string ;
         [ drop 1/0. ]
     } case ;
 
-! : maybe-declared-interval ( classoid -- int )
-!     dup word?
-!     [ "declared-interval" word-prop full-interval or ]
-!     [ drop full-interval ] if ;
-
 GENERIC: declared-class-interval ( classoid -- int/f )
+
 M: object declared-class-interval drop full-interval ;
-M: class declared-class-interval "declared-interval" word-prop full-interval or ;
+
+M: class declared-class-interval
+    "declared-interval" word-prop full-interval or ;
+
 M: union-class declared-class-interval
-    class-members [ empty-interval ]
-    [
+    class-members [ empty-interval ] [
         [ declared-class-interval ] [ interval-union ] map-reduce
     ] if-empty ;
+
 M: intersection-class declared-class-interval
-    class-participants [ full-interval ]
-    [
+    class-participants [ full-interval ] [
         [ declared-class-interval ] [ interval-intersect ] map-reduce
     ] if-empty ;
 
index 60979d5d8de9a4165fdde7e70fd463822c6515ac..6a082ca31a09610ea0b7f4c49d57aa7444d5cb3d 100644 (file)
@@ -22,7 +22,6 @@ M: #push propagate-before
 : set-value-infos ( infos values -- )
     [ set-value-info ] 2each ;
 
-
 M: #declare propagate-before
     ! We need to force the caller word to recompile when the
     ! classes mentioned in the declaration are redefined, since
index 37bb92efaca6f73549d887a5138a65054ea95a84..e8664656228a97b18135b5d75fcacec7d2f1016b 100644 (file)
@@ -5,7 +5,9 @@ IN: math.intervals.predicates
 ERROR: invalid-interval-definition stack ;
 
 <PRIVATE
+
 PREDICATE: empty-interval-class < word empty-interval eq? ;
+
 UNION: valid-interval interval full-interval empty-interval-class ;
 
 : evaluate-interval ( quot -- interval )
@@ -16,6 +18,7 @@ UNION: valid-interval interval full-interval empty-interval-class ;
 
 : interval>predicate ( interval -- quot )
     [ interval-contains? ] curry ;
+
 PRIVATE>
 
 : define-interval-predicate-class ( class superclass interval -- )