X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=TODO;h=fc2a12d7974208e4d0303e58d221b1a8f71ae711;hb=6c4d4d984b1af6b2a73568cec3ab9c8795cff2da;hp=c15d321bb3005c102d5d5898ffbd5e3a4e9710b5;hpb=23f1e2ef66bcc31ca7ea765a82a97998119aa4d5;p=sbcl.git

diff --git a/TODO b/TODO
index c15d321..fc2a12d 100644
--- a/TODO
+++ b/TODO
@@ -1,31 +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:
-	** made inlining DEFUN inside MACROLET work again
-	** whatever bug it is that causes s/#'(lambda/(lambda/ to 
-		cause compilation failure in condition.lisp
-	** perhaps function debug name quick fix, if there's an easy way
-* more renaming in global external names:
-	** reserved DO-FOO-style names for iteration macros
-	** finished s/FUNCTION/FUN/
-	** s/VARIABLE/VAR/
-	** s/TOP-LEVEL/TOPLEVEL/
-	** perhaps s/DEF-FROB/DEF/ or s/DEF-FROB/DEFINE/
-* global style systematization:
-	** s/#'(lambda/(lambda/
-* 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:
-	** Christophe Rhodes "rough patch to fix bug 106" 2001-10-28
-* building with CLISP (or explaining why not)
 * urgent EVAL/EVAL-WHEN/%COMPILE/DEFUN/DEFSTRUCT cleanup:
-	** fixed bug 137
+	** made inlining DEFUN inside MACROLET work again
+	** (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
@@ -33,28 +15,29 @@ 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
@@ -73,14 +56,9 @@ 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
-	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).
 =======================================================================
 for 0.9:
 
@@ -157,7 +135,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