f43667640a
Fix regression with: bad interaction between predicate classes and tuple inheritance, reported by Bruno Deferrari
2009-05-13 16:58:01 -05:00
b4088373b7
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-04 05:16:47 -05:00
a63ad6a7a5
Remove cruddy string encoding/decoding code from VM
2009-05-02 13:45:38 -05:00
0ad6d1fb7b
add a few usages of iota, remove most 1+ and 1- from core
2009-05-01 19:58:24 -05:00
5b53562c7b
Add better error checking for INSTANCE: and GENERIC#, and remove unnecessary word props when generic word's combination changes
2009-04-28 17:56:15 -05:00
7b08accb7e
Merge branch 'master' into inline_caching
2009-04-27 16:14:45 -05:00
0d03dea74b
factor out tuple literal slot parsing from the rest of tuple literal parsing
2009-04-26 15:59:26 -05:00
a14e5a4a3b
Better local cache
2009-04-26 08:06:37 -05:00
7aa65b5b5f
Fixing new method dispatch implementation
2009-04-25 19:41:27 -05:00
48e70b65fa
Move cross-referencing stuff to tools.crossref since compiler doesn't depend on it anymore, and compute cross-referencing index as needed; reduces image size by ~4Mb
2009-04-22 04:20:38 -05:00
97a522da0e
Fix conflict
2009-04-21 16:26:22 -05:00
bd8787d540
Tweak unit test in classes vocab to yield more information on failure
2009-04-21 16:23:54 -05:00
469c9ee21d
Debugging stack checking
2009-04-21 16:09:53 -05:00
05f3f9dcb9
Fixing unit tests for stack effect inference changes
2009-04-20 21:15:19 -05:00
8414693142
stack-checker: trust word declarations instead of recursively checking them
2009-04-20 18:44:45 -05:00
7a1841f59b
(( -- )) eval -> eval( -- )
2009-04-17 15:49:21 -05:00
aad6a3d504
fixing compiler error in core
2009-04-17 12:45:57 -05:00
a0ba66080d
Documentation updates suggested by dmpk2k
2009-04-10 03:52:53 -05:00
37e278ed02
Use [ ] [ ] map-reduce instead of unclip [ ] reduce
2009-04-06 17:50:54 -05:00
890553b776
Fixing tests for method-sec removal
2009-04-06 05:22:28 -05:00
7bf0a46d3d
Updating tests for method-spec removal
2009-04-06 04:16:39 -05:00
723bfab030
Fixing unit tests for syntax change
2009-03-23 00:34:02 -05:00
6080c6e734
Fix stack effect redefinition
2009-03-22 20:16:31 -05:00
bdec395130
Remove predicate-instance? hack; use call( instead
2009-03-16 20:49:19 -05:00
38c6be94d4
Fixing some stack comments
2009-03-16 06:17:18 -05:00
fe8b55bb90
Moving mixin instances between source files works better now
2009-03-16 00:04:34 -05:00
943f0ee10f
Add test cases for problem with moving mixin instances and methods between vocabularies
2009-03-15 18:33:29 -05:00
bf41b187b0
Re-organize code so that with-compilation-unit can infer
...
Fix with-compilation-unit to work in deployed code
2009-03-13 19:39:32 -05:00
a23a6a2870
Forgetting a predicate class now updates predicate-instance? word
2009-03-13 04:22:16 -05:00
8f1240cf96
Forgetting a word doesn't call reset-word anymore, fixing an issue where a word calling a forgotten word wouldn't compile because the 'declared-effect' word prop was not set
2009-03-13 00:40:18 -05:00
667eca9410
Fix unit tests and help lint for 'see' move
2009-03-11 17:33:54 -05:00
bf663e830a
Changing a method into a generated slot accessor would result in the generated accessor being forgotten
2009-03-06 20:02:31 -06: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
25a877e50b
Merge OneEyed's patch
2009-02-28 17:06:55 -06:00
cd53c2bd37
produce and produce-as: don't need third quotation either
2009-02-28 15:31:34 -06:00
b4a61114e1
Merge branch 'master' into new_ui
2009-02-19 13:36:32 -06:00
60134eeb98
Documentation fixes
2009-02-19 13:35:53 -06:00
421ee726b8
Merge branch 'master' into new_ui
2009-02-16 21:22:12 -06:00
6b25e99470
Add summary for heaps more vocabs
2009-02-16 21:05:13 -06:00
056e7aa442
Merge branch 'master' into new_ui
2009-02-13 18:12:35 -06:00
cdc5aa60b0
add a stack effect to tuple article
2009-02-13 10:48:11 -06:00
669548e62e
Clean up some usages of tuck, and add Joe's curried cleave/spread/apply combinators to kernel vocabulary
2009-02-02 13:43:54 -06:00
3c408342ef
renaming: contain? -> any?, deep-contains? -> deep-any?, pad-left -> pad-head, pad-right -> pad-tail, trim-left -> trim-head, trim-right -> trim-tail
2009-01-29 22:19:07 -06:00
87e0110ff1
O(1) equal? and hashcode* for ranges
2009-01-28 23:33:26 -06:00
a9ef525aed
Help lint fixes for stricter help lint
2009-01-27 04:12:37 -06:00
92f9338978
Smart quotes
2009-01-26 23:20:27 -06:00
f34c14a0f5
Remove some usages of tuck
2009-01-23 18:20:47 -06:00
4b4d93dddd
Move at-default from unicode.case to assocs, move 2cache from classes.algebra to assocs, clean up some code to no longer use -rot, rot, pick
2009-01-20 15:27:14 -06:00
c5160d76e9
Merge qualified, alias, symbols, constants into core
2008-12-17 18:10:01 -06:00
daf2857d7b
define-inline now takes an effect parameter
...
C: now sets the stack effect of the new word to slot names
add new basis/constants vocab; CONSTANT: foo bar is equivalent to : foo bar ; inline
(going to fold CONSTANT:, ALIAS: and qualified into core soon perhaps)
tighten the screws: inline words now need a stack declaration too
update some usages of inline words
2008-12-15 19:44:56 -06:00
ea4feee886
Fix typo
2008-12-09 15:10:51 -06:00
7c1c97470f
tuple-class-unchanged? was bogusly returning f during bootstrap for classes without a superclass
2008-12-08 23:52:46 -06:00
4f0a9f311e
Untangling some dependencies
2008-12-08 14:58:00 -06:00
37b9a350cc
swap ... 3append -> surround in core
2008-12-06 18:42:41 -06:00
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
8e69362512
Better error message for INSTANCE: if second arg is not a mixin
2008-12-03 09:33:32 -06:00
c49cbe5d9c
Fix typo in the docs
2008-12-03 04:07:36 -06:00
52c5b53e27
Refactoring usages of >r, r>, -rot, rot
2008-11-30 22:21:37 -06:00
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
3e29a31493
Residual fixes for curry/compose change
2008-11-21 05:17:20 -06:00
9bf63b1613
New $quotation markup element
2008-11-16 09:03:30 -06:00
a95bb533b5
Remove more redundant branches from tuple type predicates and generic words with methods on tuple classes
2008-11-06 09:08:17 -06:00
9160e667a7
Fix tuple>array and tuple reshaping
2008-11-06 01:10:56 -06:00
cc879fa9b7
Tuple layouts are now arrays, instead of built-in types. The superclass
...
array is now part of the tuple layout object itself, and class hashcodes
are stored alongside class words there. This removes 2 indirections when
reading a superclass, and 3 when reading a superclass hashcode.
2008-11-05 22:20:29 -06:00
4fd1767768
Old fix for classes-intersect? no-method bug was incorrect; we were
...
ignoring anonymous classes in compiled-generic-crossref. Also,
forget* now calls reset-word so that references to predicates of
forgotten classes don't break the compiler with a similar error.
2008-11-05 18:32:02 -06:00
fb64c1cb45
Fix class<=; a predicate class derived from a union was not reported as being contained in the union
2008-11-04 04:59:54 -06:00
cc94894441
Fix notorious classes-intersect? bug, or at least one manifestation thereof. Turns out that we may temporarily end up with forgotten classes in the compiled-generic-crossref table. This is not a problem, since subsequently the words that reference forgotten classes will presumably be redefined and recompiled, but it does mean that (compiled-generic-usage) does need to handle this case
2008-11-04 03:38:44 -06:00
9b492b55e0
Fix minor leak: class-caches were not reset if a class was forgotten
2008-11-04 02:17:37 -06:00
7134fad54c
Add more unit tests highlighting the problem: predicate -vs- union comparison is broken
2008-11-04 02:17:22 -06:00
b4d3473d5e
Tuple parsing didn't handle line breaks properly; if scan returns f, must throw unexpected-eof
2008-11-03 21:01:50 -06:00
cdb5c30bd3
Only build a generic word once, even if a compilation unit defines several methods on it, by adding generics to a set and building them at the end. 25% improvement on bootstrap time
2008-11-03 03:51:28 -06:00
7fc44aa444
Add failing tests
2008-10-31 21:07:57 -05:00
94fa3929a8
Rice
2008-10-23 05:28:22 -05:00
325dbf3eef
Fix regression
2008-10-20 21:07:55 -05:00
ab61e5cd8c
Fix performance problem
2008-10-20 05:56:13 -05:00
d2dd7288b3
Fix parser bug with multi-line tuple literals
2008-10-08 23:43:37 -05:00
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
34952ff5c4
Faster call-next-method
2008-10-01 08:20:49 -05:00
c3f9d2180a
Fix typo
2008-10-01 03:35:41 -05:00
78881e1368
Better error message with invalid tuple literals
2008-09-24 21:23:26 -05:00
3d790d8ac8
Memory ricing to make deploy tests pass on Mac OS X/PowerPC
2008-09-19 00:26:27 -05:00
44f53de164
Move make to its own vocabulary, remove fry _ feature
2008-09-10 20:07:00 -05:00
b1d26e100a
use if/when/unless-empty, docs
2008-09-06 17:10:32 -05:00
32c2543571
Documentation fixes
2008-09-06 05:12:28 -05:00
57ca685e26
New tuple syntax
2008-09-05 20:39:45 -05:00
21dfb706fb
more docs for classes
2008-09-05 16:30:58 -05:00
d12f55be31
Fix unit test failure in compiler
2008-09-03 17:24:06 -05:00
6b07c85fec
Minor fixes here and there for delegation slot removal
2008-09-03 06:05:50 -05:00
e1716d92b3
Remove delegation slot
2008-09-03 03:46:56 -05:00
1e8358eff5
Merge branch 'master' of git://factorcode.org/git/factor
2008-09-02 02:09:54 -05:00
110a5e5162
Change equality semantics
2008-09-02 02:02:05 -05:00
bef502adfc
ENABLE NEW ACCESSORS
2008-09-02 01:56:06 -05:00
20380e613e
Fix typo
2008-08-31 07:55:34 -05:00
0c304b8fc6
Removing old accessor usages from core and basis
2008-08-31 07:45:33 -05:00
f5fbd94a4c
New compiled crossref implementation
2008-08-31 01:34:00 -05:00
86e04a81dc
Fix conflict
2008-08-30 02:32:17 -05:00
3cef7c9992
Smarter usage tracking system
2008-08-30 02:31:27 -05:00
b3f3068bdc
Massive focused action #1
2008-08-30 00:09:45 -05:00
85cdb1b767
Working on new compiled usage strategy; old one was wrong
2008-08-30 00:05:27 -05:00
90bc1bc0b5
use new accessor
2008-08-29 10:37:07 -05:00
74dccc7fbf
Debugging compiler
2008-08-28 22:28:34 -05:00
a4ac751605
Starting to remove delegation
2008-08-22 23:20:49 -05:00
8b855b2445
Help lint fixes
2008-08-22 23:00:35 -05:00
40e926609a
Fixing unit tests
2008-08-22 22:07:59 -05:00
2440fc1ceb
Fixing remaining issues
2008-08-22 17:38:23 -05:00
86f11713e3
Fixing some more bugs
2008-08-22 03:12:15 -05:00
95657e5742
Remove some funny retain stack usage
2008-08-18 20:13:24 -05:00
8b55b53269
Re-implement reverse to fix obscure problem
2008-08-18 16:40:50 -05:00
4cb64aaeb8
Fixing unit tests for eval word being moved
2008-07-29 00:05:01 -05:00
d66f887736
Create basis vocab root
2008-07-28 22:03:13 -05:00
c6915b1023
Working on tuple slot propagation
2008-07-25 02:07:45 -05:00
0582f45fcb
Add more class algebra opeations
2008-07-22 01:27:52 -05:00
d0ae6bdb8f
Make array length foldable
2008-07-16 16:48:09 -05:00
817035099c
Fix erg's tuple definition bugs
2008-07-13 21:06:50 -05:00
966ef323bc
Expand allocations for simpler intrinsics
2008-07-13 03:53:34 -05:00
8160859c8b
Fixes
2008-07-12 13:12:45 -05:00
7ca3c2a878
Various minor compiler tweaks
2008-07-12 01:08:30 -05:00
2f560ffbe0
Fix typo
2008-07-11 17:46:57 -05:00
498986fe88
Fix tuple redefinition bug
2008-07-10 02:11:49 -05:00
5d9c1ea0a0
Documentation updates, rename unfold to produce
2008-07-10 01:00:27 -05:00
a8808b7087
Non-optimizing compiler now inlow inlines some primitives, this improves bootstrap time
2008-07-07 10:39:04 -05:00
78d24d5a5d
Fix unit test failures
2008-07-05 23:08:30 -05:00
1c92b20a9a
Fix two bugs
2008-07-05 20:37:28 -05:00
a8b826e8ed
Fix hang
2008-07-05 17:08:01 -05:00
48671cfca7
Fix classes.algebra unit tests
2008-07-05 04:42:58 -05:00
3dcc04675b
Merge branch 'master' of git://factorcode.org/git/factor
2008-07-05 03:07:48 -05:00
8321a41db0
Tweak to reduce image size; don't produce prototypes for tuples with all slots set to f
2008-07-05 03:07:25 -05:00
44c1c1f679
Move tuple-class to classes.tuple where it belongs
2008-07-05 00:59:39 -05:00
07d2dc58cd
Fix unit test
2008-07-04 01:32:38 -05:00
091484de98
Fix ERROR:, erg's mixin bug
2008-07-04 01:32:11 -05:00
ef2fddb1ec
Fix conflict
2008-07-03 16:46:21 -05:00
c38298f0b5
classes.tuple: use sigma
2008-07-03 13:45:32 -05:00
e876349c51
Fix tests
2008-07-03 02:50:45 -05:00
72d9c040b4
Improved ERROR:
2008-07-03 02:47:29 -05:00
2831cb8d9b
Tweaking docs, change stage2 to load less stuff
2008-07-03 01:39:45 -05:00
aeb2b9d701
Fixing unit test failures
2008-07-02 15:57:38 -05:00
f7eecc7893
Move bit-arrays and float-arrays to extra
2008-07-02 02:03:30 -05:00
537269447c
Move mirrors out of the boot image
2008-07-02 00:20:01 -05:00
f8fd065fc5
Initial value for alien slots is a BAD-ALIEN
2008-07-01 16:33:45 -05:00
664631aa23
Fixing reshaping to work with type declaration
2008-07-01 16:16:02 -05:00
dea3604264
Remove some usages of deprecated features
2008-06-30 05:22:05 -05:00
fb8723bce1
Better optimizers for new, boa
2008-06-30 03:10:43 -05:00
f7b7001f39
BOA constructors now check types
2008-06-30 01:44:58 -05:00
3b41e31584
More tuple declaration work
2008-06-29 21:37:57 -05:00
0be00f03e6
Mirrors now check sot t slot types, support type coercion for setters, instance? now infers, better transform for 'new', more efficient 'case' where keys are all wrappers
2008-06-29 02:12:44 -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
6e0d35e615
Split up huge parser vocabulary
2008-06-25 03:25:08 -05:00
045b657474
Move replicate into core; move selection sort into its own vocab; remove usages of and? and or? which are redundant now
2008-06-13 01:51:46 -05:00
685d53e264
Add gather word; faster 'implementors' using inverted index
2008-06-12 05:49:46 -05:00
c1509d5fe5
Fix more redefinition problems
2008-06-11 20:46:53 -05:00
80720cea0d
More redefinition fixes
2008-06-11 17:40:33 -05:00
c95851e34f
Bug fixes and cleanups
2008-06-11 02:58:38 -05:00
29fa4a8a54
assoc-find is no longer generic
2008-06-09 05:22:21 -05:00
ba8f1388ab
Fixing everything for mandatory stack effects
2008-06-09 02:14:14 -05:00
9dd5c9919f
Mandatory stack effect annotations
2008-06-08 15:32:55 -05:00
ec71ee0940
Bug fixes
2008-05-28 19:34:18 -05:00
a251556024
Add failing unit tests
2008-05-23 17:33:57 -05:00
14d04a37aa
Help lint fix
2008-05-11 02:12:36 -05:00
a42756abac
object is now an empty intersection
2008-05-11 01:37:37 -05:00
71cb0f9042
Disable some tests
2008-05-11 00:21:26 -05:00
dd08bdfdd1
Class algebra changes
2008-05-10 23:59:02 -05:00
53cda42d44
Add failing test
2008-05-10 18:09:10 -05:00
315110eb09
Working on intersection classes
2008-05-10 18:09:05 -05:00
0a3429810c
Fix classes.tuple unit test failures
2008-05-10 16:28:02 -05:00
fd531c1a31
rename butlast to but-last
2008-05-07 01:38:34 -05:00
9fd7b12534
Merge branch 'master' of git://factorcode.org/git/factor
2008-05-07 00:40:17 -05:00
01f20cf32d
update core to use butlast, butlast-slice
2008-05-06 12:36:49 -05:00
53832ccd2f
Fix
2008-05-06 09:01:28 -05:00
d1a3b64569
Fix class sorting again
2008-05-02 17:36:31 -05:00
5a29b2e273
Class linearization
2008-05-02 02:51:38 -05:00
e264537a1a
reverse the arguments of diff, assoc-diff
...
fix lots of usings
fix help-lint
2008-04-26 02:01:06 -05:00
15402ed1b4
core changes:
...
index* -> index-from
last-index* -> last-index-from
1 tail -> rest
1 tail-slice -> rest-slice
subset -> filter
prepose
find* -> find-from
find-last* -> find-last-from
before, after generic, < for integers
make between? work for timestamps
2008-04-25 23:12:44 -05:00
55f6636bc0
FFI string encoding conversion
2008-04-20 05:15:46 -05:00
3b795b6a07
Fix class< bug
2008-04-19 02:11:40 -05:00
7f89cb73a1
Fix bootstrap
2008-04-14 05:27:04 -05:00
70bec926d0
New convention for parametrized constructors: new-* instead of construct-*
2008-04-14 05:07:31 -05:00
d42ae9508f
Merge with erg's changes
2008-04-14 04:42:43 -05:00
5fda0ed040
Throw error if superclass is not a tuple class
2008-04-14 03:54:02 -05:00
4597cab824
move some words to sets
...
write docs for sets
started on usings..
2008-04-14 02:20:37 -05:00
2edd0fefc9
new -> new-sequence
...
construct-empty -> new
construct-boa -> boa
diff -> assoc-diff
union -> assoc-union
intersect -> assoc-intersect
2008-04-13 22:58:07 -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
0f4ac3a8dc
Slot shadow warnings
2008-04-07 20:44:43 -05:00
d5667fd4b1
Better hashcodes
2008-04-05 07:35:51 -05:00
f7f43fa689
ABOUT: updates vocabulary
2008-04-05 07:00:09 -05:00
d046c3b614
Documentation updates
2008-04-04 19:40:08 -05:00
8f8d78d73d
Documentation updates
2008-04-04 09:57:06 -05:00
9e227d394e
Remove redundant code
2008-04-04 05:09:58 -05:00
b040d4d033
Convert prettyprinter to inheritance
2008-04-04 04:33:35 -05:00
82fc8f18db
Converting core to use inheritance
2008-04-04 03:46:30 -05:00
ef4046cda9
Converting code to use inheritance
2008-04-04 00:33:06 -05:00
f2440381cd
More documentation updates
2008-04-03 21:29:49 -05:00
cc2f512287
New classes.builtin vocab
2008-04-03 21:19:20 -05:00
8245d65a6c
Documentation updates
2008-04-03 19:08:34 -05:00
16377be935
Use call-next-method
2008-04-03 05:57:20 -05:00
54265a9f4c
Final inheritance fixes
2008-04-03 04:58:37 -05:00
93d9722a6b
Fix class resetting
2008-04-03 00:21:53 -05:00
192471badb
Merge branch 'master' of git://factorcode.org/git/factor
2008-04-02 21:31:50 -05:00
Slava Pestov
Slava Pestov
Doug Coleman
Joe Groff
Doug Coleman
Slava Pestov
Slava Pestov
slava
Eduardo Cavazos
Slava Pestov
Slava Pestov