Path: news.daimi.aau.dk!glad
From: Andrew McVeigh <andrew@abc.gov.au>
Newsgroups: comp.lang.beta
Subject: inserted imperatives as enter and exit code
Date: 11 Jan 1996 08:05:15 GMT
Organization: DAIMI, Computer Science Dept. at Aarhus University
Lines: 27
Approved: mailtonews@daimi.aau.dk
Distribution: world
Message-ID: <4d2gbr$qkn@krone.daimi.aau.dk>
NNTP-Posting-Host: daimi.daimi.aau.dk

Hi,

I was browsing through the beta futures implementation the other day
and I noticed the use of inserted patterns in both the enter and exit
parts.  I haven't seen this in the OO programming in Beta book, but on
thinking about it, it seems to make a lot of sense and is very powerful.
It works with the beta compiler that I have for linux...  How long have
constructs like this been in the language for, and are they considered to
be standard beta:

(forgive my rusty beta syntax etc.  sorry for any mistakes)

test:
(# a:@integer;
  enter (# b:@integer;
           enter b;
         do b->a
        #)
  do
   ...

  exit (# exit 10 #)
#)

Regards,
Andrew McVeigh