RE: pset02

From: Rui Shi (shearer@cs.bu.edu)
Date: Sun Oct 01 2006 - 18:17:33 EDT 

Return-Path: <shearer@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: EATSERVER: cs3.bu.edu 1166; 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.6 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 k91MHXFR000819; Sun, 1 Oct 2006 18:18:03 -0400
From: "Rui Shi" <shearer@cs.bu.edu>
To: "'Georgios Zervas'" <zg@bu.edu>
Cc: <cs520@cs.bu.edu>
Subject: RE: pset02
Date: Sun, 1 Oct 2006 18:17:33 -0400
Message-ID: <001701c6e5a7$762d57a0$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
Thread-Index: AcblpgnlxTNDKnlxQGSyNV2Wj9tpXAAAMWSA
In-Reply-To: <45203C19.8030702@bu.edu>
X-Clamav-Status: No
Status: RO
Content-Length: 795
X-UID: 12
X-Keywords:

The only value of type unit is () which is represented as (TtmTup [])

The type unit is represented as TpTup []

-Rui

-----Original Message-----
From: Georgios Zervas [mailto:zg@bu.edu]
Sent: Sunday, October 01, 2006 6:07 PM
To: Rui Shi
Subject: Re: pset02

Thanks for your quick response.

One more question: how is the unit type represented in the AST? By TtmStr
"()" perhaps?

Can you give an example of a simple program than involves the unit type in
its AST? I tried:
lam (x:int) => ()

but it yields:
TtmLam ("x", TpBase "int",
        TtmTup [
               ])

Thanks,
Giorgos

Rui Shi wrote:
> Hi,
>
> Yes. You are right. It's a typo.
>
> Thanks for the correction.
>
> Rui
>
>
> >Rui,
>
> >Should the numerator of the first dynamic rule read:
>
> >t0 -> t0'
>
> >?

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