X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=TODO;h=561c9bdfa00a319223a64f74e4dc56455bca3302;hb=c10e4afc31e25003cc2500803ceb7589232e7f6b;hp=fb776be0a6a050906efce132273f24a578746ad5;hpb=2481b0d0f223640c43032f75b689608f8fa332db;p=sbcl.git

diff --git a/TODO b/TODO
index fb776be..561c9bd 100644
--- a/TODO
+++ b/TODO
@@ -1,12 +1,9 @@
-for early 0.7.x:
+for early 0.8.x:
 
-* building with CLISP (or explaining why not)
-* urgent EVAL/EVAL-WHEN/%COMPILE/DEFUN/DEFSTRUCT cleanup:
-	** 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)
-	** fixed bug 137 (more)
+* test file reworking
+	** non-x86 ports now pass irrat.pure.lisp
+	** ports with less than 256Mb of heap (sparc, ppc and mips)
+		now don't fail 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
@@ -28,28 +25,22 @@ for early 0.7.x:
 		are now implemented as closures (because
 		they're structure slot accessors) won't be so
 		nasty in the debugger
-* 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 works correctly..)
-	** incomplete manual
 	** :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
-		not quite ready for prime time..) of the system after
-		cold init
 * fixups now feasible because of pre7 changes
-	** ANSIfied DECLAIM INLINE stuff (deprecating MAYBE-INLINE)
+	** ANSIfied DECLAIM INLINE stuff (deprecating MAYBE-INLINE,
+		including e.g. on the man page)
 * miscellaneous simple refactoring
 	* belated renaming:
 		** renamed %PRIMITIVE to %VOP
+		** A few hundred things named FN and FCN should be
+			named FUN (but maybe not while drichards is
+			working on a Windows port).
 	* These days ANSI C has inline functions, so..
 		** redid many cpp macros as inline functions: 
 			HeaderValue, Pointerp, CEILING, ALIGNED_SIZE,
@@ -58,23 +49,26 @@ 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 in
-	package-data.lisp-expr (i.e. those symbols not bound,
-	fbound, defined as types, or whatever), and used them
-	to remove dead symbols
 * 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:
 
+[ note: much of the below refers to preparation for merging SB-PCL:FOO
+  and CL:FOO.  However, it turned out to be surprisingly
+  straightforward to do this notional end goal without doing many of
+  the preparatory operations.  That doesn't mean that plenty of the
+  goals below aren't worthwhile, but the motivation is somewhat
+  different. ]
+
 * refactored in preparation for moving CLOS into cold init and merging
 	SB-PCL:FOO with CL:FOO (for FOO=CLASS, FOO=CLASS-OF, etc.)
-	** systematized support for MOP (new regression tests, maybe
-		new SB-MOP package..) to try to make sure things don't
-		get mislaid in the upcoming CLOS restructuring
-	** extracted type system from SB-KERNEL into new SB-TYPE
-		package
+	** systematized support for MOP (more regression tests, maybe) 
+		to try to make sure things don't get mislaid in the 
+		upcoming CLOS restructuring
+	** extracted type system (and maybe CLASSOIDs) from SB-KERNEL 
+		into new SB-TYPE package
 	** reimplemented GENERIC-FUNCTION as a primitive object (or
 		maybe made SB-MOP:FUNCALLABLE-STANDARD-OBJECT the
 		primitive object, and then let GENERIC-FUNCTIONs
@@ -105,7 +99,6 @@ for 0.9:
 * (maybe) more refactoring in preparation for merging SB-PCL:FOO
 	into CL:FOO: reimplemented type system OO dispatch
 	(!DEFINE-TYPE-METHOD, etc.) in terms of CLOS OO dispatch
-* merged SB-PCL:FOO into CL:FOO (and similarly CLASS-OF, etc.)
 * added some automatic tests for basic binary compatibility, in hopes
 	that it might be practical to maintain binary compatibility
 	between minor maintenance releases on the stable branch (but no
@@ -125,6 +118,10 @@ other priorities, no particular time:
 	personal itch): I don't want socket-level stuff so much as I
 	want RPC-level or higher (CORBA?) interfaces and (possibly
 	through RPC or CORBA) GUI support
+* Especially when ldb is not compiled in, the default "assertion failed"
+	behaviour in many parts of the runtime is unfriendly.  It may
+	be appropriate to look at some of these and see if they can be 
+	handled in some less abrupt way than aborting
 =======================================================================
 important but out of scope (for WHN, anyway: Patches from other people
 are still welcome!) until after 1.0: