60ffe0680e
kernel: new combinator 2with = with with
2014-07-22 07:40:13 -07:00
cc7dfc146b
Revert "compiler.tree.modular-arithmetic: revert strict patch so we can investigate further."
...
This reverts commit ec8377e125
2014-07-08 19:18:34 -07:00
ec8377e125
compiler.tree.modular-arithmetic: revert strict patch so we can investigate further.
2014-07-08 16:59:58 -07:00
01ed046b4a
typed: .97 basically breaks typed. Check that the new behavior is enforced.
2014-07-03 12:29:40 -07:00
5fab749dcc
words: Change word -> last-word, set-word -> set-last-word.
2013-03-23 16:12:03 -07:00
3b8164da32
typed: Add unit test for #778 .
2013-03-20 11:14:09 -07:00
3fb1cb6d2d
typed: prevent TYPED: definitions without types.
2013-03-20 11:09:34 -07:00
934b307ba2
make some predicates return t/f instead of something/f.
2012-07-29 10:52:46 -07:00
1c3deddf61
issue #358 : Rename all of the words depends-on-* to add-depends-on*
2012-06-21 08:35:45 -07:00
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
82c5388f68
classes: add syntax for intersection{ and union{ anonymous classes. make classoid a mixin.
2011-11-22 18:49:42 -08:00
fac17c10ba
classes.maybe: move maybe definition from classes.union to classes.maybe
2011-11-22 02:46:36 -08:00
0bdd87dace
typed: Teach typed about maybe: foo. Should maybe: foo satisfy unboxable-tuple-class? ?
2011-11-22 02:09:12 -08:00
82e01fb58c
new module typed.namespaces: get/set + type check
2011-11-10 10:47:21 -08:00
763d9a3f7d
Missed yet more renames
2011-10-24 17:00:09 -07:00
80e1c8e3f2
Eliminate duplicate syntax for stack effects "(" no longer drops and is identical to the old "((", which is now removed.
2011-10-18 13:19:39 -07:00
1fa63f97f0
Removing unused private words. See #132 .
2011-09-25 11:43:26 -07:00
6ce01d0b0d
typed: include value that raised the error in type-mismatch-errors
2010-06-14 14:23:55 -07:00
33eb15bf44
compiler.cfg.debugger: clean up and make it more flexible
2010-05-03 17:34:22 -04:00
aa6158b366
Changing require-when usages to the new syntax for require-when
2010-04-18 14:29:24 -05:00
eb060443db
Updating code to use require-when rather than vocab [ require ] when
2010-03-18 01:13:37 -04:00
16ddd015d3
typed: forgetting a final class would throw an error while recompiling typed words depending on it
2010-03-12 10:22:35 +13:00
ae25cfe712
Get foldable and flushable declarations working on typed words
2010-02-24 00:16:55 +13:00
f0aa694c7e
effects.parser: throw a proper no-word error if effect references an unknown class word
2010-02-23 23:57:13 +13:00
9debed1c75
typed: update documentation
2010-02-18 04:13:21 +13:00
60296be964
typed: only unbox final classes. Fixes bug reported by littledan
2010-02-18 02:39:12 +13:00
01824d41be
Add support for final tuple classes which cannot be subclassed: TUPLE: foo ... ; final
2010-02-18 02:19:57 +13:00
36618bc46e
typed: update for dependency changes
2010-01-30 10:53:42 +13:00
da4506592d
typed: update for stack checker refactoring
2009-11-09 00:55:10 -06:00
8826401ea8
fix bug when a TYPED: word takes no inputs or gives no outputs
2009-10-24 23:49:08 -05:00
97259c772f
add a typed-disassemble convenience word to typed.debugger
2009-10-19 12:26:26 -05:00
11e89b016d
moved "typed" to basis
2009-10-17 11:21:43 -05:00
Björn Lindqvist
John Benediktsson
Doug Coleman
Joe Groff
Joe Groff
Slava Pestov
Daniel Ehrenberg
Daniel Ehrenberg