factor

Author	SHA1	Message	Date
Doug Coleman	5bcdeee745	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 16:00:46 -07:00
Doug Coleman	3507b9bad7	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 19:45:30 -07:00
Doug Coleman	64bbd248d5	classes.maybe: Change the type of maybe's class slot. As a result, maybe: maybe: integer is valid now, so fix the unit tests and its prettyprinting.	2011-11-23 01:43:02 -08:00
Doug Coleman	cab0369fec	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 15:12:20 -08:00