-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
On 11/12/16 22:59, Bill Allombert wrote: > On Sun, Dec 11, 2016 at 11:41:22PM +0100, Bill Allombert wrote: >> On Sun, Dec 11, 2016 at 10:15:00PM +0000, Ximin Luo wrote: >>> So it seems saving a workspace, even an "empty" one, then loading it >>> again, causes GAP to be unable to parse the old-style manuals. >> >> Well, if you remove gap-alnuth and gap-autpgrp, then it still report >> problems: >> >> yellowpig - /tmp%echo 'SaveWorkspace("./test.w");' | gap -q -b >> true >> true >> yellowpig - /tmp%echo '?FieldByMatricesNC;' | gap -q -b -L ./test.w >> #W corrupted 'manual.six': ##W (in stream: >> InputTextFile(/usr/share/gap/doc/t\ >> ut/manual.six)) >> #W corrupted 'manual.six': ##W (in stream: >> InputTextFile(/usr/share/gap/doc/c\ >> hanges/manual.six)) >> #W corrupted 'manual.six': ##W (in stream: >> InputTextFile(/usr/share/gap/pkg/G\ >> APDoc/example/manual.six)) >> Help: no matching entry found >> >> Also this seems to work with GAP 4.7.5 in jessie which has the same >> patch applied. > > I mean, in my tests, it works correctly with GAP 4.7.5, but it does not > work with GAP 4.8.2 and 4.8.6. Please keep in mind that the manual.six are read as preamble by GAP. The issue happens during the preamble, whatever the amble is. Jerome > > Cheers, > - -- Jerome BENOIT | calculus+at-rezozer^dot*net https://qa.debian.org/developer.php?login=calcu...@rezozer.net AE28 AE15 710D FF1D 87E5 A762 3F92 19A6 7F36 C68B -----BEGIN PGP SIGNATURE----- iQQcBAEBCgAGBQJYTsb2AAoJED+SGaZ/NsaLA/AgALOIiQx3LyUX6VGaLOCCrxYO reZntY/Ghazujz82KKaNje/F/J9kAKaEYEkI0sydmNftoOIpLZq9M5fpEHeYhjSM IX51i84pTmFkV9kLhWpuF4BvSTkgHjaPfyre6Xm7t/ATK8BEnJjuxGxGw4usu/vp J7c3RlQSvsku+BCYywaLkVieooxjW5oJRr17bP4KXl21A+LMHuNPJRFYPLe+0EQU 0PBbzPgj6LpgJ5RgUl+VOvRSpshfC9ba3yAPJxGCxDyZY9TrLJUuh3iEGRJBQMgr fJTbYTL452wbDu79B04H12aCHkDKkxx524M26tC/6ya/JZ0eHe8wHXbt6iiu2l9g EA78GEklWSrkahaMj8Pethxw3eMAN5KaM0fun0abVw0ytSjAJ5M4jFJeRAVXN/XK SKq7u0m4bZojCVsf74kxks6PF624TARg7E12zetop0OcifC1OJCQv3uTE5amu8hC TvkKmeDGfMeD+OFBTqn9uYvamhmIo/oRwKsuJEqppD/wjlEW2p03akkVBjPZrBgd oKi2G2hK8u12uIR0r1hgVX63ueYwvXiJqdMbZSQch3s3nF2x2JH8BVB8YQEDpZOf mtdRNjTIgyT3XeyHxU6d1GizJABLlAEvdg+uG3j+GFy28k3gtw/sbtmynnBIMoop ftZWt39CzHF1S5PkUYseulGX1OqtEiEREBC+nIK88ppV/69u+jYDgc1iquvW8iKz GHn51C9eHAsXBDXo6GixtMzDVu9zfpD7jj/laAil6O8K4Ua8gXCjrImO3kzP1K9W cCnHNwED3ev+RaikXUey89HRdocIXl7E9IAtjLnX//VQgQ3YcExYaD82JHcxiIaB omvpU7L8uKlbfeQn1tNnQJN7joDPvag6sSJT+i+oVD3TBmQE0IyPYnl4TDLf2Q4N lRxh6ObyXKP4PjbtTQkClSOIcFmAgE4wLLTKu6lfX0C2VO+y1CR2R7HWhtxcmk7m QtdneOFXTu3Z/RVBkM6RtQoqBqCZrclOova/o1pF/PRcFaEmkKSPbRXQQmSqh0a4 1Ppn22RWZ4HbCwnLbgRVSDhKHMC0cxLU0I8wwekVnCtN2enX7xO4oMGivUO5SO7a aPBIUpZafdl7b0XiCHUsnEGdYpvPbMqRrsX+3cM8CTgPiMP0z2862BQ1qzZKaiYx X3KYewEPvkLR68UZ4zKb30YZAvFakQkvKqTkpVRht/zogDmkJLrqg9AKCOmaRmdY kA229+CUi0dhllIDin0E/izr/g6KEsdLZDyP9Zv4qrOx1/RjKXoX9eySmqRlLfVw SlZmmaQYBBgrVh4rAZ4gW9GMPxMH+xYyat9uzzpbV6KWzhWMw5vHHATP4k4emZk= =yb13 -----END PGP SIGNATURE-----