[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2002-04-30 (13:13) |
From: | malc <malc@p...> |
Subject: | Re: [Caml-list] Specialized functors |
On 30 Apr 2002, Christophe Raffalli wrote: > Le mar 30/04/2002 à 09:12, malc a écrit : > > Hi, > > > > Here http://algol.prosalg.no/~malc/code/specfun.tar.gz you can find small > > OCaml 3.04 patch to allow functor specialization. Feedback is welcome. > > > > Can you tell us what it does (I prefer to know before I try) module F(A: sig .. end) = struct ... end module X = F(Moo) will be expanded to: module X = struct module opaque = struct <Moo body> end open X <F body> end With all the dirty facts hidden, and typing (mostly) preserved. There is an example in the archive, try it, cause im really bad doc/explanation writer. -- mailto:malc@pulsesoft.com ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners