Accumulated non-code adjustments; TODO.LSA

diff --git a/docs/TODO.LSA b/docs/TODO.LSA
index 40438c162073e042062fb5f441aff617bf4ff5f8..8d7156f42d8ca8be0746a1cba64175b29c83156e 100644 (file)
--- a/docs/TODO.LSA
+++ b/docs/TODO.LSA
@@ -26,10 +26,6 @@ Abstract unification really ought not unroll recursion quite so eagerly as
 it does. (Probably no time to deal with this; low priority anyway as it only
 impacts speed of compilation)
 
-Liveness and fakeness of unification (after LSA?)
-
-Unification alias tracking (after LSA?)
-
 ----- Backend
 
 ",/2" runtime error if first argument is not true or false
@@ -45,22 +41,14 @@ Prioritization heuristic
 
 Maybe something better for initializers or update API? (Low priority)
 
-DOpAMine improvements for non-ground structure (probably no time!)
-
 ----- Documentation
 
-Forward port shortest path tutorial
-
-Mention ^C in documentation for diverging programs.
-
 Be sure to mention, repeatedly, that this is experimental software and is
 likely to break both early and often.  Explain the difference between panic
 messages and errors.
 
 ----- REPL
 
-Make use of resumable parsing functionality
-
 ----- Whole pipeline
 
 Can we extract backpointers from the chart or generate code to do so?
@@ -74,6 +62,8 @@ How about... (other things students might want to do)
 
 ----- Things that still have bits and bobs pending
 
+Forward port shortest path tutorial
+
 Queries (initializers), new rule insertions (both plans and initializers)
 
 Need some better mechanism for executing queries after the agenda empties.

diff --git a/misc/ghc-bootstrap.sh b/misc/ghc-bootstrap.sh
index c7b0725e8825bed325dc7d8a8f14eef53cbdabe1..1c56d3bff69687e81bfb5da7f03758a4b32c9089 100644 (file)
--- a/misc/ghc-bootstrap.sh
+++ b/misc/ghc-bootstrap.sh
@@ -113,6 +113,7 @@ case $CMD in
         test-framework \
         test-framework-golden \
         test-framework-hunit \
+        test-framework-program \
         test-framework-quickcheck2 \
         test-framework-smallcheck \
         test-framework-th \

diff --git a/misc/vimrc b/misc/vimrc
index 8e5ad90f3ba423737490e99312ba359129faa4a6..a5bbbe21e8620aa0f50f329661fed8cd83e3ea50 100644 (file)
--- a/misc/vimrc
+++ b/misc/vimrc
@@ -1,3 +1,6 @@
 "Run "vim -S vimrc" to source this file and apply project-specific settings
 
 let g:hdevtools_options = '-g-isrc'
+
+set expandtab
+set foldmethod=marker