Prototype of cstrGen and unify

From: Michel Machado (michel@digirati.com.br)
Date: Fri Nov 24 2006 - 18:06:13 EST 

Return-Path: <michel@digirati.com.br>
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.6 required=10.0 tests=AWL,BAYES_00 autolearn=ham  version=3.1.0
X-Spam-Pyzor: 
Received: from vanadio.k8.com.br (vanadio.k8.com.br [200.185.109.93]) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id kAON6Ibk031376 for <cs520@cs.bu.edu>; Fri, 24 Nov 2006 18:06:49 -0500
Received: from localhost (localhost [127.0.0.1]) by smtpa.k8.com.br (Postfix) with ESMTP id DD0592800318 for <cs520@cs.bu.edu>; Fri, 24 Nov 2006 21:06:13 -0200 (BRST)
Received: from smtpa.k8.com.br ([127.0.0.1]) by localhost (vanadio.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 23721-01-70 for <cs520@cs.bu.edu>; Fri, 24 Nov 2006 21:06:13 -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 421DB2800058 for <cs520@cs.bu.edu>; Fri, 24 Nov 2006 21:06:12 -0200 (BRST)
Message-ID: <014c01c7101d$25587a80$0cb6a8c0@dark>
From: "Michel Machado" <michel@digirati.com.br>
To: <cs520@cs.bu.edu>
Subject: Prototype of cstrGen and unify
Date: Fri, 24 Nov 2006 18:06:13 -0500
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: 476
X-UID: 59
X-Keywords:

Hi Rui,

    Can we change the prototype of cstrGen and unify functions defined in
typecheck.ml?

    If not, how do you expect we handle the following problem? Let t be just
a variable (i.e. an open term), cstrGen can't apply CT-Var and its prototype
doesn't allow it returns just "None" because the return type is stp *
cstrset.

    Could you give an example or explanation about using TpVar and TpUni? I
don't feel I understand your intention.

[ ]'s
Michel Machado

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