tst013.mal

一个内存数据库的源代码这是服务器端还有客户端

# incomplete barrier blocks. Resolve them when unambigous

barrier z:= true;
	leave;
exit;

barrier i:= 1;
	i:= i+1;
	io.print(i);
	barrier t:=calc.>(i,3);	# new envelop
		io.print("leave loop");
		leave i; # leave outer envelop
	exit t;
	redo;
exit;