Article View: fa.caml
Article #87Re: typing with first-class modules
From: Radu Grigore
Date: Thu, 25 Oct 2012 18:09
Date: Thu, 25 Oct 2012 18:09
1 lines
1314 bytes
1314 bytes
Ah, nevermind. I just noticed that the code I wanted to write works with OCaml 4.0.
Technical Details
Message-ID:
<2959b956-a629-490b-8cb8-37f4ac55644a@googlegroups.com>Path:
arc1-ca.pugleaf.net!r17ni57592152qap.0!nntp.google.com!x14no8162806qar.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<ed801ab9-cb63-4f32-95be-4a72bbb1dd60@googlegroups.com>Show Full Headers
Complete Article Headers
X-Google-Thread: c0fe4b917e,6b316d5a86de4e71
X-Google-Attributes: gidc0fe4b917e,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.224.186.20 with SMTP id cq20mr10431679qab.8.1351188582467;
Thu, 25 Oct 2012 11:09:42 -0700 (PDT)
Received: by 10.52.93.229 with SMTP id cx5mr3877428vdb.19.1351188582391; Thu,
25 Oct 2012 11:09:42 -0700 (PDT)
Path: arc1-ca.pugleaf.net!r17ni57592152qap.0!nntp.google.com!x14no8162806qar.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: fa.caml
Date: Thu, 25 Oct 2012 11:09:42 -0700 (PDT)
In-Reply-To: <ed801ab9-cb63-4f32-95be-4a72bbb1dd60@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=138.37.90.78; posting-account=e5mzsQoAAAB7g9y7Bkgam0zJDHRr7bCB
NNTP-Posting-Host: 138.37.90.78
References: <ed801ab9-cb63-4f32-95be-4a72bbb1dd60@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2959b956-a629-490b-8cb8-37f4ac55644a@googlegroups.com>
Subject: Re: typing with first-class modules
From: Radu Grigore <radugrigore@gmail.com>
Injection-Date: Thu, 25 Oct 2012 18:09:42 +0000
Content-Type: text/plain; charset=ISO-8859-1