Path: news.cs.au.dk!news.net.uni-c.dk!howland.erols.net!newsfeed.cwix.com!195.99.66.215!news-feed1.eu.concert.net!skynet.be!poster!not-for-mail
From: Jean-Louis Leroy <jll@skynet.be>
Newsgroups: comp.lang.beta
Subject: Re: Is Beta a statically typed language?
Date: Thu, 14 Jan 1999 00:26:47 +0100
Organization: Starfleet
Lines: 34
Message-ID: <VA.000001ce.002c98ba@enterprise>
References: <VA.000001c4.01626e6a@enterprise>  
 <77b7fc$l2o$1@xinwen.cs.au.dk>
 <VA.000001c9.0115e6e2@enterprise>
 <369CEDC6.1A6561AE@thestar.ca>
 <77j5sj$1jo$1@xinwen.cs.au.dk>
Reply-To: jll@skynet.be
NNTP-Posting-Host: dialup281.brussels2.skynet.be
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: news1.skynet.be 916269428 22901 195.238.24.25 (13 Jan 1999 23:17:08 GMT)
X-Complaints-To: abuse@skynet.be
NNTP-Posting-Date: 13 Jan 1999 23:17:08 GMT
X-Newsreader: Virtual Access by Ashmount Research Ltd, http://www.ashmount.com
Xref: news.cs.au.dk comp.lang.beta:11792

In article <77j5sj$1jo$1@xinwen.cs.au.dk>, Ole Lehrmann Madsen wrote:

> I just tried the example and the compiler gives a qua- warning.
> Please let us know more details if you don't get a warning.

Here's the full content of 'unsafe.bet', including fragment info:

ORIGIN '~beta/basiclib/v1.6/betaenv';
INCLUDE '~beta/containers/v1.6/sets';
-- program: Descriptor --
(#
   Person: (#  #);
   people: @Set (# element:: Person #);
   backdoor: ^Set
do
   &Person[]->people.insert;
   people[]->backdoor[];
   &integerObject[]->backdoor.insert
#)  

Here's a transcript of the compilation:

K:\beta\start\coll>beta unsafe
MjĒlner BETA Compiler version 5.3(4) for WinNT/Win95 (i386/i486/Pentium) (PE 
coff)
Target machine type nti(ms)
Building dependency graph for: 'unsafe' ...
Translating fragments ...
Linking
Object program on file: unsafe.exe

Jean-Louis Leroy
http://ourworld.compuserve.com/homepages/jl_leroy/