Slava Pestov
5fdb474c76
Fixing various test failures and updating some more vocabs for >r/r> removal
2008-12-17 22:29:32 -06:00
Slava Pestov
b154b21aaa
Add new until combinator, and a new do word which acts like a modifier: do while, do until for loops which iterate at least once
2008-12-08 23:37:18 -06:00
Slava Pestov
a56d480aa6
Various optimizations leading to a 10% speedup on compiling empty EBNF parser:
...
- open-code getenv primitive
- inline tuple predicates in finalization
- faster partial dispatch
- faster built-in type predicates
- faster tuple predicates
- faster lo-tag dispatch
- compile V{ } clone and H{ } clone more efficiently
- add fixnum fast-path to =; avoid indirect branch if two fixnums not eq
- faster >alist on hashtables
2008-12-06 09:16:29 -06:00
Slava Pestov
8db24bdd34
assert-depth now has a static stack effect. This fixes a UI unit test failure
2008-12-05 08:25:26 -06:00
Slava Pestov
e304d3c9f8
Local DCE
2008-12-04 06:02:49 -06:00
Slava Pestov
1247ebbac9
Fix typo
2008-12-04 00:28:16 -06:00
Slava Pestov
c27faa3de4
Remove 3compose: nothing in core used it, and basis code can use fry
2008-12-02 00:25:23 -06:00
Eduardo Cavazos
cb815a965b
kernel-docs: Fix '2dip' docs
2008-11-28 12:33:42 -06:00
Slava Pestov
8678ff091f
Fix docs for spread and apply combinators
2008-11-24 12:01:20 -06:00
Slava Pestov
1d6e389d18
Fixing walker, adding traceback tests
2008-11-23 21:40:54 -06:00
Slava Pestov
6466ebaed7
Add comment explaining what's going on
2008-11-23 02:46:43 -06:00
Slava Pestov
a4d9cdfeb3
Refactor all usages of >r/r> in core to use dip, 2dip, 3dip
...
Non-optimizing compiler now special-cases dip, 2dip, 3dip following a
literal quotation: this allows us to break the dip/slip meta-circle
without explicit calls to >r/r>
2008-11-23 02:44:56 -06:00
Slava Pestov
d62a6c4b09
Minor core cleanup
2008-11-18 22:08:02 -06:00
Slava Pestov
9bf63b1613
New $quotation markup element
2008-11-16 09:03:30 -06:00
Slava Pestov
e49ee006d1
Fix loop combinator docs
2008-11-11 08:50:48 -06:00
Slava Pestov
1c1333fbe9
Compile not and >boolean as branchless intrinsics by having the CFG builder detect certain code patterns
2008-11-06 09:09:21 -06:00
Slava Pestov
af6b8c4e97
Merge branch 'master' into new_codegen
2008-10-20 01:59:52 -05:00
Slava Pestov
f721105993
Add 3dip
2008-10-20 01:58:17 -05:00
Slava Pestov
c54668596d
More efficient hi-tag accessor
2008-10-11 13:58:41 -05:00
Slava Pestov
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
Doug Coleman
fa3999b909
add some docs for loop, move article to the end
2008-09-17 00:18:42 -05:00
Slava Pestov
162faace98
Fix typo in 3bi docs
2008-09-12 16:04:01 -05:00
Slava Pestov
6a1e6d3c08
Fix dispatch bug found by mnestic
2008-09-10 01:45:16 -05:00
Slava Pestov
ac97c1e14c
Working on removing delegation slot
2008-09-02 23:21:08 -05:00
Doug Coleman
8773d544e7
document assert=
2008-09-02 17:04:13 -05:00
Slava Pestov
110a5e5162
Change equality semantics
2008-09-02 02:02:05 -05:00
Slava Pestov
91059b4ad6
Documentation update
2008-08-23 20:24:54 -05:00
Slava Pestov
a4ac751605
Starting to remove delegation
2008-08-22 23:20:49 -05:00
Slava Pestov
73ed573a05
Fix typo in docs
2008-08-10 22:20:14 -05:00
Slava Pestov
9bd8e88318
Minor improvement to xor word
2008-08-01 17:22:58 -05:00
Slava Pestov
d66f887736
Create basis vocab root
2008-07-28 22:03:13 -05:00
Slava Pestov
c6915b1023
Working on tuple slot propagation
2008-07-25 02:07:45 -05:00
Slava Pestov
53f4d365b7
'not', 'and' are no longer inline to enable compiler optimizations
2008-07-23 00:16:41 -05:00
Slava Pestov
ac2bf0b87d
Adding inline recursive declarations
2008-07-18 19:22:59 -05:00
Slava Pestov
d278025a39
Fix kernel tests
2008-07-11 20:33:08 -05:00
Slava Pestov
300921a026
Add construct-delegate back, some code still uses it
2008-07-11 00:45:53 -05:00
Slava Pestov
64a2b0c7a5
Remove more delegation usage from UI: build-* words, various misc things
2008-07-11 00:01:22 -05:00
Slava Pestov
776b245c39
Cleaning up some usages of -roll
2008-07-08 13:22:57 -05:00
Slava Pestov
f7b7001f39
BOA constructors now check types
2008-06-30 01:44:58 -05:00
Slava Pestov
b36e06d0d6
Builtinn types now use new slot accessors; tuple slot type declaration work in progress
2008-06-28 02:36:20 -05:00
U-SLAVA-DFB8FF805\Slava
358c09d204
combinators.lib 3apply is kernel's tri@; remove and update usages
2008-06-27 02:17:19 -05:00
Slava Pestov
685d53e264
Add gather word; faster 'implementors' using inverted index
2008-06-12 05:49:46 -05:00
Slava Pestov
4ca59470ce
Minor cleanup
2008-06-07 10:40:40 -05:00
Slava Pestov
7cc553c4b6
Documentation improvements
2008-06-04 19:33:30 -05:00
Slava Pestov
727cfcba43
Move relocation info out of the code heap and into the data heap
2008-05-30 01:31:05 -05:00
Doug Coleman
79da16bc5a
2dip documented, but should we use it in our code? the official stance is "no comment"
2008-05-23 16:47:35 -05:00
Slava Pestov
56852d3ab8
Little cleanups
2008-05-22 15:45:30 -05:00
Slava Pestov
332960adab
Doc fix
2008-05-20 18:25:21 -05:00
Slava Pestov
509cf872a8
Update docs
2008-05-14 01:14:52 -05:00
Slava Pestov
f9db3f8b50
Documentation updates
2008-05-11 17:42:48 -05:00