From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 355F37ED26 for ; Fri, 8 Jun 2012 04:35:18 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqIBAERk0U/RVdQzkGdsb2JhbABFtEoIIgEBAQEJCQ0HFAQjgjECJAgBGxwCAxIQFhYYAwIBAgEREQEFASINCAEBHodaAQMLmA2CYAkDjCKCcIRsChknDVeIcQEFDJEaA5Uejh4+hBs X-IronPort-AV: E=Sophos;i="4.75,734,1330902000"; d="scan'208";a="146972110" Received: from mail-vb0-f51.google.com ([209.85.212.51]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Jun 2012 04:35:17 +0200 Received: by vbip1 with SMTP id p1so852582vbi.10 for ; Thu, 07 Jun 2012 19:35:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=ORKiOkgo6+d5B3r9taLV5tl5EMQP0crAg0hQqKq396Q=; b=BYtpPZARXh5gRUE36zyc3Ia9EffbU49be6J7GkvxM1oC9RP3rZQdg9a2mRhYqfUtGj OKUD4fg9gSaDFX9dvMKfgxnukT6gOAWeq+u+YcAWtUf/O5/ALMfPc5f6NMDwYiumdPr9 LstN/y4BSBEY9VSNWb8wlIC8AtuitE9f+F7c0ojOirQZBDveDke1TeFIMwWsMokOxpq1 XMX3/gpijQrJEirf5+vkeNrS1t6hfUe16681rS4Ul4r5OE2YlaPF1cxcox6dqqmA1aDG 9YtDIDtdUt96syAtgU+FXHooMT4tt0l6JMUEv3Lpa53+jfbY7BPsCDZk0mom8TYRdP6E A3UA== Received: by 10.52.69.200 with SMTP id g8mr3809873vdu.113.1339122916386; Thu, 07 Jun 2012 19:35:16 -0700 (PDT) Received: from Hongbos-MacBook-Air.local ([66.250.143.212]) by mx.google.com with ESMTPS id c17sm7458032vdj.11.2012.06.07.19.35.15 (version=SSLv3 cipher=OTHER); Thu, 07 Jun 2012 19:35:15 -0700 (PDT) Message-ID: <4FD164E2.4050807@gmail.com> Date: Thu, 07 Jun 2012 22:35:14 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:12.0) Gecko/20120428 Thunderbird/12.0.1 MIME-Version: 1.0 To: Caml List Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] First Class modules -A bug in 4.00? Hi, List I am not sure this is a bug or not? Below is a contrived example: ------------------ module type S = sig type t=int module X : sig type u end end let f ( module X : S) (y:X.X.u) = 3 -------------------- Error: This pattern matches values of type X.X.u but a pattern was expected which matches values of type X.X.u The type constructor X.X.u would escape its scope -- Thanks