steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/core/classes/predicate/predicate-tests.factor

90 lines
2.8 KiB
Factor
Raw Normal View History

Fix regression with: bad interaction between predicate classes and tuple inheritance, reported by Bruno Deferrari
2009-05-13 17:58:01 -04:00
USING: math tools.test classes.algebra words kernel sequences assocs
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
accessors eval definitions compiler.units generic strings classes
generic.single ;
Fix regression with: bad interaction between predicate classes and tuple inheritance, reported by Bruno Deferrari
2009-05-13 17:58:01 -04:00
IN: classes.predicate.tests
Add failing tests
2008-10-31 22:07:57 -04:00
PREDICATE: negative < integer 0 < ;
PREDICATE: positive < integer 0 > ;
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ t } [ negative integer class< ] unit-test
{ t } [ positive integer class< ] unit-test
{ f } [ integer negative class< ] unit-test
{ f } [ integer positive class< ] unit-test
{ f } [ negative negative class< ] unit-test
{ f } [ positive negative class< ] unit-test
Add more unit tests highlighting the problem: predicate -vs- union comparison is broken
2008-11-04 03:17:22 -05:00
Add failing tests
2008-10-31 22:07:57 -04:00
GENERIC: abs ( n -- n )
M: integer abs ;
M: negative abs -1 * ;
M: positive abs ;
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ 10 } [ -10 abs ] unit-test
{ 10 } [ 10 abs ] unit-test
{ 0 } [ 0 abs ] unit-test
Fix regression with: bad interaction between predicate classes and tuple inheritance, reported by Bruno Deferrari
2009-05-13 17:58:01 -04:00
! Bug report from Bruno Deferrari
TUPLE: tuple-a slot ;
TUPLE: tuple-b < tuple-a ;
PREDICATE: tuple-c < tuple-b slot>> ;
classes.intersection: make flatten-class more accurate. It is still not perfect, but it fixes the case where a generic word has a method on a tuple class, and another method on an intersection of a mixin with another tuple classes
2009-08-07 23:30:57 -04:00
GENERIC: ptest ( tuple -- x )
M: tuple-a ptest drop tuple-a ;
M: tuple-c ptest drop tuple-c ;
Fix regression with: bad interaction between predicate classes and tuple inheritance, reported by Bruno Deferrari
2009-05-13 17:58:01 -04:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ tuple-a } [ tuple-b new ptest ] unit-test
{ tuple-c } [ tuple-b new t >>slot ptest ] unit-test
classes.intersection: make flatten-class more accurate. It is still not perfect, but it fixes the case where a generic word has a method on a tuple class, and another method on an intersection of a mixin with another tuple classes
2009-08-07 23:30:57 -04:00
PREDICATE: tuple-d < tuple-a slot>> ;
GENERIC: ptest' ( tuple -- x )
M: tuple-a ptest' drop tuple-a ;
M: tuple-d ptest' drop tuple-d ;
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ tuple-a } [ tuple-b new ptest' ] unit-test
{ tuple-d } [ tuple-b new t >>slot ptest' ] unit-test
classes: more robust code for detecting circular inheritance, move it out of classes.tuple since predicate classes need the same check too
2010-01-31 06:08:18 -05:00
PREDICATE: bad-inheritance-predicate < string ;
[
"IN: classes.predicate.tests PREDICATE: bad-inheritance-predicate < bad-inheritance-predicate ;" eval( -- )
] [ error>> bad-inheritance? ] must-fail-with
PREDICATE: bad-inheritance-predicate2 < string ;
PREDICATE: bad-inheritance-predicate3 < bad-inheritance-predicate2 ;
[
"IN: classes.predicate.tests PREDICATE: bad-inheritance-predicate2 < bad-inheritance-predicate3 ;" eval( -- )
] [ error>> bad-inheritance? ] must-fail-with
! This must not fail
PREDICATE: tup < string ;
UNION: u tup ;
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ } [ "IN: classes.predicate.tests PREDICATE: u < tup ;" eval( -- ) ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
! Changing the metaclass of the predicate superclass should work
GENERIC: change-meta-test ( a -- b )
TUPLE: change-meta-test-class length ;
PREDICATE: change-meta-test-predicate < change-meta-test-class length>> 2 > ;
M: change-meta-test-predicate change-meta-test length>> ;
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ f } [ \ change-meta-test "methods" word-prop assoc-empty? ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
[ T{ change-meta-test-class f 0 } change-meta-test ] [ no-method? ] must-fail-with
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ 7 } [ T{ change-meta-test-class f 7 } change-meta-test ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ } [ "IN: classes.predicate.tests USE: arrays UNION: change-meta-test-class array ;" eval( -- ) ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
! Should not have changed
factor: fix breakage with word renamings.
2015-07-20 08:51:16 -04:00
{ change-meta-test-class } [ change-meta-test-predicate superclass-of ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
[ { } change-meta-test ] [ no-method? ] must-fail-with
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ 4 } [ { 1 2 3 4 } change-meta-test ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ } [ [ \ change-meta-test-class forget-class ] with-compilation-unit ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ f } [ change-meta-test-predicate class? ] unit-test
classes: If a tuple class with subclasses is redefined into something that's not a tuple class, subclasses are changed to inherit from 'tuple' instead of being forgotten. Also, changing the metaclass of a union or intersection member no longer removes it from the union or intersection. Finally, make some internal words private
2010-01-31 08:48:39 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ t } [ \ change-meta-test "methods" word-prop assoc-empty? ] unit-test