86da8ebed9
Instead of bumping the definition counter every time in the VM, bump it only if stack effects changed or macros were redefined
2009-11-13 03:52:14 -06:00
5d79450d9d
Use a more compact representation for "compiled-uses" and "compiled-generic-uses" word-props; reduces image size
2009-11-08 06:08:04 -06:00
50f5c3d116
remq -> remove-eq, delq -> remove-eq!
2009-10-28 00:23:08 -05:00
405e5d015b
docs: change $subsection to $subsections
2009-10-02 12:15:48 -04:00
0b9212a2d6
Oops
2009-05-01 08:21:31 -05:00
e9e095f240
Rename enable/disable-compiler to enable/disable-optimizer, and add with-optimizer and without-optimizer combinators
2009-05-01 05:52:05 -05:00
7d0ae65adc
Don't call notify-error-observers if there weren't any new definitions
2009-04-24 01:19:28 -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
469c9ee21d
Debugging stack checking
2009-04-21 16:09:53 -05:00
f38d2f91f6
Words which didn't compile cannot be run at all
2009-04-20 22:05:41 -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
83b7ac3f3a
Forgetting a definition removes compile error
...
Notify definition observers with nested compilation units
2009-04-15 00:27:02 -05:00
e52be965f0
Finish moving compiler.errors to basis
2009-04-13 02:50:23 -05:00
d227fcd33f
Move compiler.errors to basis
2009-04-13 02:18:41 -05:00
e595576dc3
Make more words infer
2009-04-12 23:01:14 -05:00
c4be8bd65a
Refactor error code so that error types are registered; listener prints a summary of errors
2009-04-12 16:08:46 -05:00
0420b39f4f
Make source file error types a bit more extensible
2009-04-11 22:26:24 -05:00
e5df0559eb
Working on adding help-lint errors to error list
2009-04-11 20:30:09 -05:00
0a7485190b
compile-error-type => source-error-type; make test failures global
2009-04-10 03:52:12 -05:00
7adb76aaf4
Factor out some compiler error code into source-files.errors
2009-04-09 04:50:38 -05:00
b5c5991747
Working on UI compile error viewer tool
2009-03-28 04:19:02 -05:00
6080c6e734
Fix stack effect redefinition
2009-03-22 20:16:31 -05:00
54e824ffe4
Move dummy-compiler to compiler.units; throw a better error if make-image is passed an invalid architecture
2009-03-15 19:15:28 -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
bfb6b4642a
Consultations now implement the definition protocol; removing one from a source file forgets consulted methods
2009-03-07 00:42:43 -06:00
37bc52afa8
Redefining methods didn't always update callers if more than one method on the same generic was redefined in a compilation unit
2009-03-06 23:33:30 -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
60134eeb98
Documentation fixes
2009-02-19 13:35:53 -06:00
07caee3405
Update some existing code to use initialize
2009-02-10 16:16:12 -06:00
60f36cd9c8
Update user-space code for modify-code-heap primitive change
2009-01-24 20:17:11 -06:00
f34c14a0f5
Remove some usages of tuck
2009-01-23 18:20:47 -06:00
3adaa7a18e
Add unit tests for non-optimizing compiler regression found by doublec
2009-01-22 21:22:28 -06:00
19a8a9ac9b
Minor documentation updates
2008-12-21 14:29:12 -06:00
c5160d76e9
Merge qualified, alias, symbols, constants into core
2008-12-17 18:10:01 -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
e6218fdc71
Move words from compiler.errors.private to compiler.errors
2008-11-16 13:46:21 -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
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
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
673fda2281
Fix bogus error message
2008-11-02 03:10:27 -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
d12f55be31
Fix unit test failure in compiler
2008-09-03 17:24:06 -05:00
5792783760
Fix dodgy method overloading
2008-08-31 05:19:16 -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
Slava Pestov
Slava Pestov
Keith Lazuka
Doug Coleman
Slava Pestov