From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <goswin-v-b@web.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 9E2567F20B
	for <caml-list@sympa.inria.fr>; Sat,  9 Feb 2013 14:13:55 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  goswin-v-b@web.de) identity=pra; client-ip=212.227.15.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="goswin-v-b@web.de";
  x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  goswin-v-b@web.de) identity=mailfrom; client-ip=212.227.15.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="goswin-v-b@web.de";
  x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mout.web.de) identity=helo;
  client-ip=212.227.15.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="goswin-v-b@web.de";
  x-sender="postmaster@mout.web.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ah4FANJKFlHU4w8Em2dsb2JhbAA7CbsGhhwWDgEBAQEBCAkLCRQngh8BAQUnE08LGAklDwUoiDIBFrRnH4oTjUiBGIJJYQOWI4VfjXw
X-IPAS-Result: Ah4FANJKFlHU4w8Em2dsb2JhbAA7CbsGhhwWDgEBAQEBCAkLCRQngh8BAQUnE08LGAklDwUoiDIBFrRnH4oTjUiBGIJJYQOWI4VfjXw
X-IronPort-AV: E=Sophos;i="4.84,634,1355094000"; 
   d="scan'208";a="2112020"
Received: from mout.web.de ([212.227.15.4])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Feb 2013 14:13:55 +0100
Received: from frosties.localnet ([95.208.119.3]) by smtp.web.de (mrweb001)
 with ESMTPSA (Nemesis) id 0MBCcv-1UCB0h1fhV-00AN07 for <caml-list@inria.fr>;
 Sat, 09 Feb 2013 14:13:54 +0100
Received: from mrvn by frosties.localnet with local (Exim 4.80)
	(envelope-from <goswin-v-b@web.de>)
	id 1U4AFd-0007Nl-Pr
	for caml-list@inria.fr; Sat, 09 Feb 2013 14:13:53 +0100
Date: Sat, 9 Feb 2013 14:13:53 +0100
From: Goswin von Brederlow <goswin-v-b@web.de>
To: caml-list@inria.fr
Message-ID: <20130209131353.GA27519@frosties>
References: <CAMu2m2Jz=HywCLqDrQAVZx9Lx+P6n7jAsRZRkbgeatUU2CAeow@mail.gmail.com>
 <CAHaHOqRgRkreoKpzs8BG-OSa+g3WQaR_kAAHcYf24QCTbH=vzQ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAHaHOqRgRkreoKpzs8BG-OSa+g3WQaR_kAAHcYf24QCTbH=vzQ@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Provags-ID: V02:K0:Ee2GWrCBZvWMjGb9Sze4LaXS9HeYQHmA4ztTKmAuHjc
 Itw7dF1Uxi48C4gW8ELa3HttphZoA25NObVMYo7YSV3YnzEeIx
 8lBNkA+MkuiblZZix5DxHNmyqz81IIcC4+e42Y4QrjguOREO7q
 DbOf34bytT54IhkKVJcB8jNlR6fRmJ9iNdxaxAlHE7maQlO/eZ
 X2o/AMpN8UhxkU4XGfV7g==
Subject: Re: [Caml-list] use identity for default function

On Thu, Feb 07, 2013 at 11:53:25AM -0800, Jeff Meister wrote:
> Can't you simply define it this way? (I don't think I'm using any new
> features, so maybe I misunderstood your question.)
> 
>         OCaml version 4.00.1
> 
> # external id : 'a -> 'b = "%identity";;
> external id : 'a -> 'b = "%identity"

That is wrong. %identity is of type 'a -> 'a. You are lying to the
type system and all matter of errors and segfaults will ensure (see
later mails).

MfG
	Goswin