[Fwd: Re: Raise]

From: Assaf Kfoury (kfoury@cs.bu.edu)
Date: Wed Nov 08 2006 - 23:45:01 EST 

Return-Path: <kfoury@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: INFN-TO: cs3.bu.edu 1233; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-4.4 required=10.0 tests=ALL_TRUSTED,AWL,BAYES_00  autolearn=ham version=3.1.0
X-Spam-Pyzor: 
Received: from [76.19.13.95] ([76.19.13.95]) (authenticated bits=0) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id kA94inCf013154 for <cs520@cs.bu.edu>; Wed, 8 Nov 2006 23:45:19 -0500
Message-ID: <4552B24D.4040105@cs.bu.edu>
Date: Wed, 08 Nov 2006 23:45:01 -0500
From: Assaf Kfoury <kfoury@cs.bu.edu>
User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051013)
X-Accept-Language: en-us, en
To: cs520@cs.bu.edu
Subject: [Fwd: Re: Raise]
Content-Type: multipart/mixed; boundary="------------090002020501080006070707"
X-Clamav-Status: No
Status: RO
Content-Length: 2319
X-UID: 47
X-Keywords:                                                                                                    


Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

I resend a question from Georgios and Rui's response to it, for
everyone's benefit.

Assaf 

Content-Type: message/rfc822; name="Re: Raise"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="Re: Raise"

attached mail follows:

Return-Path: <shearer@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: : cs3.bu.edu 1114; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, score=-3.1 required=10.0 tests=ALL_TRUSTED,AWL,BAYES_00  autolearn=ham version=3.1.0
X-Spam-Pyzor: 
Received: from LASTDINOSAUREGG (c-24-60-255-210.hsd1.ma.comcast.net [24.60.255.210]) (authenticated bits=0) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id kA94HxoL004932; Wed, 8 Nov 2006 23:19:46 -0500
Message-Id: <200611090419.kA94HxoL004932@cs3.bu.edu>
From: "Rui Shi" <shearer@cs.bu.edu>
To: "'Georgios Zervas'" <zg@bu.edu>
Cc: "'Assaf Kfoury'" <kfoury@cs.bu.edu>
Subject: RE: Raise
Date: Wed, 8 Nov 2006 23:17:40 -0500
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook, Build 11.0.5510
Thread-Index: AccDsuEphf2PCAZQS0633fBylDOdCAAAwKcQ
In-Reply-To: <4552A699.30600@bu.edu>
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962
X-Clamav-Status: No
X-UID: 49327
X-Keywords:

"raise !x " is not well-typed according to the typing rules.

Rui

-----Original Message-----
From: Georgios Zervas [mailto:zg@bu.edu]
Sent: Wednesday, November 08, 2006 10:55 PM
To: Rui Shi
Cc: Kfoury, Assaf J
Subject: Raise

Rui,

This code is valid:

let x = ref 1
in raise !x

and evaluates to:
TtmRaise (TtmDeRef (TtmLoc 0))

according to the current rules which is fine. But I believe the intention is
for this code to evaluate to TtmInt 1 instead.

For that to happen we'd need a new evalulation rule:
        t -> t'
----------------
raise t -> raise t'

or something along these lines.

What's the right approach? What do you expect?

Thanks,
Giorgos

This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST