X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=TODO;h=7de20729aaac912b93e5fddb81de0e9beb7f95f3;hb=e1ba5a0d68ff8d4c8e688cd6a951aea1d56b1b61;hp=2eb9781323ffa1e133e1a48fcd0a409118c59e71;hpb=a92c91a4fdcdcf1c96b33339c1ef077243183187;p=sbcl.git

diff --git a/TODO b/TODO
index 2eb9781..7de2072 100644
--- a/TODO
+++ b/TODO
@@ -1,32 +1,13 @@
-for 0.7.0:
-
-* filed off the roughest edges (or, perhaps, at least hammered down the
-	protruding rusty nails and snipped off the trailing razor wire,
-	leaving some filing for later:-) from the monster
-	EVAL/EVAL-WHEN/%COMPILE/DEFUN/DEFSTRUCT cleanup:
-* more renaming in global external names:
-	** reserved DO-FOO-style names for iteration macros
-	** finished s/FUNCTION/FUN/
-	** s/VARIABLE/VAR/
-	** perhaps s/DEF-FROB/DEF/ or s/DEF-FROB/DEFINE/
-* Perhaps rename "cold" stuff (e.g. SB-COLD and src/cold/) to "boot".
-* pending patches and bug reports that go in (or else get handled
-	somehow, rejected/logged/whatever) before 0.7.0:
-=======================================================================
 for early 0.7.x:
 
-* patches postponed until after 0.7.0:
-	** CSR "rough patch to fix bug 106" 2001-10-28
-	** Alexey Dejneka "bug 111" 2001-12-30
-* building with CLISP (or explaining why not). This will likely involve
-	a rearrangement of the build system so that it never renames
-	the output from COMPILE-FILE, because CLISP's COMPILE-FILE
-	outputs two (!) files and as far as I can tell LOAD uses both
-	of them. Since I have other motivations for this rearrangement
-	besides CLISPiosyncrasies, I'm reasonably motivated to do it.
 * urgent EVAL/EVAL-WHEN/%COMPILE/DEFUN/DEFSTRUCT cleanup:
 	** made inlining DEFUN inside MACROLET work again
-	** fixed bug 137 (more)
+	** (also, while working on INLINE anyway, it might be easy
+		to flush the old MAYBE-INLINE cruft entirely, 
+		including e.g. on the man page)
+* test file reworking
+	** non-x86 ports now pass irrat.pure.lisp
+	** sparc and ppc now pass bit-vector.impure-cload.lisp
 * faster bootstrapping (both make.sh and slam.sh)
 	** added mechanisms for automatically finding dead code, and
 		used them to remove dead code
@@ -34,28 +15,31 @@ for early 0.7.x:
 		(so that slam.sh will run faster and also just because
 		ideally everything would be in cold init)
 	** profiled and tweaked
+* fixed (TRACE :REPORT PROFILE ...) interface to profiling
 * more EVAL/EVAL-WHEN/%COMPILE/DEFUN/DEFSTRUCT cleanup:
 	** made %COMPILE understand magicality of DEFUN FOO
 		w.r.t. e.g. preexisting inlineness of FOO
 	** used %COMPILE where COMPILE-TOP-LEVEL used to be used
 	** removed now-redundant COMPILE-TOP-LEVEL and 
 		FUNCTIONAL-KIND=:TOP-LEVEL stuff from the compiler
-	** made FUNCTION-NAME logic work on closures, so that
+	** (ideally, but perhaps too hard, given what I've discovered
+		about the godawful internals of function debug names):
+		made FUNCTION-NAME logic work on closures, so that
 		various public functions like CL:PACKAGEP which
 		are now implemented as closures (because
 		they're structure slot accessors) won't be so
 		nasty in the debugger
-	** %SLOT-ACCESSOR/%SLOT-ACCESSOR stuff can probably go away,
-		since we inline expand all slot accessors into 
-		%INSTANCE-REF and the optimizer knows all it needs
-		to know about that.
 * rewrote long-standing confusing error restarts for redefining
 	DEFSTRUCTs
 * outstanding embarrassments
 	** cut-and-pasted DEF-BOOLEAN-ATTRIBUTE (maybe easier to fix
-		now that EVAL-WHEN does what it should..)
-	** incomplete manual
-	** :IGNORE-ERRORS-P cruft in stems-and-flags.lisp-expr
+		now that EVAL-WHEN works correctly..)
+	** :IGNORE-ERRORS-P cruft in stems-and-flags.lisp-expr. (It's
+		reasonable to support this as a crutch when initially
+		bootstrapping from balky xc hosts with their own
+		idiosyncratic ideas of what merits FAILURE-P, but it's
+		embarrassing to have to use it when bootstrapping 
+		under SBCL!),
 	** weird double-loading (first in GENESIS, then in warm init)
 		of src/assembly/target/*.lisp stuff, and the associated
 		weirdness of the half-baked state (compiler almost but
@@ -74,14 +58,16 @@ for early 0.7.x:
 			os_trunc_foo(), os_round_up_foo()
 		** removed various avoid-evaluating-C-macro-arg-twice
 			cruft
-* added mechanisms for automatically finding dead symbols is
+* added mechanisms for automatically finding dead symbols in
 	package-data.lisp-expr (i.e. those symbols not bound,
 	fbound, defined as types, or whatever), and used them
 	to remove dead symbols
-* made system handle stack overflow safely unless SAFETY is dominated
-	by SPEED or SPACE
-* Probably get rid of or at least rework the fdefinition/encapsulation
-	system so that (SYMBOL-FUNCTION 'FOO) = (FDEFINITION 'FOO).
+* Either get rid of or at least rework the fdefinition/encapsulation
+	system so that (SYMBOL-FUNCTION 'FOO) is identically equal to
+	(FDEFINITION 'FOO).
+* building using CLISP (since building under OpenMCL works, this is
+	reduced to "it would be nice" rather than "as proof of concept")
+
 =======================================================================
 for 0.9:
 
@@ -158,7 +144,7 @@ are still welcome!) until after 1.0:
 		out of scope. (However, it still might be possible to
 		determine that some or all of them are hopelessly stale
 		and delete them.)
-===============================================================================
+=======================================================================
 other known issues with no particular target date:
 
 bugs listed on the man page