E updoc problems

It's hard to know whether changes I make to E break the unit tests,
because so many of them fail anyway. From a few quick experiments, here
are some lists that might be useful to others:

Updoc tests that fail in the official 0.9.2 release (r638):

./esrc/com/hp/donutLab/makeIOUIssuer.updoc
./esrc/com/opencola/drm/example/MintMaker.updoc
./esrc/org/erights/e/elang/cmd/cmdLoopMakerAuthor.updoc
./esrc/org/erights/e/elang/cmd/controlLoopMaker.updoc
./esrc/org/erights/e/elang/expand/__suchThat.emaker
./esrc/org/erights/e/elang/interp/makeBootServer.updoc
./esrc/org/erights/e/elang/interp/makeQuoteln.emaker
./esrc/org/erights/e/elang/interp/makeServer.updoc
./esrc/org/erights/e/elib/extern/CommandMakerAuthor.updoc
./esrc/org/erights/e/elib/ref/makeLazyPromiseAuthor.emaker
./esrc/org/erights/e/elib/sealing/makeVOCPair.emaker
./esrc/org/erights/e/elib/slot/lamport.updoc
./esrc/org/erights/e/elib/slot/whenever.emaker
./esrc/org/erights/e/examples/arith/makeRational.updoc
./esrc/org/erights/e/extern/persist/persist.updoc
./esrc/org/erights/e/facet/makeCaretaker.updoc
./esrc/org/erights/e/tools/args/makeCapExporter.updoc
./esrc/org/erights/e/tools/html/htmlTokenizer.emaker
./esrc/org/quasiliteral/schema/makeSchema.emaker
./esrc/scripts/maint/ButtonPointer.e
./esrc/scripts/test/audit-test.e
./esrc/scripts/test/updoc/counter-client.updoc
./esrc/scripts/test/updoc/evalServer.updoc
./esrc/scripts/test/updoc/proxy.updoc
./esrc/scripts/test/updoc/race.updoc
./esrc/scripts/webServer/ewalnut.html
./jsrc/com/zooko/tray/EPainter.updoc
./jsrc/org/erights/e/elib/sealing/amplify.updoc
./jsrc/org/erights/e/elib/sealing/point.updoc
./jsrc/org/erights/e/elib/tables/cycleBreaker.updoc
./jsrc/org/quasiliteral/term/Term.updoc
./jsrc/org/quasiliteral/term/toy-grammar.updoc
./jsrc/tests/fail2.updoc
./jsrc/tests/fail.updoc

Tests that pass in 0.9.2:

./esrc/org/erights/e/install/props/copySubstFromProps.emaker
./esrc/org/erights/e/elang/expand/__Empty.emaker
./esrc/org/erights/e/elang/expand/__is.emaker
./esrc/org/erights/e/elang/expand/__bind.emaker
./esrc/org/erights/e/elang/expand/__splitList.emaker
./esrc/org/erights/e/elang/expand/__extract.emaker
./esrc/org/erights/e/elang/expand/__matchBind.emaker
./esrc/org/erights/e/elang/syntax/termE__quasiParser.emaker
./esrc/org/erights/e/elang/control/lambdaArg.updoc
./esrc/org/erights/e/elang/control/__dynamicExtent.emaker
./esrc/org/erights/e/elang/control/makeSeries.updoc
./esrc/org/erights/e/elang/interp/require.emaker
./esrc/org/erights/e/elang/interp/promiseAllResolved.emaker
./esrc/org/erights/e/elang/scope/test/import-cycle.updoc
./esrc/org/erights/e/elang/cmd/cmdMakerMaker.updoc
./esrc/org/erights/e/elang/visitors/makeMetaEval.emaker
./esrc/org/erights/e/elib/slot/makeLazySlot.emaker
./esrc/org/erights/e/elib/slot/near.emaker
./esrc/org/erights/e/facet/makeMembraneAuthor.updoc
./esrc/org/erights/e/facet/once.emaker
./esrc/org/erights/e/facet/makeGrantMgrAuthor.updoc
./esrc/org/erights/e/tools/collect/propUtils.updoc
./esrc/org/erights/e/tools/collect/reverse.emaker
./esrc/org/erights/e/tools/collect/makeStitchPair.emaker
./esrc/org/erights/e/tools/args/interimArgParser.updoc
./esrc/org/erights/e/tools/files/leaves.emaker
./esrc/org/erights/e/tools/java/fixImports.emaker
./esrc/org/erights/e/tools/html/html2txt.emaker
./esrc/org/erights/e/tools/html/html2updoc.emaker
./esrc/org/erights/e/examples/concurrency/makeQueue.emaker
./esrc/org/erights/e/examples/concurrency/QMaker.emaker
./esrc/org/erights/ex/swing/JPanel__quasiParser.emaker
./esrc/org/quasiliteral/text/convertHoles.emaker
./esrc/org/quasiliteral/text/nest__quasiParser.emaker
./esrc/com/hp/orc/orc.updoc
./esrc/com/skyhunter/convertForEDoc/bounds.updoc
./esrc/com/skyhunter/convertForEDoc/edoc.updoc
./esrc/scripts/maint/srccheck-post.e
./esrc/scripts/test/updoc/makeScope.updoc
./esrc/scripts/test/updoc/baseLoader.updoc
./esrc/scripts/test/updoc/FlexList.updoc
./esrc/scripts/test/updoc/guardMatching.updoc
./esrc/scripts/test/updoc/intro.updoc
./esrc/scripts/test/updoc/coercion.updoc
./esrc/scripts/test/updoc/files.updoc
./esrc/scripts/test/updoc/propUtils.updoc
./esrc/scripts/test/updoc/miranda.updoc
./esrc/scripts/test/updoc/facet-problem.updoc
./esrc/scripts/test/updoc/char-arith.updoc
./esrc/scripts/test/updoc/bind-expansion.updoc
./esrc/scripts/test/updoc/getAllegedType.updoc
./esrc/scripts/test/updoc/pass-by-construction.updoc
./esrc/scripts/test/updoc/dist-cycle.updoc
./esrc/scripts/test/updoc/no-newline-bug.updoc
./esrc/scripts/test/updoc/abc.updoc
./esrc/scripts/test/updoc/orderedRegion.updoc
./esrc/scripts/test/updoc/shortFlexList.updoc
./esrc/scripts/test/updoc/deENodeKit.updoc
./esrc/scripts/test/updoc/traversal-key.updoc
./esrc/scripts/test/updoc/mod.updoc
./esrc/scripts/test/updoc/match-bind-expansion.updoc
./esrc/edu/jhu/cs448/contact/contactKit.updoc
./esrc/edu/jhu/cs448/contact/makeOpenQueue.emaker
./esrc/edu/jhu/markm/thesis/actors.updoc
./jsrc/org/erights/e/elang/syntax/exporter.updoc
./jsrc/org/erights/e/elang/scope/meta-scope.updoc
./jsrc/org/erights/e/elang/scope/redef.updoc
./jsrc/org/erights/e/elang/scope/meta-context.updoc
./jsrc/org/erights/e/elib/sealing/crypto/signing.updoc
./jsrc/org/erights/e/elib/debug/Traceln.java
./jsrc/org/erights/e/elib/tables/FlexList.updoc
./jsrc/org/erights/e/elib/tables/trijection.updoc
./jsrc/org/erights/e/elib/tables/cycleBreaker2.updoc
./jsrc/org/quasiliteral/quasiterm/lessgreedy.updoc
./jsrc/net/captp/jcomm/multi-test.updoc
./jsrc/net/captp/jcomm/bad-resolve.updoc
./jsrc/net/captp/jcomm/refmon.updoc
./jsrc/net/captp/tables/AnswersTable.updoc
./esrc/org/erights/e/ui/swt/watchAuthor.emaker

Tests that passed in 0.9.2 but fail in trunk:

./esrc/org/erights/e/elib/slot/near.emaker
./esrc/org/erights/e/tools/html/html2txt.emaker
./esrc/scripts/test/updoc/no-newline-bug.updoc
./jsrc/org/erights/e/elang/scope/meta-context.updoc
./jsrc/org/erights/e/elib/debug/Traceln.java

Of these, the first two are from my change to only show stack-traces in
updoc when the exception wasn't expected. I've removed the stack-traces
from those two tests.

The third was due to updoc misinterpreting a blank line in a syntax
error as marking the start of a stack-trace (my changes turned this
into an error). I updated to test to work around that.

The meta-context was due to Scope.with changing FinalPatterns into
SlotPatterns. I don't think this matters, so I updated the test case.

The Traceln one was due to my updoc changes not coping properly with
ignored files (the Java code contains updoc tests, but updoc ignores
*.java files).

My "next" branch contains these fixes. So, as far as I can tell my
contributions haven't broken anything, but it would be good if the other
tests passed too. Also, the successful tests display quite a few
exceptions - mostly "makeEvaluator shutdown" - but I guess that's
harmless?


-- 
Dr Thomas Leonard
IT Innovation Centre
2 Venture Road
Southampton
Hampshire SO16 7NP

Tel: +44 0 23 8076 0834
Fax: +44 0 23 8076 0833
mailto:tal-v5nx5w6akNyLE8xUarVfuPLx9OUvmyODWmv/[email protected]
http://www.it-innovation.soton.ac.uk