diff --git a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt index f0b91b3c5e..b2956dfc36 100644 --- a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt +++ b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt @@ -1,5 +1,9 @@ #lang racket/base +;; ***************************************** +;; SEE todo.txt FOR HOW TO ADD A NEW FEATURE +;; ***************************************** + (require lang/private/teachprims (for-syntax racket/base lang/private/rewrite-error-message) diff --git a/pkgs/htdp-pkgs/htdp-lib/test-engine/todo.txt b/pkgs/htdp-pkgs/htdp-lib/test-engine/todo.txt new file mode 100644 index 0000000000..fa5cc48930 --- /dev/null +++ b/pkgs/htdp-pkgs/htdp-lib/test-engine/todo.txt @@ -0,0 +1,45 @@ + +;; ***************************************************************************** + +BIGGEST FAILURE: + There is no single point of control for anything here. + + + + +TestEngine : + -- split up to test at various language levels + -- run automated tests (at the moment the test suite isn't really tested) + +;; ***************************************************************************** +To add a check-* feature to the HtDP languages, you need to: + +1. htdp-lib/test-engine + create the basic functionality in racket-tests.rkt + add a structure to test-info.scm for reporting test failures + modify test-display.scm test-engine.rkt so that they display failures in + gui and repl, respectively + +2. htdp-test/test-engine: + add tests to TestEngineTest.rkt + +3. htdp-lib/lang: + propagate the new name in + htdp-beginner.rkt htdp-beginner-abbr.rkt htdp-intermediate.rkt htdp-intermediate-lambda.rkt htdp-advanced.rkt + + raco setup htdp; drracket test-file-for-new-syntax-in-bsl-and-isl+ [see 2] + +4. htdp-doc/test-engine + htdp-doc/lang/scribblings + + edit the following, follow the check-random example: + beginner.scrbl + beginner-abbr.scrbl + intermediate.scrbl + intermediate-lambda.scrbl + advanced.scrbl + prim-ops.rkt + std-grammar.rkt + + raco setup scribblings +