Path: news.daimi.aau.dk!jojo
From: jojo@daimi.aau.dk (Johanna Wiederhold)
Newsgroups: comp.lang.beta
Subject: leaving a pattern?
Date: 21 Aug 1997 08:31:01 GMT
Organization: DAIMI, Computer Science Dept. at Aarhus University
Lines: 19
Distribution: all
Message-ID: <5tguc5$r4n$1@gjallar.daimi.aau.dk>
NNTP-Posting-Host: fraxinus.daimi.aau.dk
X-Newsreader: NN version 6.5.1 (NOV)
Xref: news.daimi.aau.dk comp.lang.beta:11243

transaction:
	(#
	   abort :(# do leave transaction #);
	   ...
	do
	   INNER
	#);

The compiler comes with the following error message:

leave transaction
***** "leave P" or "restart P", where "P" is a pattern,
        is only legal in the do-part of "P"
  
If you know a solution, let me know.
Johanna (email: jojo@daimi.aau.dk)
--
Johanna Wiederhold <jojo@daimi.aau.dk>
Comp. Sci. Department of Aarhus University, Denmark.