Re: Implementation 3 Stuck terms

From: Assaf Kfoury (kfoury@cs.bu.edu)
Date: Sat Oct 28 2006 - 20:33:25 EDT 

Return-Path: <kfoury@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: INFN-TO: cs3.bu.edu 1233; Body=2 Fuz1=2 Fuz2=2
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.75] ([76.19.13.75]) (authenticated bits=0) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k9T0WuNZ017097; Sat, 28 Oct 2006 20:33:06 -0400
Message-ID: <4543F6D5.7090604@cs.bu.edu>
Date: Sat, 28 Oct 2006 20:33:25 -0400
From: Assaf Kfoury <kfoury@cs.bu.edu>
User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051013)
X-Accept-Language: en-us, en
To: samepst@cs.bu.edu
CC: cs520@cs.bu.edu
Subject: Re: Implementation 3 Stuck terms
References: <1458.71.192.166.44.1162052282.squirrel@cs-squirrelmail.bu.edu>    <001501c6faae$566c00d0$6400a8c0@csnt.bu.edu> <1811.71.192.166.44.1162058766.squirrel@cs-squirrelmail.bu.edu>
In-Reply-To: <1811.71.192.166.44.1162058766.squirrel@cs-squirrelmail.bu.edu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Clamav-Status: No
Status: RO
Content-Length: 561
X-UID: 37
X-Keywords:

Before you consider substitution -- I assume you are referring to
substitution of the argument "5" for the formal parameter "Exit" in the
body of the lambda-abstraction -- you should verify that the
lambda-abstraction in question "(lam (Exit:int)=> raise Exit)"
type-checks. It does not.

Assaf

samepst@cs.bu.edu wrote:

>Is it correct to assume that substituion does not recurse into raise terms?
>For example, the following terms evaluates to true:
>
>try (lam (Exit:int)=> raise Exit) 5 with Exit => true | 5 => false
>
>Thank you,
>Sam Epstein
>
>
>

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