839a5a22ec
effects: make :type print as :type instead of ``_: type``
2016-05-14 17:03:09 -07:00
1ad06b4e44
effects: swap got expected.
2016-04-13 13:16:59 -07:00
c2311f2d1d
effects: Fix check-stack-effect. Better to report the expected before the got.
2016-04-12 17:06:12 -07:00
ceb75057da
change ERROR: words from throw-foo back to foo.
2015-08-13 16:13:05 -07:00
02008979d9
factor: Change ERROR: foo ; to define ``throw-foo`` instead of having ``foo`` throw implicitly. The old ``foo`` still throws implicitly because this is a big change to get right in one patch, but it should be removed soon.
2015-08-12 15:26:18 -05:00
44c9735799
effects: fix expected and got in bad-stack-effect (were backwards).
2014-06-06 11:16:43 -07:00
afcb610960
core: Throw an error when defining MAIN: with a stack effect other than ( -- ). Fixes #1060 .
2014-06-06 10:59:48 -07:00
4e04107e4f
effects: M\ word stack-effect does a little less work.
2014-05-21 08:50:17 -07:00
b571a42679
Use -unsafe words with pair methods.
2013-03-07 10:47:23 -08:00
5487480126
core: cleanup USING lists.
2013-03-05 10:34:47 -08:00
4e72d80256
Using "same?" in more places.
2012-07-21 10:22:44 -07:00
8c1165cac1
cleanup some lint warnings.
2012-04-18 17:46:01 -07:00
2b87eaa1b5
generalizations: Refactor stack-checker so that smart combinators can be used with curry and compose.
2011-11-27 20:25:22 -08:00
82c5388f68
classes: add syntax for intersection{ and union{ anonymous classes. make classoid a mixin.
2011-11-22 18:49:42 -08: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
2a234bec02
effects: removing split-shuffle.
2011-10-02 09:26:40 -07:00
c35dd7c2ef
make effect<= work with univariable stack effects, deny all bivariable stack effects
2010-03-11 01:37:33 -08:00
a3033e885a
make effect variables part of effect syntax, stored out of band in effect tuple
2010-03-05 13:30:10 -08:00
ae25cfe712
Get foldable and flushable declarations working on typed words
2010-02-24 00:16:55 +13:00
df4fb4a3ee
Removing integers-as-sequences
2010-01-15 07:15:33 +13:00
19b10fb85e
bring back ( x: type y: type -- ) stack effect syntax, and automatically hint words based on types in their declared effect
2009-09-01 14:39:22 -05:00
679a7c9b01
temporary fix for core/effects
2009-08-22 20:56:28 -04:00
e5cdb7ac2d
call( fast-path now supports curry and compose
2009-04-30 21:08:29 -05:00
1559b74640
Add new check-datastack primitive and re-implement call( with it, instead of using with-datastack. call( is now 5x faster
2009-03-16 06:16:51 -05:00
ca7a155b72
Merge branch 'master' into new_ui
2009-03-01 20:13:05 -06:00
03cb32ad9c
Make execute( faster, add execute-unsafe( and make effect tuple slots read only
2009-03-01 20:12:35 -06:00
ce1bc1d6ed
Fixing conflicts from stack checker changes
2009-02-24 01:21:10 -06:00
2f5d4ff512
effects: fix typo
2009-02-09 18:07:40 -06:00
3bd22a39f6
effects: fix bug reported by Joe where printing { f } { } <effect> kills the listener; simpler implementation of 'shuffle'; add compiler transform to 'shuffle' if effect is constant
2009-02-09 16:26:56 -06:00
f1d20719b2
inferred-effect word prop is just a boolean now, not an effect object
2009-02-23 20:51:14 -06:00
1951d739a0
Stack effect declarations are mandatory on all words now
...
define-temp now takes an effect parameter
Fix compiler bug that Dan found
Stricter enforcement of * effects
Move compile-call from compiler.units to compiler
2009-02-23 20:27:05 -06:00
c5160d76e9
Merge qualified, alias, symbols, constants into core
2008-12-17 18:10:01 -06:00
0e14f767ee
core: swap 3append -> glue
2008-12-03 19:12:48 -06:00
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
44f53de164
Move make to its own vocabulary, remove fry _ feature
2008-09-10 20:07:00 -05:00
57ca685e26
New tuple syntax
2008-09-05 20:39:45 -05:00
b6c2a85931
Remove shuffle word, rename shuffle* to shuffle
2008-09-05 19:54:05 -05:00
ed848621a3
Fix
2008-08-11 02:49:43 -05:00
a483a5afd5
Fix effect>string
2008-08-10 23:36:46 -05:00
ac2bf0b87d
Adding inline recursive declarations
2008-07-18 19:22:59 -05:00
b36e06d0d6
Builtinn types now use new slot accessors; tuple slot type declaration work in progress
2008-06-28 02:36:20 -05:00
3f520c3c79
Better error messages for when new or boa are applied to the wrong type
2008-06-26 20:47:36 -05:00
9dd5c9919f
Mandatory stack effect annotations
2008-06-08 15:32:55 -05:00
30b75a797a
construct-boa -> boa
...
construct-empty -> new
2008-04-13 15:06:09 -05:00
bced4022e5
updating usages of cond/case
2008-04-11 12:53:22 -05:00
c22af5c7a6
Rename 2apply to bi@
2008-03-29 20:36:58 -05:00
2872bc9d30
More method cleanups
2008-02-04 19:38:31 -06:00
dee25cda13
New generic word implementation reduces compile time
2008-02-04 16:20:07 -06:00
4192413861
Change cut stack effect
2007-10-12 16:30:36 -04:00
894a657056
Alien unboxing
2007-09-29 19:43:03 -04:00
Doug Coleman
John Benediktsson
Joe Groff
Slava Pestov
Slava Pestov