Doug Coleman
|
839a5a22ec
|
effects: make :type print as :type instead of ``_: type``
|
2016-05-14 17:03:09 -07:00 |
|
Doug Coleman
|
3fa9ad91f6
|
effects: Add support for :type as standalone, unnamed types. ( :float -- ) pprints as ( _: float -- ), and ( :( a -- b ) -- ) works, etc. :union{ foo bar } pprints as object but could be improved if the effects parser uses the prettyprinter somehow.
Move ?execute-parsing to parser to avoid circularity.
|
2016-05-12 16:27:50 -07:00 |
|
Doug Coleman
|
c133c16377
|
core: Trim using lists from -tests and clean up a few irregularities.
|
2016-03-30 18:43:41 -07:00 |
|
Doug Coleman
|
43d6f1d3e2
|
factor: Retrying on the unit tests. Also normalize some syntax with FUNCTION:.
|
2015-07-02 17:28:17 -07:00 |
|
Doug Coleman
|
59f3b1ea57
|
Revert "factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!"
Needs a bit more work.
This reverts commit 7e54cc2824.
|
2015-07-02 13:47:06 -07:00 |
|
Doug Coleman
|
7e54cc2824
|
factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!
|
2015-07-02 11:36:08 -07:00 |
|
Doug Coleman
|
2b87eaa1b5
|
generalizations: Refactor stack-checker so that smart combinators can be used with curry and compose.
|
2011-11-27 20:25:22 -08:00 |
John Benediktsson
|
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 |
Joe Groff
|
c35dd7c2ef
|
make effect<= work with univariable stack effects, deny all bivariable stack effects
|
2010-03-11 01:37:33 -08:00 |
|
Joe Groff
|
8b1b7b20d5
|
effect-variable -> row-variable
|
2010-03-11 01:25:13 -08:00 |
|
Joe Groff
|
a3033e885a
|
make effect variables part of effect syntax, stored out of band in effect tuple
|
2010-03-05 13:30:10 -08:00 |
Slava Pestov
|
df4fb4a3ee
|
Removing integers-as-sequences
|
2010-01-15 07:15:33 +13:00 |
|
Joe Groff
|
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 |
|
Doug Coleman
|
3f3d57032b
|
Delete empty unit tests files, remove 1- and 1+, reorder IN: lines in a lot of places, minor refactoring
|
2009-08-13 19:21:44 -05:00 |
|
Slava Pestov
|
e5cdb7ac2d
|
call( fast-path now supports curry and compose
|
2009-04-30 21:08:29 -05:00 |
|
Slava Pestov
|
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 |
|
Slava Pestov
|
ba8f1388ab
|
Fixing everything for mandatory stack effects
|
2008-06-09 02:14:14 -05:00 |
|
Slava Pestov
|
2793d9b195
|
Fix unit tests
|
2008-06-08 16:47:20 -05:00 |
Slava Pestov
|
e98cd1fd59
|
New convention for unit tests
|
2008-03-01 17:00:45 -05:00 |
|
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |