Is lint.ijs going to be available in j602 also? Package Manager lets me download it for JGTK. I've tried running it under j602 and it seems to work with the example I've tried, so there can't be any major j7 dependencies.
On Mon, Aug 13, 2012 at 4:47 AM, Henry Rich <[email protected]> wrote: > Yes, I created a directory and then realized it would go as a single file in > /misc, and deleted the /lint directory. > > Henry Rich > > > On 8/12/2012 11:45 PM, Ric Sherlock wrote: >> >> I think it was initially committed to addons/general/lint/lint.ijs and >> then subsequently moved? to addons/general/misc/lint.ijs I can see it >> there at the moment using WebSVN. >> >> There are a couple of other things regarding WebSVN that would be nice... >> a) can we get the RSS enabled (makes it easier to keep up with changes) >> b) the Ctrl+F1 functionality in GtkIDE that opened the appropriate >> source file using Trac, doesn't work correctly with WebSVN yet. For >> example trying to get help on freads attempts to open this URL: >> >> http://www.jsoftware.com/wsvn/base7/browser/trunk/main/main/files.ijs >> >> instead of this one: >> >> http://www.jsoftware.com/wsvn/system7/trunk/main/main/files.ijs >> >> On Mon, Aug 13, 2012 at 3:36 PM, chris burke <[email protected]> wrote: >>> >>> lint.ijs is not in addons/general/misc. Did you commit your changes? >>> >>> AFAIK, JAL is working fine... >>> >>> On Mon, Aug 13, 2012 at 10:10 AM, bill lam <[email protected]> wrote: >>> >>>> There are some problem with JAL build script perhaps related to the >>>> recent relocation of server to amazon. I think Chris will fix it. >>>> >>>> Вск, 12 Авг 2012, Henry Rich писал(а): >>>>> >>>>> I don't know what has to happen to make it show up in Package >>>>> Manager. Bill would. Maybe some rebuild is required. >>>>> >>>>> Perhaps you can check it out using SVN? >>>>> >>>>> Henry Rich >>>>> >>>>> On 8/12/2012 6:12 PM, Ian Clark wrote: >>>>>> >>>>>> Sounds good, Henry. I certainly have a use for that. >>>>>> >>>>>> But I can't see it in pacman for either JGTK or j602. >>>>>> >>>>>> On Sun, Aug 12, 2012 at 9:10 PM, Henry Rich <[email protected]> >>>> >>>> wrote: >>>>>>> >>>>>>> I have an alpha-test version of a syntax checker for J scripts. It >>>>>>> is >>>> >>>> in >>>>>>> >>>>>>> the addons, as >>>>>>> >>>>>>> general/misc/lint.ijs >>>>>>> >>>>>>> The goal is to catch errors before execution. It can find only gross >>>>>>> errors, but those are the kind my programming students make, so this >>>>>>> is >>>>>>> progress IMO. What it looks for is: >>>>>>> >>>>>>> explicit definitions lacking trailing ), and ) with no definition >>>>>>> undefined names, including names not defined in all paths >>>>>>> verbs used with invalid valences >>>>>>> non-noun results at the end of condition blocks and verbs >>>>>>> syntax errors >>>>>>> sentences with no effect on execution (eg verb verb) >>>>>>> >>>>>>> The idea is that lint can be used in place of load. It loads the >>>> >>>> script, >>>>>>> >>>>>>> then checks it for errors by executing each line of each explicit >>>> >>>> definition >>>>>>> >>>>>>> in 'safe mode' where side effects are prevented. >>>>>>> >>>>>>> example: >>>>>>> >>>>>>> lint '~addons/general/misc/lint.ijs' >>>>>>> >>>>>>> The result of the verb is a table of (line number);(error message). >>>>>>> If there are errors, it brings up a grid showing the program and >>>>>>> error >>>>>>> messages. >>>>>>> >>>>>>> I would test this a lot more before releasing it, but school starts >>>> >>>> tomorrow >>>>>>> >>>>>>> & I'm not going to have much more time to put on it. I think it's >>>> >>>> better >>>>>>> >>>>>>> than nothing - not freshman-proof, but I'll fix that as the freshmen >>>> >>>> tear >>>>>>> >>>>>>> into it. Meanwhile I would appreciate suggestions and bug reports. >>>>>>> >>>>>>> (My thanks to Dan King who suggested this project at the J Conference >>>> >>>> in >>>>>>> >>>>>>> response to my bellyaching about J's error-detection deficiencies) >>>>>>> >>>>>>> Henry Rich >>>>>>> >>>>>>> ---------------------------------------------------------------------- >>>>>>> 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 >> >> ---------------------------------------------------------------------- >> 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
