From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2PIhmK5031129 for ; Fri, 25 Mar 2011 19:43:49 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlYCAF3hjE1KfVK2kGdsb2JhbAClWQgUAQEBAQkJDQcUBCGofIpUgiGFKS+IXAEBAwWFZASMdYNUc4RCOg X-IronPort-AV: E=Sophos;i="4.63,244,1299452400"; d="scan'208";a="79091245" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Mar 2011 19:43:49 +0100 Received: by wyf23 with SMTP id 23so2107962wyf.27 for ; Fri, 25 Mar 2011 11:43:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:from:content-type:content-transfer-encoding :subject:date:message-id:to:mime-version:x-mailer; bh=1cZfbTUuWBPW0xRxAD12ph47toYSZGXXNWdtTxMl1Rk=; b=cjAUQE7ve7nNRVQI1kM0XtpSHiapqB2pcochv4U05uB+hxKwrkmD4FbledkpTrX8iO KQZ+lYzH1J48MNsTSbNMB1UPlqoukxvBN9pnE733iQqlcyGCYRT5SNvLs0kZThIOjzgO I5UNXSgMrglRwGuZ/u7ew5TlHMzF7s2UAFLPU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:content-type:content-transfer-encoding:subject:date:message-id :to:mime-version:x-mailer; b=W/HDzsLK/JUz43Rhsk9pStgqmJKt6Fy56VvXjzg+fHyuQZ4iNixZJR2ZA3nMq0D7sm bUIAyjGJkK2Nl4T1bc/RWEj7uWpZYH8qL3HlqUkknlqdYZYTYoK43/KE/zYkT7Q6tHBV QOs1FG9iCIqPTxo0k4l77wRidMkGyF4lPQOUI= Received: by 10.216.25.202 with SMTP id z52mr32168wez.14.1301078628583; Fri, 25 Mar 2011 11:43:48 -0700 (PDT) Received: from [192.168.0.195] ([95.60.213.7]) by mx.google.com with ESMTPS id m2sm436119wer.37.2011.03.25.11.43.46 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 25 Mar 2011 11:43:47 -0700 (PDT) From: Joel Reymont Content-Type: text/plain; charset=us-ascii Date: Fri, 25 Mar 2011 18:43:45 +0000 Message-Id: <083A0142-982A-42DA-84EB-E3F5D26577E1@gmail.com> To: caml-list Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p2PIhmK5031129 Subject: [Caml-list] shortcut to omit the functor keyword Why does the shortcut to omit the functor keyword only exists in module definitions but not in signatures? For example, why do module type A = sig end;; module type B = sig end;; module type C = functor (X : A) -> functor (Y : B) -> sig end;; and not module type C (X : A) (Y : B) = sig end;; the latter would be consistent with module C (X : A) (Y : B) = struct end;; -------------------------------------------------------------------------- - for hire: mac osx device driver ninja, kernel extensions and usb drivers ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------