Return-Path: <michel@digirati.com.br> X-Spam-HitLevel: X-Spam-DCC: sonic.net: cs3.bu.edu 1156; 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=BAYES_00 autolearn=ham version=3.1.0 X-Spam-Pyzor: Received: from titanio.k8.com.br (titanio.k8.com.br [200.185.109.31]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k9NHeivQ023324 for <cs520@cs.bu.edu>; Mon, 23 Oct 2006 13:40:55 -0400 Received: from localhost (localhost [127.0.0.1]) by smtpa.k8.com.br (Postfix) with ESMTP id E230F1C003DE for <cs520@cs.bu.edu>; Mon, 23 Oct 2006 14:40:43 -0300 (BRT) Received: from smtpa.k8.com.br ([127.0.0.1]) by localhost (titanio.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 05963-01-18 for <cs520@cs.bu.edu>; Mon, 23 Oct 2006 15:40:43 -0200 (BRST) Received: from dark (c-71-232-158-11.hsd1.ma.comcast.net [71.232.158.11]) by smtpa.k8.com.br (Postfix) with ESMTP id 4AD811C003DB for <cs520@cs.bu.edu>; Mon, 23 Oct 2006 14:40:42 -0300 (BRT) Message-ID: <010601c6f6ca$66425e10$24b6a8c0@dark> From: "Michel Machado" <michel@digirati.com.br> To: <cs520@cs.bu.edu> Subject: Implementation 3 - Details Date: Mon, 23 Oct 2006 13:40:53 -0400 Organization: Digirati Content-Type: text/plain; format=flowed; charset="iso-8859-1"; reply-type=original Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.2869 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2962 X-Clamav-Status: No Status: RO Content-Length: 1349 X-UID: 30 X-Keywords:
Dears,
I have some questions about the implementation 3.
1. Type stp doesn't have a way to represent "any type". So, what stp
should be returned by typecheck function to the term "raise 10"? Shoud
typecheck return TpExn?
2. The rule ty-exn conflits with the following rules from the previous
assignment: ty-bool, ty-int, ty-unit, ty-var, and the implicitly-defined
ty-string (it's not listed in the assignment, but it must exist to typecheck
terms like 'print "hello"'). Should I consider that ty-exn has to be used
only inside typecheck just to typecheck the premises of ty-raise and ty-try?
NOTE, ty-exn is indeed needed, when pat is a variable, it's used as a label
in the test file "prodfun.stlc", so, without ty-exn, prodfun.stlc isn't a
closed term.
3. Shouldn't the conclusion of the rule eval-tryExn be "try raise pati
with ..." rather than "try pati with ..."?
4. The rule eval-tryExn assumes that pati (t0) is allways listed in with
clause (cls). However, the rule ty-try does not check that it's true. Should
I just raise pati when it doesn't occur in cls?
5. There's no reference to the operator "mod" in the in the previous
assignment and the current one, but it's defined in parser.mly and used in
the test file "perfect.stlc". I assumed it as being int * int -> int.
[ ]'s
Michel Machado
This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST