* [Caml-list] Specialized functors @ 2002-04-30 7:12 malc 2002-04-30 8:24 ` Christophe Raffalli 0 siblings, 1 reply; 3+ messages in thread From: malc @ 2002-04-30 7:12 UTC (permalink / raw) To: caml-list 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. Yours, trully Me -- 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Specialized functors 2002-04-30 7:12 [Caml-list] Specialized functors malc @ 2002-04-30 8:24 ` Christophe Raffalli 2002-04-30 21:15 ` malc 0 siblings, 1 reply; 3+ messages in thread From: Christophe Raffalli @ 2002-04-30 8:24 UTC (permalink / raw) To: malc; +Cc: caml-list 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) -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Specialized functors 2002-04-30 8:24 ` Christophe Raffalli @ 2002-04-30 21:15 ` malc 0 siblings, 0 replies; 3+ messages in thread From: malc @ 2002-04-30 21:15 UTC (permalink / raw) To: Christophe Raffalli; +Cc: caml-list 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 ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2002-05-01 15:36 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2002-04-30 7:12 [Caml-list] Specialized functors malc 2002-04-30 8:24 ` Christophe Raffalli 2002-04-30 21:15 ` malc
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox