From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmcclain1@mindspring.com>
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id E9069BB81
	for <caml-list@yquem.inria.fr>; Tue,  6 Dec 2005 19:25:40 +0100 (CET)
Received: from smtpauth06.mail.atl.earthlink.net (smtpauth06.mail.atl.earthlink.net [209.86.89.66])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jB6IPeS9031564
	for <caml-list@yquem.inria.fr>; Tue, 6 Dec 2005 19:25:40 +0100
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=dk20050327; d=mindspring.com;
  b=n/yUv559/hwOlxPp0DAgMZr0eBXrt8BQFT9x+i5wCCSMxXSWhn4hvEY0IRHhpLUN;
  h=Received:Message-ID:From:To:Subject:Date:MIME-Version:Content-Type:Content-Transfer-Encoding:X-Priority:X-MSMail-Priority:X-Mailer:X-MimeOLE:X-ELNK-Trace:X-Originating-IP;
Received: from [71.226.55.138] (helo=dylan)
	by smtpauth06.mail.atl.earthlink.net with asmtp (Exim 4.34)
	id 1EjhVT-00040l-JL
	for caml-list@yquem.inria.fr; Tue, 06 Dec 2005 13:25:39 -0500
Message-ID: <00fd01c5fa92$ae4bf570$0201000a@dylan>
From: "David McClain" <dmcclain1@mindspring.com>
To: <caml-list@yquem.inria.fr>
Subject: Module Abbreviations in MLI Files
Date: Tue, 6 Dec 2005 11:27:13 -0700
MIME-Version: 1.0
Content-Type: text/plain;
	charset="Windows-1252"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1506
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1506
X-ELNK-Trace: 7a0ab3eafc8cf994b22988ad1c62733440683398e744b8a4163327dd0b9c3d6f1a8eb3447d939a153ca473d225a0f487350badd9bab72f9c350badd9bab72f9c
X-Originating-IP: 71.226.55.138
X-j-chkmail-Score: MSGID : 4395D7A4.001 on concorde : j-chkmail score : X : 0/20 1
X-Miltered: at concorde with ID 4395D7A4.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; mli:01 ocaml:01 syntax:01 mli:01 cheers:01 types:02 module:03 module:03 interface:05 preventing:07 i'm:08 mcclain:09 mcclain:09 bit:10 scratch:10 
X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.3

I'm a bit rusty writing raw OCaml from scratch, and I ran into syntax errors
this morning whenever I tried to use Module abbreviations, such as

module T = Types

in my MLI files. These work just fine in ML files.

What is the reason for preventing type abbreviations in the interface spec?

Cheers,

- David McClain