PR#1314: kost moved PR#1314 from incoming to engine

[Bruno Carton]

I guess that my bug report was misunderstood.
The emulator behaves correctly when it raises a failure on executing 
"a(b:1 c:2) = j(...)" since the label of the records are different (i.e. 
a and j).
The error is in failure description (the text explaining the instruction 
causing the failure) which states : "Tell: a(b:1 c:2) = a(b:1 c:2)". I 
guess that the correct description should be something like "Tell: a(b:1 
c:2) = j(...)" or "Tell : a = j".

Bruno

oz-bugs at ps.uni-sb.de wrote:

>Date: Mon Apr 19 15:43:13 2004
>X-Notification: oz-bugs at ps.uni-sb.de
>
>"Oz bugs" notification
>
>kost moved PR#1314 from incoming to engine
>
>Message summary for PR#1314
>	From: Bruno Carton <bc at cetic.be>
>	Subject: Bug in Failure report
>	Date: Mon, 19 Apr 2004 11:04:30  0200
>	0 replies 	0 followups
>	Notes: Feeding the following (which is the expansion of the original example)
>line-by-line illustrates that the unification of ordinary record and 
>an OFS does everything allright but fails in the end:
>
>declare Equation1 OpenRecord1 Label1 UnnestApply1 in skip
>Equation1 = a(b: 1 c: 2)
>Label1 = j
>UnnestApply1 = 0
>{RecordC.tellSize Label1 UnnestApply1 OpenRecord1}
>Equation1 = OpenRecord1
>{Show Equation1#OpenRecord1}
>Equation1 = OpenRecord1
>
>After that, the OFS portion of the test suite needs to be updated too ;-)
>
>Related: a quick scan for '...' expansion rules in the "Oz Notation" document 
>gave nothing.
>
>We need someone to look after this OFS stuff after all (I did some work in the 
>past). Since this is actually Peter (Van Roy)'s brian child, I believe it would
>be fair if someone from Belgium has a look at.
>
>
>
>====> ORIGINAL MESSAGE FOLLOWS <====
>
>>From owner-oz-bugs at ps.uni-sb.de Mon Apr 19 12:09:31 2004
>Received: from uni-sb.de (uni-sb.de [134.96.252.33])
>	by ps.uni-sb.de (8.12.10/8.12.10) with ESMTP id i3JA9VrR022601
>	for <bugs at mozart-oz.org>; Mon, 19 Apr 2004 12:09:31 +0200
>Received: from mailhost.cetic.be (cetic.customer.charleroi.belnet.net [193.191.6.174])
>	by uni-sb.de (8.12.11/2003073000) with ESMTP id i3JA9SfY016037
>	for <bugs at mozart-oz.org>; Mon, 19 Apr 2004 12:09:30 +0200 (CEST)
>X-Authentication-Warning: uni-sb.de: Host cetic.customer.charleroi.belnet.net [193.191.6.174] claimed to be mailhost.cetic.be
>Received: from cetic.be (pt06 [192.168.0.6])
>	by mailhost.cetic.be (Postfix) with ESMTP id 5E0FC4E92D
>	for <bugs at mozart-oz.org>; Mon, 19 Apr 2004 11:04:50 +0200 (MEST)
>Message-ID: <4083961E.4090805 at cetic.be>
>Date: Mon, 19 Apr 2004 11:04:30 +0200
>From: Bruno Carton <bc at cetic.be>
>User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031107 Debian/1.5-3
>X-Accept-Language: en
>MIME-Version: 1.0
>To: bugs at mozart-oz.org
>Subject: Bug in Failure report 
>Content-Type: text/plain; charset=ISO-8859-1; format=flowed
>Content-Transfer-Encoding: 7bit
>X-DCC-SPAMCHECK.NET-Metrics: uni-sb.de 1168; Body=1 Fuz1=1 Fuz2=1
>
>Dear All,
>
>When I execute this line in the OPI
>    a(b:1 c:2) = j(...)
>
>I receive the following failure report :
>
>Mozart Engine 1.3.0 (20040408) playing Oz 3
>
>
>%***************************** failure **************************
>%**
>%** Tell: a(b:1 c:2) = a(b:1 c:2)
>%**
>%** Call Stack:
>%** toplevel abstraction in line 1, column 0, PC = 138254144
>%**--------------------------------------------------------------
>
>I guess that the line "Tell: a(b:1 c:2) = a(b:1 c:2)" is wrong.
>
>Bruno
>
>_______________________________________________
>mozart-hackers mailing list
>mozart-hackers at ps.uni-sb.de
>http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
>  
>