From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p337Q16O007036
	for <caml-list@sympa-roc.inria.fr>; Sun, 3 Apr 2011 09:26:01 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AogCAL0fmE3RVdQ2kGdsb2JhbACESKESCBQBAQEBCQkNBxQEIag4ihqPNYEog0x3BI0jiRk6
X-IronPort-AV: E=Sophos;i="4.63,291,1299452400"; 
   d="scan'208";a="92031971"
Received: from mail-vw0-f54.google.com ([209.85.212.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Apr 2011 09:25:56 +0200
Received: by vws18 with SMTP id 18so6586171vws.27
        for <caml-list@inria.fr>; Sun, 03 Apr 2011 00:25:54 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.220.30.3 with SMTP id s3mr344423vcc.139.1301815554242; Sun, 03
 Apr 2011 00:25:54 -0700 (PDT)
Received: by 10.220.200.200 with HTTP; Sun, 3 Apr 2011 00:25:54 -0700 (PDT)
In-Reply-To: <20110331234612.GG10930@localhost>
References: <20110330222702.GF20598@localhost>
	<AANLkTi=KiBAvGbW9i1zXPfkxNtiQxQ-uyNHxnXTUe+pt@mail.gmail.com>
	<20110331234612.GG10930@localhost>
Date: Sun, 3 Apr 2011 09:25:54 +0200
Message-ID: <BANLkTikMgXmuVEfEBnpnjUuFYvsL9sW5FQ@mail.gmail.com>
From: Andrej Bauer <andrej.bauer@andrej.com>
To: Guillaume Yziquel <guillaume.yziquel@citycable.ch>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Reasoning about categories at compile-time.

I would be interested to hear why the problem must be solved with
camlp4 and ocaml, because this looks a lot like an instance of someone
with a hammer looking for some nails to hit.

With kind regards,

Andrej