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

67 lines
2.1 KiB
Factor
Raw Normal View History

classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
! Copyright (C) 2011 Doug Coleman.
! See http://factorcode.org/license.txt for BSD license.
core: Trim using lists from -tests and clean up a few irregularities.
2016-03-30 21:43:14 -04:00
USING: accessors classes classes.algebra classes.algebra.private
classes.maybe eval generic.single kernel math slots tools.test ;
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
IN: classes.maybe.tests
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ t } [ 3 maybe{ integer } instance? ] unit-test
{ t } [ f maybe{ integer } instance? ] unit-test
{ f } [ 3.0 maybe{ integer } instance? ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
classes: - Allow methods to dispatch off union{ } and intersection{ } classes. - Add not{ } anonymous-complement syntax. - Define class-name for anonymous-union/intersection/complement and maybes, and clean up pprint. - Change maybe: foo to maybe{ foo } - Call sort-classes when making anonymous-union/anonymous-intersection classes so that they are canonicalized.
2012-05-03 22:17:41 -04:00
TUPLE: maybe-integer-container { something maybe{ integer } } ;
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ f } [ maybe-integer-container new something>> ] unit-test
{ 3 } [ maybe-integer-container new 3 >>something something>> ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
[ maybe-integer-container new 3.0 >>something ] [ bad-slot-value? ] must-fail-with
classes: - Allow methods to dispatch off union{ } and intersection{ } classes. - Add not{ } anonymous-complement syntax. - Define class-name for anonymous-union/intersection/complement and maybes, and clean up pprint. - Change maybe: foo to maybe{ foo } - Call sort-classes when making anonymous-union/anonymous-intersection classes so that they are canonicalized.
2012-05-03 22:17:41 -04:00
TUPLE: self-pointer { next maybe{ self-pointer } } ;
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ T{ self-pointer { next T{ self-pointer } } } }
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
[ self-pointer new self-pointer new >>next ] unit-test
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ t } [ f maybe{ POSTPONE: f } instance? ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
classes: - Allow methods to dispatch off union{ } and intersection{ } classes. - Add not{ } anonymous-complement syntax. - Define class-name for anonymous-union/intersection/complement and maybes, and clean up pprint. - Change maybe: foo to maybe{ foo } - Call sort-classes when making anonymous-union/anonymous-intersection classes so that they are canonicalized.
2012-05-03 22:17:41 -04:00
PREDICATE: natural < maybe{ integer }
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
0 > ;
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ f } [ -1 natural? ] unit-test
{ f } [ 0 natural? ] unit-test
{ t } [ 1 natural? ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ t } [ f maybe{ maybe{ integer } } instance? ] unit-test
{ t } [ 3 maybe{ maybe{ integer } } instance? ] unit-test
{ f } [ 3.03 maybe{ maybe{ integer } } instance? ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
classes: - Allow methods to dispatch off union{ } and intersection{ } classes. - Add not{ } anonymous-complement syntax. - Define class-name for anonymous-union/intersection/complement and maybes, and clean up pprint. - Change maybe: foo to maybe{ foo } - Call sort-classes when making anonymous-union/anonymous-intersection classes so that they are canonicalized.
2012-05-03 22:17:41 -04:00
INTERSECTION: only-f maybe{ integer } POSTPONE: f ;
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ t } [ f only-f instance? ] unit-test
{ f } [ t only-f instance? ] unit-test
{ f } [ 30 only-f instance? ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
classes: - Allow methods to dispatch off union{ } and intersection{ } classes. - Add not{ } anonymous-complement syntax. - Define class-name for anonymous-union/intersection/complement and maybes, and clean up pprint. - Change maybe: foo to maybe{ foo } - Call sort-classes when making anonymous-union/anonymous-intersection classes so that they are canonicalized.
2012-05-03 22:17:41 -04:00
UNION: ?integer-float maybe{ integer } maybe{ float } ;
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ t } [ 30 ?integer-float instance? ] unit-test
{ t } [ 30.0 ?integer-float instance? ] unit-test
{ t } [ f ?integer-float instance? ] unit-test
{ f } [ t ?integer-float instance? ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
TUPLE: foo ;
GENERIC: lol ( obj -- string )
classes: - Allow methods to dispatch off union{ } and intersection{ } classes. - Add not{ } anonymous-complement syntax. - Define class-name for anonymous-union/intersection/complement and maybes, and clean up pprint. - Change maybe: foo to maybe{ foo } - Call sort-classes when making anonymous-union/anonymous-intersection classes so that they are canonicalized.
2012-05-03 22:17:41 -04:00
M: maybe{ foo } lol drop "lol" ;
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ "lol" } [ foo new lol ] unit-test
{ "lol" } [ f lol ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
[ 3 lol ] [ no-method? ] must-fail-with
TUPLE: foo2 a ;
GENERIC: lol2 ( obj -- string )
classes: - Allow methods to dispatch off union{ } and intersection{ } classes. - Add not{ } anonymous-complement syntax. - Define class-name for anonymous-union/intersection/complement and maybes, and clean up pprint. - Change maybe: foo to maybe{ foo } - Call sort-classes when making anonymous-union/anonymous-intersection classes so that they are canonicalized.
2012-05-03 22:17:41 -04:00
M: maybe{ foo } lol2 drop "lol2" ;
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
M: f lol2 drop "lol22" ;
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
2015-07-02 20:28:17 -04:00
{ "lol2" } [ foo new lol2 ] unit-test
{ "lol22" } [ f lol2 ] unit-test
classes: Make methods dispatch on maybes. Fix a couple bugs in the implementation of maybe. classoid? is now a dumb test if an object could be a well-formed classoid; valid-classoid? tests for well-formedness. Move maybe tests. Make pprint* work better on methods.
2011-11-22 17:47:52 -05:00
[ 3 lol2 ] [ no-method? ] must-fail-with
classes: Add a check that arguments to classoids are themselves classoids. Introduce a new word-prop that makes tuple-class words classoids at parse-time so that self-referential tuple definitions with maybe{} work, e.g. TUPLE: node { next maybe{ node } } ; Add unit test. Fixes #766.
2013-03-22 18:58:20 -04:00
[ "IN: classes-tests maybe{ 1 2 3 }" eval( -- ) ]
classes: use check-instance in a few places, to remove duplication.
2020-01-15 13:34:47 -05:00
[ error>> not-an-instance? ] must-fail-with