RE: Implementation 3 Stuck terms

From: Rui Shi (shearer@cs.bu.edu)
Date: Sat Oct 28 2006 - 12:30:00 EDT 

Return-Path: <shearer@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=-2.1 required=10.0 tests=AWL,BAYES_00 autolearn=ham  version=3.1.0
X-Spam-Pyzor: 
Received: from shearershot (c-24-60-255-210.hsd1.ma.comcast.net [24.60.255.210]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k9SGTtS1016680; Sat, 28 Oct 2006 12:30:05 -0400
From: "Rui Shi" <shearer@cs.bu.edu>
To: <samepst@cs.bu.edu>, <cs520@cs.bu.edu>
Subject: RE: Implementation 3 Stuck terms
Date: Sat, 28 Oct 2006 12:30:00 -0400
Message-ID: <001501c6faae$566c00d0$6400a8c0@csnt.bu.edu>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 11
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962
In-Reply-To: <1458.71.192.166.44.1162052282.squirrel@cs-squirrelmail.bu.edu>
Thread-Index: Acb6rKQITPN4Mp7qRN+8kTSrSKL3TAAAYh8g
X-Clamav-Status: No
Status: RO
Content-Length: 694
X-UID: 35
X-Keywords:

Yes. Those are cases you should take care of. No free lunch if you want to
add some features to a language, right?

Rui
 

-----Original Message-----
From: samepst@cs.bu.edu [mailto:samepst@cs.bu.edu]
Sent: Saturday, October 28, 2006 12:18 PM
To: cs520@cs.bu.edu
Subject: Implementation 3 Stuck terms

There are a couple cases which could lead to trouble. Which, if any, should
we be responsible for creating an evaluation step?

1.raise in the test term of an if statement:

if raise Exit then 1 else 0

2.raise t where t is not a value but types to exn:

(lam (x:int)=>x) raise ((lam (x:exn)=> x) Exit)

3. raise as a parameter in an operation

5 + (raise Exit)

Thank You,
-Sam Epstein

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