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 q0RGpgUe006868
	for <caml-list@sympa-roc.inria.fr>; Fri, 27 Jan 2012 17:51:42 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ar4BAJXVIk9KfVK2imdsb2JhbABDgiiCY6k+CCIBAQEKCQ0HEgYhggsCDx0BGxwCAxIQDwIFFgsCCwMCAQIBEREBBQEWGQgBAR6HXAaYPYJfCosiSIJvhGw/iHECBQuBJIdhAQUDBQYBAw4GLB0DgmUXBgwCEAUKZAVSggaBFgSVGoVXgTeHAz2Dfw
X-IronPort-AV: E=Sophos;i="4.71,580,1320620400"; 
   d="scan'208";a="129123799"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Jan 2012 17:51:37 +0100
Received: by werg1 with SMTP id g1so2497727wer.27
        for <caml-list@inria.fr>; Fri, 27 Jan 2012 08:51:36 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject
         :content-type:content-transfer-encoding;
        bh=SCIpoAC8+pRIRiFSDoRZB5oS+JTJ13yjno5sUjRDvGc=;
        b=JBdycE5v+fHQtSIWU0n/WLJOmS3VpXrKaZn8CfgYslkDQbW1Zy2byHwZMkOn5C0k1N
         dNtaH7TqZ56Ebwwe8MaC2wOIkJxDfl+t0F0oRtVxezKC2uYAWh2LsOM3Cb/sNqU1hFKa
         vLb9nEfN51/cF5nD3gxFccRIDPFaMW6oSx5qo=
Received: by 10.216.131.210 with SMTP id m60mr3164851wei.47.1327683096584;
        Fri, 27 Jan 2012 08:51:36 -0800 (PST)
Received: from [172.27.6.208] ([213.106.240.92])
        by mx.google.com with ESMTPS id q7sm13020436wix.5.2012.01.27.08.51.35
        (version=SSLv3 cipher=OTHER);
        Fri, 27 Jan 2012 08:51:36 -0800 (PST)
Message-ID: <4F22D617.1080802@gmail.com>
Date: Fri, 27 Jan 2012 16:51:35 +0000
From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?=
 <5764c029b688c1c0d24a2e97cd764f@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111222 Thunderbird/9.0
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] deriving

Hi,

I would like to play with / evaluate the "deriving" library:
http://code.google.com/p/deriving/wiki/Introduction

How can I:
- create a Ocaml top-level where I can play with it?
- compile programs which take advantage of this library?

I am on Fedora 16.

What I have tried is this:

  $ sudo yum install ocaml-deriving-devel
  $ rlwrap ocaml
  # #use "topfind";;
  # #require "deriving";;
  No such package: %{camlp4} - Required by `deriving'

I am not sure how to proceed.

------------------------------------------------

Concerning linking against this library, I have tried this:

  $ cat Main.ml

      let s = Show.show<int> 3

  $ ocamlc -I +deriving -pp "camlp4of -I `ocamlc -where`/deriving
nums.cma deriving.cma" deriving.cma Main.ml -o main

      File "ghost-location", line 7, characters 8--144:
      Error: Unbound value Show.show
      make: *** [main] Error 2

where "Main.ml" is supposed to be a program that uses syntactic sugar
provided by "deriving" library.

What is the proper way to get things compiled? I have failed to find any
examples.

Thanks in advance for the help.