From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <info@gerd-stolpmann.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 1E3177ED47
	for <caml-list@sympa.inria.fr>; Thu, 19 Jul 2012 18:10:14 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=pra;
  client-ip=212.227.126.171;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=mailfrom;
  client-ip=212.227.126.171;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  postmaster@moutng.kundenserver.de designates 212.227.126.171
  as permitted sender) identity=helo;
  client-ip=212.227.126.171;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="postmaster@moutng.kundenserver.de";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsQCALYwCFDU436rjWdsb2JhbABFqCyRFCIBAQEBCQkmBSSCIAEBBAE6NAtAXQkSBhMJCYdsAwYKB7RxA4lYFIs4hxADjUGJFogWiUE
X-IronPort-AV: E=Sophos;i="4.77,615,1336341600"; 
   d="scan'208";a="167499459"
Received: from moutng.kundenserver.de ([212.227.126.171])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Jul 2012 18:10:13 +0200
Received: from office1.lan.sumadev.de (dslb-084-059-073-089.pools.arcor-ip.net [84.59.73.89])
	by mrelayeu.kundenserver.de (node=mreu0) with ESMTP (Nemesis)
	id 0MURVP-1TJ9Jn46ct-00RLOl; Thu, 19 Jul 2012 18:10:13 +0200
Received: from samsung (unknown [89.204.130.133])
	by office1.lan.sumadev.de (Postfix) with ESMTPSA id 51744C00D1;
	Thu, 19 Jul 2012 18:10:12 +0200 (CEST)
Date: Thu, 19 Jul 2012 18:10:04 +0200
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Hendrik Tews <tews@os.inf.tu-dresden.de>
Cc: caml-list@inria.fr
In-Reply-To: <20488.829.946358.211872@blau.inf.tu-dresden.de> (from
	tews@os.inf.tu-dresden.de on Thu Jul 19 14:53:17 2012)
X-Mailer: Balsa 2.4.11
Message-Id: <1342714204.2236.8@samsung>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
X-Provags-ID: V02:K0:FXmk1zCVplHnReGIRqG85VoN8cNkRKX73zLAnRP+Z6p
 W/Z0BjfiRjb6yy5oLAWgAPbrM9WMGHK16V+HKMF6p0RddF6ihf
 mijm0LNye9nuXLVXKBrJ9Kyj6YrtWdFDNsZ5xsh5B5IIPCW62Z
 kQUf/0fublPQ749cOf15amBe0+0oIo+SpXe2MemyEwbLqtYtvr
 ld3WJtizvg+oFIt5kHf/h6KTjUinf1Yl7kMkcF8dycFY46/JkR
 MLXhOHNgjuOZ3d41mjRkmyTz1WATwkaJEKCdZxCRsj1/EOixO9
 ZWbhS/b6CEwzybgcMxFtjb5TiDbws/UZ4z5o0LNEZPP6g7nsNj
 Dfftfu+2Vr/PcgxUFy50=
Subject: AW: [Caml-list] #install_printer gives error in 4.0X

Am 19.07.2012 14:53:17 schrieb(en) Hendrik Tews:
> Hi,
>=20
> #install_printer does not work for me anymore in the trunk
> version of OCaml and in the 4.00 branch. When I try
>=20
>     type t =3D A;;
>     let t_printer ff (t : t) =3D Format.fprintf ff "XaX";;
>     #install_printer t_printer;;
>=20
> I get
>=20
>     Cannot find type Topdirs.printer_type_new.
>=20
> Is this a bug or am I doing something wrong? If this is a bug,
> does anybody know a workaround?

#directory "+compiler-libs";;

Looks like a bug.

Gerd

>=20
> Bye,
>=20
> Hendrik
>=20
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>=20
>=20
>=20



--=20
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------=