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


Groups > comp.lang.forth > #54882

Re: Recognizer using CATCH/THROW [was Re: EXIT THEN]

From Alex <alex@rivadpm.com>
Newsgroups comp.lang.forth
Subject Re: Recognizer using CATCH/THROW [was Re: EXIT THEN]
Date 2017-02-16 14:41 +0000
Organization A noiseless patient Spider
Message-ID <o84dir$kc3$1@dont-email.me> (permalink)
References (6 earlier) <o76msk$1098$1@gioia.aioe.org> <2017Feb7.185415@mips.complang.tuwien.ac.at> <o7dd89$99l$1@dont-email.me> <2017Feb13.175259@mips.complang.tuwien.ac.at> <o82pb4$a1v$1@dont-email.me>

Show all headers | View raw


On 2/15/2017 23:49, Alex wrote:
> On 2/13/2017 16:52, Anton Ertl wrote:
>>> Much easier than having to stack balance; apropos the recognizer
>>> proposal, it's a better technique IMHO than expensive stack cleaning and
>>> returning R:FAIL.
>
>> Matthias Trute gives a pretty convincing comparison of R:FAIL
>> vs. returning 0 in his proposal.  Work out an example (maybe the same
>> one) with a alternative based on THROW.  Maybe you can convince us
>> all.
>>
>
> This uses the example from the appendix of
> http://amforth.sourceforge.net/pr/Recognizer-rfc-D.pdf
>
> First, we remove the definition of DT:NULL and replace it with DT:FAIL;
>
> : DT:FAIL -13 THROW ;
>
> The example uses a float conversion:
>
> : REC:FLOAT ( addr len -- DT:FLOAT | DT:NULL ) ( F: -- f )
>   >FLOAT IF DT:FLOAT ELSE DT:NULL THEN ;
>
> : REC:FLOAT ( addr len -- DT:FLOAT ) ( F: -- f )
>   >FLOAT IF DT:FLOAT ELSE DT:FAIL THEN ;
>
> There is no effective difference between the two, since the stack is
> unperturbed. Here's a toy example where the stack cleanup to provide a
> DT:NULL adds to the clutter:
>
> : REC:NUM ( addr len -- d DT:NUM | DT:NULL )
>   0 0 2SWAP >NUMBER IF DROP 2DROP DT:NULL ELSE DROP DT:NUM THEN ;
>
> : REC:NUM ( addr len -- d DT:NUM )
>   0 0 2SWAP >NUMBER IF DT:FAIL ELSE DROP DT:NUM THEN ;
>
> The DT:FAIL version is shorter, in that it simply junks the stack and
> the rstack, which would require R> DROPs, later & automatically in the
> CATCHing word rather than in the recognizer.
>
> The only other changes in the proposal are to RECOGNIZE:
>
> : RECOGNIZE ( addr len stack-id -- i*x DT:TOKEN | DT:NULL )
>   DUP >R @
>   BEGIN
>     DUP
>   WHILE
>     DUP CELLS R@ + @
>     2OVER 2>R SWAP 1- >R
>     EXECUTE DUP
>     DT:NULL <> IF
>       2R> 2DROP 2R> 2DROP EXIT
>     THEN
>     DROP R> 2R> ROT
>   REPEAT
>   DROP 2DROP R> DROP
>   DT:NULL ;
>
> : RECOGNIZE ( addr len stack-id -- i*x DT:TOKEN )
>   DUP >R @
>   BEGIN
>     DUP
>   WHILE
>     DUP CELLS R@ + @
>     2OVER 2>R SWAP 1- >R
>     CATCH 0= IF
>       2R> 2DROP 2R> 2DROP EXIT
>     THEN
>     DROP R> 2R> ROT

I think this may need to be 2DROP R> 2R> ROT. It's untested.

>   REPEAT
>   DT:FAIL ;
>
> In RECOGNIZE the CATCH 0= replaces EXECUTE DUP DT:NULL <>
> and DT:FAIL replaces DROP 2DROP R> DROP DT:NULL
>
> All this assumes that the interpreter has a CATCH of last resort that
> prints a suitable not found.
>

The advantages are:

1. The code required for each REC:x is shorter and easier to code in the 
failure case. There may be multiple DT:NULL exits required in more 
complex REC:x cases. There are no issues about stack or rstack cleanup, 
since it's handled in THROW/CATCH. The REC:x word does not have variable 
stack effects of ( i*x DT:something | DT:NULL ).

2. Should the conversion fail for any other reason (bug, complexity) 
then the whole system doesn't crash; the error is isolated to the REC:x 
word in question.

Neutral:

3. The advantage fo RECOGNIZE being shorter is not that material, since 
it's probably only written once.

Downsides:

4. Requires the EXCEPTION wordset.

But then:

5. This could be provided as an alternative implementation for REC:x 
words; cleaning the stacks and returning DT:NULL is exactly equivaent to 
cleaning the stacks and having DT:NULL do a -13 THROW. As long as 
RECOGNIZE is set up to handle it, the REC:x programmer need not account 
for what DT:NULL does.

-- 
Alex

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


Thread

EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-17 12:17 +1100
  Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-16 18:27 -0800
  Re: EXIT THEN Pablo Hugo Reda <pabloreda@gmail.com> - 2017-01-16 18:28 -0800
    Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-16 20:56 -0800
      Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-19 13:05 +1100
        Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 23:29 -0500
          Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 11:46 +1100
            Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-19 22:28 -0500
        Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-22 18:45 -0800
          Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-25 09:57 +1100
      Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-25 23:56 -0800
        Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-26 03:35 -0600
          Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-26 11:31 +0100
          Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-26 11:07 +0000
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-05 19:15 +1100
              Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-07 17:54 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-02-07 21:14 +0000
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 16:52 +0000
                Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-02-15 23:49 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-02-16 14:41 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-02-16 16:59 +0000
                Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-11 15:05 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Matthias Trute <matthias.trute@gmail.com> - 2017-03-13 12:37 -0700
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-13 21:32 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-03-14 04:42 -0500
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-14 11:45 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] Alex <alex@rivadpm.com> - 2017-03-14 12:41 +0000
                Re: Recognizer using CATCH/THROW [was Re: EXIT THEN] albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-03-14 14:20 +0100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-07 16:15 -0500
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 16:49 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-08 19:43 +1100
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 16:31 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-14 11:12 +1100
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-15 17:22 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-17 10:16 +1100
          Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-26 09:11 -0800
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-28 11:07 +1100
            Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-27 18:31 -0800
              Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-29 12:07 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-28 17:37 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-28 21:40 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-29 19:56 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-30 00:30 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-31 04:22 -0600
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-31 14:42 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-31 19:16 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-31 21:00 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-01 17:35 -0500
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-02 01:31 -0500
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-02 20:09 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-02 18:03 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-02 22:04 -0500
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-02-01 03:15 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-01 17:32 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-30 13:30 +0000
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-30 05:56 -0800
                Re: EXIT THEN Howerd <howerdo@yahoo.co.uk> - 2017-01-30 12:13 -0800
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-30 22:25 +0000
        Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-26 10:48 +0000
          Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-26 08:41 -0800
            Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-27 21:36 -0800
    Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-17 17:06 +0000
  Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-16 16:31 -1000
    Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-16 20:59 -0800
      Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-17 06:11 -0800
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-18 10:36 +1100
      Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-20 07:33 +0000
        Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 23:02 +1100
          Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-20 13:47 +0000
            Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-20 18:55 -0800
              Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-22 09:15 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-22 14:30 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-22 20:58 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 10:47 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 06:20 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 13:09 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 14:41 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 20:52 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 16:21 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-24 06:55 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 03:56 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-24 09:46 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-22 22:38 -0500
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-23 15:09 +1100
              Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 10:16 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 05:53 -0500
                Re: EXIT THEN Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-01-23 12:14 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 14:53 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-24 21:37 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 19:54 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-25 03:38 -0600
  Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-17 08:01 -0800
    Re: EXIT THEN hughaguilar96@gmail.com - 2017-01-17 10:27 -0800
      Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-17 11:34 -0800
        Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-18 14:35 +0000
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-18 10:37 +1100
      Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-17 20:53 -0500
        Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-17 18:02 -1000
          Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 00:15 -0500
            Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-17 19:34 -1000
              Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 03:33 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-18 03:45 -0600
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-18 14:43 -0500
                Re: EXIT THEN albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-01-18 13:17 +0100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-19 13:46 +1100
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-18 13:56 +0000
              Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-19 13:04 +1100
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-18 18:10 -1000
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-19 03:51 -0600
                Re: EXIT THEN hheinrich.hohl@gmail.com - 2017-01-19 02:28 -0800
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 22:23 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-20 13:32 -0500
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-20 18:18 -1000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-23 12:00 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-22 21:10 -0500
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-23 01:22 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 06:03 -0500
                Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-24 02:27 +0100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 04:00 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-24 07:49 -0500
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 20:04 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-24 20:23 -0500
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-24 21:32 -0500
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-24 23:04 -0500
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-25 00:45 -0500
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-25 07:16 +0000
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-25 02:57 -0500
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-01-25 16:55 +0000
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-25 09:53 -1000
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-26 22:40 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-26 10:55 +1100
                Re: EXIT THEN JennyB <jennybrien@googlemail.com> - 2017-01-26 10:17 -0800
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-27 13:09 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-26 21:54 -0500
                Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-27 14:12 +0100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-28 12:32 +1100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-29 10:35 +1100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-22 21:35 -0500
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-01-23 04:15 -0600
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-01-23 10:29 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-23 21:48 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-23 06:18 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-26 11:34 +1100
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-01-25 22:04 -0500
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-01-25 17:22 -1000
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-01-26 00:55 -0800
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-27 13:40 +1100
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-01-20 11:44 +1100
  Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-18 08:02 -0500
    Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-01-18 17:45 +0100
      Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-01-19 20:02 -0500
  Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-01-22 18:23 -0800
  Re: EXIT THEN albert@cherry.spenarnc.xs4all.nl (Albert van der Horst) - 2017-02-02 12:24 +0100
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-10 12:15 +1100
      Re: EXIT THEN mhx@iae.nl - 2017-02-10 10:57 -0800
        Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-11 12:45 +1100
          Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-10 18:13 -0800
            Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-11 07:55 -0500
              Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-02-11 13:16 +0000
                Re: EXIT THEN "Elizabeth D. Rather" <erather@forth.com> - 2017-02-11 11:28 -1000
                Re: EXIT THEN Paul Rubin <no.email@nospam.invalid> - 2017-02-11 13:40 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-11 18:52 -0800
                Re: EXIT THEN Jan Coombs <jenfhaomndgfwutc@murmic.plus.com> - 2017-02-12 12:09 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 07:24 -0800
                Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-12 16:42 -0500
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-02-12 13:52 -0800
                Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-13 00:02 -0500
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-02-12 21:27 -0800
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-13 07:53 +0000
                Re: EXIT THEN Michael Barry <barrym95838@yahoo.com> - 2017-02-12 16:25 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 17:11 -0800
                Re: EXIT THEN Michael Barry <barrym95838@yahoo.com> - 2017-02-12 18:49 -0800
                Re: EXIT THEN Michael Barry <barrym95838@yahoo.com> - 2017-02-12 18:59 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 21:18 -0800
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-02-12 14:39 +0000
              Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-11 18:47 -0800
            Re: EXIT THEN rickman <gnuarm@gmail.com> - 2017-02-12 00:49 -0500
              Re: EXIT THEN Paul Rubin <no.email@nospam.invalid> - 2017-02-11 23:07 -0800
                Re: EXIT THEN Jan Coombs <jenfhaomndgfwutc@murmic.plus.com> - 2017-02-12 12:36 +0000
            Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-13 11:08 +1100
              Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 17:04 -0800
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-02-12 17:08 -0800
  Re: EXIT THEN jacko <jackokring@gmail.com> - 2017-02-16 17:24 -0800
    Re: EXIT THEN jacko <jackokring@gmail.com> - 2017-02-17 16:32 -0800
      Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-19 10:47 +1100
        Re: EXIT THEN jacko <jackokring@gmail.com> - 2017-02-18 16:07 -0800
          Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-19 13:54 +1100
  Re: EXIT THEN Heinrich Hohl <hheinrich.hohl@gmail.com> - 2017-02-17 02:40 -0800
    Re: EXIT THEN Rod Pemberton <NeedNotReplyHere@xrsevnneqk.cem> - 2017-02-17 19:25 -0500
    Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-02-19 12:36 +1100
  Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-20 06:32 -0700
    Re: EXIT THEN Jan Coombs <jenfhaomndgfwutc@murmic.plus.com> - 2017-03-21 08:33 +0000
      Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-22 02:21 +1100
        Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 09:57 -0700
          Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-03-21 18:17 +0100
            Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 10:22 -0700
          Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 17:56 +0000
            Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 11:59 -0700
              Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 19:16 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:24 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 19:26 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:32 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 19:51 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:56 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 21:02 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 14:15 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 21:36 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 15:12 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 16:13 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 09:16 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 03:35 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 13:33 -0700
        Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 17:51 +0000
        Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-21 18:59 +0000
          Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-03-21 12:07 -0700
            Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-21 12:17 -0700
              Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-22 20:08 +1100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 09:18 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-22 22:25 +1100
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 04:46 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 12:23 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 05:27 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 05:36 -0700
                Re: EXIT THEN anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-03-22 13:14 +0000
                Re: EXIT THEN Coos Haak <htrofhc@gmail.com> - 2017-03-22 13:43 +0100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 13:04 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 11:49 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 05:24 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 13:00 +0000
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 06:12 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 07:00 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 07:14 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 10:43 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 11:09 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 18:22 +0000
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-03-22 11:42 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 15:45 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 15:57 -0700
                Re: EXIT THEN Julian Fondren <julian.fondren@gmail.com> - 2017-03-22 16:17 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 12:03 -0700
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-03-22 14:27 -0500
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 14:31 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-23 14:41 +0000
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 14:57 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-26 01:11 -0700
                Re: EXIT THEN Ron Aaron <rambamist@gmail.com> - 2017-03-26 11:40 +0300
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-26 01:57 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-26 09:50 +0100
                Re: EXIT THEN foxaudioresearch@gmail.com - 2017-03-22 09:14 -0700
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-23 00:48 +1100
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-22 13:59 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-23 09:52 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-22 16:13 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-23 14:39 +0000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-23 16:33 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-24 14:17 +0000
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-24 11:49 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-23 18:12 -0700
                Re: EXIT THEN Alex <alex@rivadpm.com> - 2017-03-24 08:55 +0000
                Re: EXIT THEN Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-03-24 09:14 -0500
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-25 13:00 +1100
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-24 20:25 -0700
                Re: EXIT THEN Mark Wills <markwills1970@gmail.com> - 2017-03-25 02:10 -0700
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-25 12:08 -0700
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-22 06:59 -0700
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-23 09:53 +1100
                Re: EXIT THEN Helmar Wodtke <helmwo@gmail.com> - 2017-03-25 07:52 -0700
                Re: EXIT THEN "HAA" <someone@microsoft.com> - 2017-03-26 16:31 +1000
                Re: EXIT THEN hughaguilar96@gmail.com - 2017-03-26 01:52 -0700

csiph-web