Newsgroups: comp.sys.transputer
From: des@pact.srf.ac.uk (David Shepherd)
Reply-To: des@inmos.co.uk
Subject: Re: Occam Question
Organization: INMOS Architecture Group
Date: Wed, 26 Oct 1994 11:51:08 GMT
Message-ID: <CyA3L8.C0u@info.bris.ac.uk>

Jan Vorbrueggen (jan@neuroinformatik.ruhr-uni-bochum.de) wrote:
: Yes: the alias checker (which you are disabling with -a) wants, at any one
: point in the programme, to see exactly one definition at the current scope for
: any piece of store. So:

:      [10]INT samples : 
:      SEQ
:        input ? samples
:        SEQ
:          []BYTE data RETYPES [samples FROM 0 FOR 10] :
:          output ! data

The second SEQ is unnecessary as the body of a SEQ is a list
of processes and declaration and its body are a process.

--
--------------------------------------------------------------------------
david shepherd: des@inmos.co.uk                     tel: 0454-616616 x 638
                inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq
		"I  am  not  a  nut      ---      I  am  a  human  being."

