From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id DA262BC37 for ; Tue, 28 Jul 2009 23:47:26 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArEBAO8Ob0rRVd24mGdsb2JhbACZSD8BAQEBAQgJDAcTqxYzhySISQEDAgSEDAWIIQ X-IronPort-AV: E=Sophos;i="4.43,284,1246831200"; d="scan'208";a="44071678" Received: from mail-qy0-f184.google.com ([209.85.221.184]) by mail4-smtp-sop.national.inria.fr with ESMTP; 28 Jul 2009 23:47:26 +0200 Received: by qyk14 with SMTP id 14so591412qyk.1 for ; Tue, 28 Jul 2009 14:47:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type :content-transfer-encoding; bh=4mjzIW8Q4BX6jVAzFQJsOIxlJxQo76MoG8sN8nrWk0U=; b=slPZBtqPcXis3t6XycC3ElBTlDP0LVeyfoXAMKjltv/Jry6dyrp0JbB4bBN1WGcwO/ Ophm0UfBmlnhBON0j9EJmR7sK0gF95KrH/I0CNCMwXc/7ZBmMbMh4C/ZvRG5JmQldTcD LsusBLCzPPfRAEI49PrFwrAdh5uJvBb/0LBwQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type:content-transfer-encoding; b=WFYiIdzhhNXR3tMIzITccD3x+fSNS48bax8Kr/y65RgU2GMNSSoaJlF2P/MiryfdRw u4fmJsOWgVTb8mpG9dS2IuuLKng62uofg+PendBn9MMBsjZO5tFh5PfYdQe4UOgcdOJW 9n2XbnWCccCvrpKLuFGAKqDVSQoFzSFyKc4Vc= MIME-Version: 1.0 Sender: aaron678@gmail.com Received: by 10.220.95.206 with SMTP id e14mr5261000vcn.34.1248817645241; Tue, 28 Jul 2009 14:47:25 -0700 (PDT) Date: Tue, 28 Jul 2009 17:47:25 -0400 X-Google-Sender-Auth: ab43519e44f35c9a Message-ID: Subject: annotations and type-checking From: Aaron Bohannon To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; annotations:01 upenn:01 let:03 let:03 cis:08 but:14 does:14 edu:15 two:20 true:23 true:23 why:24 the:27 the:27 programs:29 Why do the first two programs type-check but the thrid one does not? let f x = x in (f true, f 3);; let f (x : 'a) : 'a = x in (f true);; let f (x : 'a) : 'a = x in (f true, f 3);; - Aaron