Path: news.cs.au.dk!olm From: olm@cs.au.dk (Ole Lehrmann Madsen) Newsgroups: comp.lang.beta Subject: Re: Is Beta a statically typed language? Date: 13 Jan 1999 23:45:12 GMT Organization: University of Aarhus, Department of Computer Science (DAIMI) Lines: 45 Message-ID: <77jb68$d6j$1@xinwen.cs.au.dk> References: <77b7fc$l2o$1@xinwen.cs.au.dk> <369CEDC6.1A6561AE@thestar.ca> <77j5sj$1jo$1@xinwen.cs.au.dk> NNTP-Posting-Host: ariel.cs.au.dk Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: xinwen.cs.au.dk 916271112 13523 255.255.255.255 (13 Jan 1999 23:45:12 GMT) X-Complaints-To: news@cs.au.dk NNTP-Posting-Date: 13 Jan 1999 23:45:12 GMT X-Newsreader: NN version 6.5.3 (NOV) Xref: news.cs.au.dk comp.lang.beta:11793 In Jean-Louis Leroy writes: >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 I don't think anything gets compiled here. The compiler only recompiles if the source has been modified. Try touching unsafe.bet or remove unsafe.ast. Unless the compiler writes Checking it does not perform many checking (unless you use a silence option) ---olm >Jean-Louis Leroy >http://ourworld.compuserve.com/homepages/jl_leroy/