Re: [Axiom-developer] 20170401 sources

[Tim Daly]

The latest push (1cb0661) contains the wildcard name fix.

)help member? works but is stored as memberq.help

Tim

On Sun, May 14, 2017 at 7:55 PM, Camm Maguire <address@hidden> wrote:

Greetings!  Thanks so much for looking at this!

Take care,

Tim Daly <address@hidden> writes:

> Camm,
>
> Axiom uses a program called 'tanglec' (in books/tanglec.c) to extract
> 'chunks' from the source pamphlet files. The tanglec program will look for
>
>    \begin{chunk}{somename}
>         source code goes here
>    \end{chunk}
>
> so given a filename and a chunk name it will extract the chunk to stdout
> which are, by default, extracted to the equivalent filename, e.g.
>
>    tanglec bookvol10.3.pamphlet retractable?.help >retractable?.help
>
> so the solution for output is to rename the chunk names not to use wildcards.
> Thus I need to change it to read:
>
>    \begin{chunk}{retractableq.help}
>
> When the lisp code is trying to find the help file named 'retractable?.help
> I need to quietly mangle it to 'retractableq' and look for retractableq.help
>
> This seems a simple but, as we both know, there is no such thing as a
> simple job. Nevertheless, I'm working on the fix.
>
> Tim
>
> On Sun, May 14, 2017 at 1:11 AM, William Sit <address@hidden> wrote:
>
>     Camm, thanks for the explanation, which is way beyond my understanding. I get it that pathnames are more complicated than I realized.
>
>     William
>
>     William Sit
>     Professor Emeritus
>     Department of Mathematics
>     The City College of The City University of New York
>     New York, NY 10031
>     homepage: wsit.ccny.cuny.edu
>
>     ________________________________________
>     From: Camm Maguire <address@hidden>
>     Sent: Friday, May 12, 2017 9:24 AM
>     To: William Sit
>     Subject: Re: [Axiom-developer] 20170401 sources
>
>     Greetings!
>
>     William Sit <address@hidden> writes:
>
>     > Hi, Camm:
>     >
>     > Isn't it true to use %3F for "?" on path and url names for html? (other punctuations like space %20 are commonly used as well)? If true then
>     there is no need to change function names ending with "?".
>     >
>
>     Exactly what freedom a lisp implementation has in defining wild
>     pathnames is an interesting question.  #'open must fail on a
>     wild-pathname.  clisp and sbcl (and gcl) both recognize '*' and '?' as
>     pathname wildcards.  If '?' is defined as non-wild, then of course
>     #'directory will not expand it in producing its output.
>
>     Take care,
>
>     =============================================================================
>     ------------------------------------------------------------------------------------------------------------------------
>     ---------------------------
>     Function WILD-PATHNAME-P
>
>     Syntax:
>
>     wild-pathname-p pathname &optional field-key => generalized-boolean
>
>     Arguments and Values:
>
>     pathname---a pathname designator.
>
>     Field-key---one of :host, :device :directory, :name, :type, :version, or nil.
>
>     generalized-boolean---a generalized boolean.
>
>     Description:
>
>     wild-pathname-p tests pathname for the presence of wildcard components.
>
>     If pathname is a pathname (as returned by pathname) it represents the name used to open the file. This may be, but is not required to be, the
>     actual name of the file.
>
>     If field-key is not supplied or nil, wild-pathname-p returns true if pathname has any wildcard components, nil if pathname has none. If
>     field-key
>     is non-nil, wild-pathname-p returns true if the indicated component of pathname is a wildcard, nil if the component is not a wildcard.
>
>     Examples:
>
>      ;;;The following examples are not portable.  They are written to run
>      ;;;with particular file systems and particular wildcard conventions.
>      ;;;Other implementations will behave differently.  These examples are
>      ;;;intended to be illustrative, not to be prescriptive.
>
>      (wild-pathname-p (make-pathname :name :wild)) =>  true
>      (wild-pathname-p (make-pathname :name :wild) :name) =>  true
>      (wild-pathname-p (make-pathname :name :wild) :type) =>  false
>      (wild-pathname-p (pathname "s:>foo>**>")) =>  true ;Lispm
>      (wild-pathname-p (pathname :name "F*O")) =>  true ;Most places
>
>     Affected By: None.
>
>     Exceptional Situations:
>
>     If pathname is not a pathname, a string, or a stream associated with a file an error of type type-error is signaled.
>
>     See Also:
>
>     pathname, logical-pathname, Section 20.1 (File System Concepts), Section 19.1.2 (Pathnames as Filenames)
>
>     Notes:
>
>     Not all implementations support wildcards in all fields. See Section 19.2.2.2.2 (:WILD as a Component Value) and Section 19.2.2.3 (Restrictions
>     on
>     Wildcard Pathnames).
>
>     ------------------------------------------------------------------------------------------------------------------------
>     ---------------------------
>     =============================================================================
>
>     > William
>     >
>     > William Sit
>     > Professor Emeritus
>     > Department of Mathematics
>     > The City College of The City University of New York
>     > New York, NY 10031
>     > homepage: wsit.ccny.cuny.edu
>     >
>     > ________________________________________
>     > From: Axiom-developer <axiom-developer-bounces+wyscc=sci.ccny.cuny.edu@nongnu.org> on behalf of Camm Maguire <address@hidden>
>     > Sent: Thursday, May 11, 2017 12:53 PM
>     > To: Tim Daly
>     > Cc: axiom-dev
>     > Subject: [Axiom-developer] 20170401 sources
>     >
>     > Hi Tim!  Congratulations on releasing a new set of sources!
>     >
>     > There is an issue with your '.help files from lisp' mechanism in
>     > tangle.lisp.  You end up trying to open files like
>     > "..../retractable?.help" which is not ansi, as the pathname is wild.
>     > I'm building a patched version with '?' -> 'q' on help file writing,
>     > but I do not immediately see where to update the help system on
>     > reading.
>     >
>     > Perhaps you have a suggestion?
>     >
>     > Take care, and thanks again for all your axiom work!
>     > --
>     > Camm Maguire                                        address@hidden
>     > ==========================================================================
>     > "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>     >
>     >
>     > _______________________________________________
>     > Axiom-developer mailing list
>     > address@hidden
>     > https://urldefense.proofpoint.com/v2/url?u=https-3A__lists.nongnu.org_mailman_listinfo_axiom-2Ddeveloper&d=DgICAg&c=
>     4NmamNZG3KTnUCoC6InoLJ6KV1tbVKrkZXHRwtIMGmo&r=qW9SUYRDo6sWEVPpx7wwWYZ79PdSWMRxNZvTih0Bkxc&m=jKPZYt0l9-Gq2G7mULUdnuY7RoMtJlBrPjLRzBCHak4&s=
>     VVky8lyaGHS4YDqNXQA_aa4RLxHkI6-ZKuJRFQihfSw&e=
>     >
>     >
>     >
>     >
>
>     --
>     Camm Maguire                                        address@hidden
>     ==========================================================================
>     "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>

--
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah