On 05/04/2006 10:53 AM, Gabriel Dos Reis wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| Hi Bill, hello Gaby,
|
| Look at this...
|
| http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00262.html
Many thanks.
Obviously, there have been many talks about this noweb thingy. I just
don't understand why it lingers for so long.
| I would even say: Throw away the noweb sources, throw away this awk
| script and rather go to the Axiom sources and correct a usage of an
| undefined chunk. Why would one want to have undefined chunks in the
| first place?
If people agree that the undefined chunks are bugs, then this whole
noweb stuff is an unfortunate mystifying coverup.
| See also
|
| http://lists.gnu.org/archive/html/axiom-developer/2005-12/msg00247.html
|
| That is a bug. Ahm, was a bug, because "noweb 2.11 - released 6 April
| 2006" (http://www.eecs.harvard.edu/~nr/noweb/dist/noweb/CHANGES) seems
| to have corrected it. I've not yet time to check 2.11, though.
Do you think you will have a chance to test it soon?
-- Gaby
Below you find the example of the code that I sent to Norman Ramsey.
I've just downloaded noweb 2.11 and compiled it. No problem with the
code below anymore. BUT... see next mail.
Ralf
-----------------------------------------------------------------------
--Mail from Wed, 24 Aug 2005 14:02:55 +0200
--To: [EMAIL PROTECTED]
Is it by design that
/usr/lib/noweb/markup test.nw > out.markup
gives
echo $?
2
and as output
test.nw:3: unescaped << in documentation chunk
test.nw:5: Module name doesn't end
test.nw:5: unescaped << in documentation chunk
test.nw:6: Module name doesn't end
test.nw:6: unescaped << in documentation chunk
for the little file test.nw
%%%%% test.nw %%%%%
A test file.
<<*>>=
-- Here comes some code
<<: A -> B
<<: (A, B) -> X
@
and we go on with the text.
%%%%%% end test.nw %%%%
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
