I have tested it only on J6.02.

Henry Rich

On 8/16/2012 9:51 AM, Ian Clark wrote:
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

----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to