Update documentation.

Author: objecthub

README.md

@@ -49,9 +49,9 @@ _LispKit_ provides support for the following core features, many of which are ba
     `(scheme eval)`, `(scheme file)`, `(scheme inexact)`, `(scheme lazy)`, `(scheme load)`,
     `(scheme process-context)`, `(scheme read)`, `(scheme repl)`, `(scheme time)`, `(scheme write)`,
     `(scheme r5rs)`
-  - LispKit-specific libraries: `(lispkit datatype)`, `(lispkit object)`, `(lispkit enum)`,
-    `(lispkit iteration)`, `(lispkit set)`, `(lispkit stack)`, `(lispkit queue)`, `(lispkit heap)`,
-    `(lispkit wt-tree)`, `(lispkit prettify)`, `(lispkit json)`,
+  - LispKit-specific libraries: `(lispkit test)`, `(lispkit datatype)`, `(lispkit object)`, `(lispkit enum)`,
+    `(lispkit logic)`, `(lispkit iteration)`, `(lispkit set)`, `(lispkit stack)`, `(lispkit queue)`,
+    `(lispkit heap)`, `(lispkit wt-tree)`, `(lispkit prettify)`, `(lispkit json)`,
     and `(lispkit pdf)`
 
 _LispKit_ is incompatible or incomplete with respect to the following R7RS features:
@@ -86,7 +86,10 @@ framework:
   - [SRFI 133: Vector Library](https://srfi.schemers.org/srfi-133/srfi-133.html)
   - [SRFI 134: Immutable Deques](https://srfi.schemers.org/srfi-134/srfi-134.html)
   - [SRFI 135: Immutable Texts](https://srfi.schemers.org/srfi-135/srfi-135.html)
+  - [SRFI 137: Minimal Unique Types](https://srfi.schemers.org/srfi-137/srfi-137.html)]
   - [SRFI 142: Bitwise Operations](https://srfi.schemers.org/srfi-142/srfi-142.html)
+  - [SRFI 145: Assumptions](https://srfi.schemers.org/srfi-145/srfi-145.html)
+  - [SRFI 151: Bitwise Operations](https://srfi.schemers.org/srfi-151/srfi-151.html)
   - [SRFI 152: String Library](https://srfi.schemers.org/srfi-152/srfi-152.html)
   - [SRFI 158: Generators and Accumulators](https://srfi.schemers.org/srfi-158/srfi-158.html)
 

TODO.md

@@ -1,32 +1,37 @@
 # Todo
 
-Last update: 2017-11-19
+Last update: 2018-03-11
 
 
 ## Compiler
 
+- [ ] Manage source locations in compiler and generated code and include source locations in error messages
+- [ ] Optimize letrec; only use variables if bindings are mutable or if there is a forward reference.
+- [ ] Figure out that references to `define`, `define-values`, `unquote`, etc. are referring to the right
+      syntax/definitions; right now, there are checks only for the definition to happen at the top-level in an
+      immutable fashion
+- [ ] Treat define-values like define in compiler (wrt. internal definitions)
+- [ ] `#;` comments (datum comments) not correctly working
 - [X] Optimization/checkpointing framework
 - [X] Use values instead of variables for all immutable bindings (do this by compiling
       forms with bindings twice, if the first run shows that a binding is mutable)
-- [ ] Optimize letrec; only use variables if bindings are mutable or if there is a forward
-      reference.
 - [X] Support (define ...) in control flow special forms
 - [X] Refactor creation of compiler; checkpointer needs to be always passed explicitly
 - [X] Support compiled system functions
 - [X] Support tail patterns in `syntax-rules`
-- [X] Within library definitions, support: `include`, `include-ci`,
-      `include-library-declarations`, `cond-expand`
+- [X] Within library definitions, support: `include`, `include-ci`, `include-library-declarations`, `cond-expand`
 - [X] Support `define-values`
 - [X] Support `cond-expand`
 - [X] Support `include-ci`
 - [X] Support features mechanism
 - [X] Fix bug preventing to nest definitions three or more times
 
+
 ## Runtime
 
 - [ ] Go through procedures that call back into the VM to check that all expressions are
       tracked by the managed object pool
-- [ ] Redesign error data model
+- [X] Redesign error data model
 - [ ] Profile virtual machine
 - [X] Implement new primitive procedure type that returns closures for execution instead
       of results
@@ -39,6 +44,8 @@ Last update: 2017-11-19
 
 ## Library
 
+- [ ] Reimplement records: to improve performance, to use make-type, to make them extensible
+- [ ] Record type checks when record accessors are called
 - [X] Implement text + binary ports based on the R7RS standard
 - [X] Implement bytevector library based on the R7RS standard
 - [X] Implement hash table library based on the R6RS standard