home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!destroyer!gatech!usenet.ins.cwru.edu!cleveland.Freenet.Edu!bs764
- From: bs764@cleveland.Freenet.Edu (Fred H Olson)
- Newsgroups: comp.lang.forth
- Subject: Forth stack checker
- Date: 24 Jan 1993 21:36:57 GMT
- Organization: Case Western Reserve University, Cleveland, Ohio (USA)
- Lines: 25
- Message-ID: <1jv25pINNobc@usenet.INS.CWRU.Edu>
- NNTP-Posting-Host: hela.ins.cwru.edu
-
-
- In his article Re: forth type checker" Chris Gray ponders an
- "offline checker" for stack depth.
-
- I have developed such a tool and all of his comments - and many more
- apply to it. Which is to say that it is a rather "fussy" sort
- of program with always one more "gotcha" waiting in the wings.
- But that said, it does work for me and gives me a "browser tool"
- for target code thrown in. It still has some limitations that
- I haven't eliminated yet - it doesn't yet handle new defining
- words , it works with source code in blocks (oh oh better duck quick),
- and the documentation after several reworks still could be better.
- I'd very much like to have someone beta test it, but even that
- will probably require some study of the implementation to
- deal with the "gotcha" 's .
-
- My approach is to build a special purpose interpreter/compiler and hence
- the source code becomes it's "input data" and it's hard to anticipate
- all possible data permutaions that get thrown at it.
-
- As a consequence I have dispaired of try to get it used more widely,
- an am content to have a neat tool that I do use.
-
- Fred Olson
- --
-