On 01/11/2015 12:15 AM, Waldek Hebisch wrote: > Ralf Hemmecke wrote: >> >> This script >> >> https://github.com/fricas/fricas/blob/master/src/scripts/unpack_file >> >> is obviously buggy by design. Oh, undocumented? Again wasted time. :-( >> >> It splits a .spad file at the )abbrev lines and completely ignores >> global definitions. > > Yes, that is by design. 'unpack_file' just cuts consequtive lines > from ')abbrev' to next ')abbrev' or end of file. In the future > I would like to switch to compiling whole file. During transitional > period global macros are undesirable because they may have different > effect depending on file beeing split or not.
1) How long will this transitional period last? 2) I've just read about ")compile file.spad )constructor Foo". Wouldn't it be an option. To just copy the *whole* file from foo.spad to CONSTR1.spad, CONSTR2.spad, etc. and then have those files compiled via )compile CONSTR1.spad )constructor CONSTR1 )compile CONSTR2.spad )constructor CONSTR2 in other words, making the "unpack_file" simply a identical-copy-function, but change the respective (generated) komp_all.input to include the ")constructor CONSTR1" option? https://github.com/fricas/fricas/blob/master/src/algebra/Makefile.in#L414 Same for boot_doms.input. https://github.com/fricas/fricas/blob/master/src/algebra/Makefile.in#L418 Wouldn't that be an easy fix for that buggy behaviour. Or doesn't that work for some bootstrap reason? > I wrote about limitiation of 'unpack_file' on the mailing list. 3) I don't believe that this is the best place for a feature that already is in fricas for 8 months. Things on the mailing list tend to be forgotten. Documentation should be where the code is. At least a link in the file that refers to the text on the mailing list would be helpful. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
