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

--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs