Thanks Bill, I went ahead and did it, just after sending my email. (Revisions 4626 and 4627)
Really quite easy (...and I've made myself a new checklist). Never really understood the need for lablist.txt. j602 doesn't need it. Is it there just to control migration of labs from j602 to j801? (What part of jwiki/pipermail should I read?) On Fri, Sep 20, 2013 at 3:46 AM, bill lam <[email protected]> wrote: > I guess that would be trivial, just use the "svn commit" command > if you are using the command line interface. > > Пт, 20 сен 2013, Ian Clark писал(а): > > I'm being lazy, Bill :) > > > > I work strictly from checklists when using svn. I don't have one for > > updating lablist.txt (yet). I guess it's just a question of hunting for > it. > > > > > > On Thu, Sep 19, 2013 at 12:49 PM, bill lam <[email protected]> wrote: > > > > > I can that you can commit changes to svn, can you explain why you > cannot > > > change the lablist.txt? > > > > > > On 19 Sep, 2013, at 3:12 PM, Ian Clark <[email protected]> wrote: > > > > > > > It's okay Bill, I've located the one verb I've used in misc.ijs and > > > copied > > > > it into tte.ijs. > > > > > > > > It works fine now in JQt. > > > > > > > > But to run: tte.ijs -needs this line inserting in lablist.txt: > > > > Debug;Explicate a given tacit verb;~addons/debug/tte/tte.ijt > > > > > > > > open '~addons/labs/labs/lablist.txt' NB. -to do the hand-edit > > > > > > > > but I don't know how to fix lablist.txt via svn. > > > > > > > > > > > > On Thu, Sep 19, 2013 at 7:33 AM, bill lam <[email protected]> > wrote: > > > > > > > >> Try load the specific script inside the specific misc folder > > > >> > > > >> require '~addons/.../misc/....ijs' > > > >> > > > >> On 19 Sep, 2013, at 1:49 PM, Ian Clark <[email protected]> > wrote: > > > >> > > > >>> Further to this, I've uploaded a new addon: 'debug/tte' > > > >>> > > > >>> used like this: > > > >>> require 'debug/tte' > > > >>> mytacitverb tte > > > >>> > > > >>> Studio > Labs --shows a new lab under Category: Debug: > > > >>> Explicate (convert to explicit) a given tacit verb > > > >>> > > > >>> Or you can get some rough'n'ready documentation with: > > > >>> ABOUT_tte_ > > > >>> > > > >>> At present it only works under j602. When I try it under j64-801 it > > > fails > > > >>> because: > > > >>> require 'misc' > > > >>> is no longer supported, giving the error: not found: > > > >>> /Applications/j64-801/bin/misc > > > >>> > > > >>> > > > >>> > > > >>> > > > >>> On Mon, Sep 16, 2013 at 3:08 AM, Joe Bogner <[email protected]> > > > wrote: > > > >>> > > > >>>> Thanks Ian. trace looks helpful too. I hadn't stumbled upon that > yet. > > > >>>> > > > >>>> > > > >>>> On Sun, Sep 15, 2013 at 9:12 PM, Ian Clark <[email protected] > > > > > >> wrote: > > > >>>> > > > >>>>> Joe Bogner asks: > > > >>>>> " Is there a utility to generate an explicit definition from a > tacit > > > >>>>> definition?" > > > >>>>> > > > >>>>> There've certainly been attempts at one. There hasn't been any > > > >> published > > > >>>>> improvement on this one by Zsban Ambrus: > > > >>>>> http://www.jsoftware.com/jwiki/Scripts/TacitToExplicit > > > >>>>> ...though I've had an add-on on the stocks, waiting to get > properly > > > >>>> tested > > > >>>>> for almost a year now. (Sorry... it was low priority.) > > > >>>>> > > > >>>>> I also wrote a "roadmap" a year ago to pull together all the > relevant > > > >>>> stuff > > > >>>>> on jwiki... > > > >>>>> http://www.jsoftware.com/jwiki/Guides/Tacit_to_explicit_roadmap > > > >>>>> ...but I notice I didn't finish it (it needs to mention Ambrus's > > > "tte", > > > >>>> and > > > >>>>> it's incomplete in "Approach #2"). > > > >>>>> > > > >>>>> > > > >>>>> On Sun, Sep 15, 2013 at 7:10 PM, Joe Bogner <[email protected] > > > > > >> wrote: > > > >>>>> > > > >>>>>> I'm learning the evaluation rules for tacit expressions, since > that > > > is > > > >>>>>> what's commonly posted as solutions. Is there a utility to > generate > > > an > > > >>>>>> explicit definition from a tacit definition? > > > >>>>>> > > > >>>>>> For example, to generate a tacit expression from explicit > > > >>>>>> > > > >>>>>> 13 : '(+/ y) % # y' > > > >>>>>> > > > >>>>>> +/ % # > > > >>>>>> > > > >>>>>> Is there some routine to expand that out? (I've now learned that > > > its a > > > >>>>>> fork). It seems possible that it could expand out to multiple > > > >> possible > > > >>>>>> variants -- since as I understand, it's a reduced form. I've > looked > > > at > > > >>>>>> fndisplay but didn't put too much time into it yet since I > wasn't > > > sure > > > >>>>> that > > > >>>>>> it's what I was looking for. > > > >>>>>> > > > >>>>>> > > > >>>>>> Along those same lines, j6 shows a representation of an > expression > > > in > > > >>>>> boxes > > > >>>>>> which I've found to be helpful to understand how an expression > is > > > >>>>> grouped. > > > >>>>>> I haven't seen that same functionality in j7 or j8. Does it > exist? > > > >>>>>> > > > >>>>>> I find myself spending a fair amount of time taking an > expression > > > and > > > >>>>> then > > > >>>>>> looking up its parts in the Vocabulary to understand what its > doing. > > > >>>>>> > > > ---------------------------------------------------------------------- > > > >>>>>> For information about J forums see > > > >> http://www.jsoftware.com/forums.htm > > > >>>>>> > > > >>>>> > > > ---------------------------------------------------------------------- > > > >>>>> For information about J forums see > > > http://www.jsoftware.com/forums.htm > > > >>>>> > > > >>>> > ---------------------------------------------------------------------- > > > >>>> For information about J forums see > > > http://www.jsoftware.com/forums.htm > > > >>>> > > > >>> > ---------------------------------------------------------------------- > > > >>> For information about J forums see > http://www.jsoftware.com/forums.htm > > > >> > ---------------------------------------------------------------------- > > > >> For information about J forums see > http://www.jsoftware.com/forums.htm > > > >> > > > > > ---------------------------------------------------------------------- > > > > For information about J forums see > http://www.jsoftware.com/forums.htm > > > ---------------------------------------------------------------------- > > > For information about J forums see http://www.jsoftware.com/forums.htm > > > > > ---------------------------------------------------------------------- > > For information about J forums see http://www.jsoftware.com/forums.htm > > -- > regards, > ==================================================== > GPG key 1024D/4434BAB3 2008-08-24 > gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3 > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
