Path: news.cs.au.dk!news.net.uni-c.dk!newsfeed1.uni2.dk!newsfeed1.swip.net!swipnet!news.maxwell.syr.edu!sunqbc.risq.qc.ca!news.uunet.ca!not-for-mail
From: Karl Waclawek <waclawek@idirect.com>
Newsgroups: comp.lang.beta
Subject: Re: Is Beta a statically typed language?
Date: Wed, 13 Jan 1999 18:07:32 -0500
Organization: UUNET Canada News Transport
Lines: 44
Message-ID: <369D2734.170FB707@idirect.com>
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>
NNTP-Posting-Host: 207.136.101.69
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Mozilla 4.5 [en] (Win95; I)
X-Accept-Language: en
Xref: news.cs.au.dk comp.lang.beta:11791



Ole Lehrmann Madsen wrote:
> 
> In <369CEDC6.1A6561AE@thestar.ca> Karl Waclawek <kwaclaw@thestar.ca> writes:
> >Jean-Louis Leroy wrote:
> >> (#
> >>    Person: (#  #);
> >>    people: @Set (# element:: Person #);
> >>    backdoor: ^Set
> >> do
> >>    &Person[]->people.insert;
> >>    people[]->backdoor[]; (* no warning *)
> >>    &integerObject[]->backdoor.insert (* trouble *)
> >> #)
> >I think the compiler is supposed to give a warning here, but it didn't
> >when I tried it. I even used the explicit --warn and --warnQua options.
> 
> 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.
> I have tried release r4.1.1 and never releases and they all
> give a warning. I have included the example and compiler output
> in this message.

I think I found the problem.
At first, I had used the IDE (i.e. SIF) to create and compile the
program. Since SIF turns the Qua check option off, I did not get
a warning message, but I knew that. Therefore I closed SIF and recompiled
typing 'beta myfile.bet' on the command line. That did not give me
any warnings even when I tried the --warn and --warnQua options.

After I read your message I thought that maybe SIF stores compile options
somewhere in the files it creates during compilation and so I simply
copied myfile.bet somewhere else and tried it again, this time
successfully,  i.e. I got the 'Qua check' warning.
Obviously I missed something in the manuals/docs. ;-)

Karl

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   Karl Waclawek
   KD Soft Inc.
 * Phone:  (905) 579-3443
 * E-Mail: waclawek@idirect.com