Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

migrate old "Bugs to fix" list to TODO

  • Loading branch information...
commit ac4b8ed0e2fc1aa4ed1b52f4994911dd164c0ee7 1 parent f7e2953
@nikodemus nikodemus authored
Showing with 24 additions and 19 deletions.
  1. +24 −7 TODO
  2. +0 −12 screamer.lisp
View
31 TODO
@@ -1,10 +1,27 @@
-* WIP Documentation
+* Documentation
*** WIP Copy available docs from screamer.ps to docstrings.
*** TODO Find / write docs for then still undocumented exported functions.
*** WIP A web-friendly manual
-* TODO Rewrite dynamic-extent continuations using FLET
- At least SBCL cannot currently stack-allocate a let-bound lambda,
- but manages FLET and LABELS just fine.
-* TODO Dynamic-extent in CPS-CONVERT-TAGBODY.
-* TODO TEST-OP for the system.
-* TODO See if it would make sense to make nondeterministic functions funcallable instances.
+* Performance
+*** TODO Rewrite dynamic-extent continuations using FLET
+ At least SBCL cannot currently stack-allocate a let-bound lambda,
+ but manages FLET and LABELS just fine.
+*** TODO Dynamic-extent in CPS-CONVERT-TAGBODY.
+* Maintenance
+*** TODO TEST-OP for the system.
+* Old "Bugs to fix" list from screamer.lisp
+ These haven't been verified or anything, just moved here.
+*** TODO LOCAL SETF does the wrong thing with GETHASH.
+*** TODO LOCAL (SETF/SETQ X e) will signal an error if X is unbound
+ because it needs to trail the previous value of X and it has none.
+*** TODO Deterministic/nondeterministic LOCAL SETF/SETQ undone out of order.
+*** TODO Changing determinism status
+ can cause code from a different file to be included causing wierd behavior.
+*** TODO Will signal an obscure error if FAIL is called in a deterministic
+ context which is not nested in a choice point.
+
+*** TODO May loop when expressions contain circular lists.
+*** TODO APPLY-NONDETERMINISTIC conses.
+* Future Work
+*** TODO See if it would make sense to make nondeterministic functions funcallable instances.
+
View
12 screamer.lisp
@@ -65,18 +65,6 @@
;;; 19. Backtracking out of INTEGER-BETWEENV and the like will yield an
;;; unconstrained variable since the constraints are asserted locally.
-;;; Bugs to fix
-;;; 1. LOCAL SETF does the wrong thing with GETHASH.
-;;; 2. LOCAL (SETF/SETQ X e) will signal an error if X is unbound because it
-;;; needs to trail the previous value of X and it has none.
-;;; 3. Deterministic/nondeterministic LOCAL SETF/SETQ undone out of order.
-;;; 4. Changing determinism status can cause code from a different file to
-;;; be included causing wierd behavior.
-;;; 5. Will signal an obscure error if FAIL is called in a deterministic
-;;; context which is not nested in a choice point.
-;;; 6. May loop when expressions contain circular lists.
-;;; 7. APPLY-NONDETERMINISTIC conses.
-
;;; Limitations
;;; 1. Does not handle SETF methods with multiple values for LOCAL SETF.
;;; 2. If you do a (SETF (SYMBOL-FUNCTION 'FOO) ...) to a nondeterministic
Please sign in to comment.
Something went wrong with that request. Please try again.