From 2610a45ff0c3cb5a4eae2f02f2c6cb2d1d52d6b5 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Thu, 13 Jun 2013 16:42:12 -0400 Subject: [PATCH] Accumulated non-code adjustments; TODO.LSA --- docs/TODO.LSA | 14 ++------------ misc/ghc-bootstrap.sh | 1 + misc/vimrc | 3 +++ 3 files changed, 6 insertions(+), 12 deletions(-) diff --git a/docs/TODO.LSA b/docs/TODO.LSA index 40438c1..8d7156f 100644 --- 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 c7b0725..1c56d3b 100644 --- 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 8e5ad90..a5bbbe2 100644 --- 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 -- 2.50.1