Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.forth > #27812

Re: Hayes tester fails

Path csiph.com!usenet.pasdenom.info!aioe.org!.POSTED!not-for-mail
From "Rod Pemberton" <dont_use_email@xnohavenotit.cnm>
Newsgroups comp.lang.forth
Subject Re: Hayes tester fails
Date Sat, 11 Jan 2014 10:30:04 -0500
Organization Aioe.org NNTP Server
Lines 30
Message-ID <op.w9i30el65zc71u@localhost> (permalink)
References <lah624$s2s$2@speranza.aioe.org> <2014Jan8.155803@mips.complang.tuwien.ac.at> <lam1un$vdf$1@speranza.aioe.org>
NNTP-Posting-Host CNsg4fVcCsvs3UaOgZtQCw.user.speranza.aioe.org
Mime-Version 1.0
Content-Type text/plain; charset=us-ascii; format=flowed; delsp=yes
Content-Transfer-Encoding 7bit
X-Complaints-To abuse@aioe.org
User-Agent Opera Mail/12.16 (Linux)
X-Notice Filtered by postfilter v. 0.8.2
Xref csiph.com comp.lang.forth:27812

Show key headers only | View raw

On Thu, 09 Jan 2014 05:49:54 -0500, Ed <invalid@invalid.com> wrote:

> It is my observation Forthers place too much faith in the Hayes tester.

Really?

IMO, most here don't or haven't seem interested in the Hayes tester or
Josh Grams' small-tester.f.

> I make no apology for posting cases wherein the Hayes tester fails.  If  
> it discourages reliance on the tester and its [used] as "proof" that
> systems are Standard compliant, it can only be a good thing.

Of course, compliance with Hayes at least ensures standardized operation
for that which is tested, whether or not it's correct or faulty, i.e.,
all Forths will operate in the same way.

Personally, I found Josh's tester to be useful since it didn't require
as many Forth words to be available to operate as compare to Hayes.
That was useful since my Forth was far from complete at the time.

So, Josh's tester allowed me to do a few things:
1) run Hayes tests,
2) run a few other available test routines in Hayes format such as
those by Gerry Jackson, Anton Ertl, or Dave Williams, and
3) quickly code up a 148 or so very basic "sanity" tests which
compared various standard Forth operations across a few ANS Forths.


Rod Pemberton

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-08 02:20 +1100
  Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:15 +0000
  Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:20 +0000
  Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-08 14:58 +0000
    Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-08 19:53 -0500
    Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 21:49 +1100
      Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-09 12:57 +0000
        Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:06 +1100
          Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:28 -0500
          Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-13 16:18 +0000
            Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-15 10:29 +1100
              Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-15 00:00 +0000
                Re: Hayes tester fails AKK <akk@nospam.org> - 2014-01-15 02:06 +0100
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 01:33 +1100
                Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-18 16:58 +0000
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-21 00:09 +1100
                Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-20 14:36 +0000
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-25 22:53 +1100
                Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-25 23:21 +0000
                Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-21 14:50 +0000
              Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-15 02:40 -0500
                Re: Hayes tester fails "Elizabeth D. Rather" <erather@forth.com> - 2014-01-14 21:52 -1000
                Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 00:10 +1100
              Re: Hayes tester fails Andrew Haley <andrew29@littlepinkcloud.invalid> - 2014-01-15 03:28 -0600
      Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:30 -0500
        Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 10:45 +1100
  Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 02:51 -0800
    Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 22:12 +1100
      Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 06:44 -0800
        Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:14 +1100
          Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-11 02:35 -0800
          Re: Hayes tester fails Coos Haak <chforth@hccnet.nl> - 2014-01-11 13:46 +0100
            Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 11:16 +1100

csiph-web