RE: [Caml-list] A Tutorial on GNU Make with OCaml

Michael Grünewald wrote: Dear Jeff, Jeff Shaw wrote: Dear OCamlers, I spent quite a lot of time today getting better acquainted with GNU make and decided I to share my experience and results. It's a bit on the newbie friendly side of instruction.

Re: [Caml-list] A Tutorial on GNU Make with OCaml

Jeff Shaw shawj...@msu.edu writes: Dear OCamlers, I spent quite a lot of time today getting better acquainted with GNU make and decided I to share my experience and results. It's a bit on the newbie friendly side of instruction.

[Caml-list] Private modules in packages

Hi, When packing a set of modules into a top module using -pack, is there a way to have some of the modules private to the package? If I have the modules Helper, Foo and Bar. Helper provides helper functions used by Foo and Bar. When I'm packing them into a top mudule P, I do not want to expose

Re: [Caml-list] Private modules in packages

Hi Hans, Hans Ole Rafaelsen wrote: When packing a set of modules into a top module using -pack, is there a way to have some of the modules private to the package? If I have the modules Helper, Foo and Bar. Helper provides helper functions used by Foo and Bar. When I'm packing them into a top

Re: [Caml-list] Private modules in packages

Hello, 2010/5/21 Hans Ole Rafaelsen hrafael...@gmail.com When packing a set of modules into a top module using -pack, is there a way to have some of the modules private to the package? If I have the modules Helper, Foo and Bar. Helper provides helper functions used by Foo and Bar. When I'm

Re: [Caml-list] Private modules in packages

Thanks Michael and Julien, That did the trick. I manually inserted the content of the Bar.mli and Foo.mli into the P.mli file. Guess unless it is some way to include this automatically the best will be to write a script to generate the P.mli file automatically based on current version of Bar.mli

[Caml-list] Call for Participation: 20th WADT, July 1-4, 2010

[sorry if you receive this more than once] CALL FOR PARTICIPATION WADT 2010 20th International Workshop on Algebraic Development Techniques July 1-4, 2010, Etelsen, Germany

[Caml-list] Current state of GODI and batteries

The version of batteries on GODI is pretty old by now, and shows no signs of being updated. Googling around, I can't find anything about this - is there some reason the latest batteries is not on GODI? martin ___ Caml-list mailing list. Subscription

Re: [Caml-list] Private modules in packages

write a script to generate the P.mli file Why do you need Bar.mli and Foo.mli at all? Just write the P.mli only. On Fri, May 21, 2010 at 5:51 AM, Hans Ole Rafaelsen hrafael...@gmail.comwrote: Thanks Michael and Julien, That did the trick. I manually inserted the content of the Bar.mli and

Re: [Caml-list] Private modules in packages

Hello, 2010/5/21 Ashish Agarwal agarwal1...@gmail.com write a script to generate the P.mli file Why do you need Bar.mli and Foo.mli at all? Just write the P.mli only. If your pack is big, you may want to mask internals of Bar and Foo to others modules of the pack. Actually, values exported

[Caml-list] Re: Binding and evaluation order in module/type/value languages

It is not clear that this will work at all. The semantics of ocaml (contrary to SML) is not defined in terms of type generativity. This is great eureka to me. I thought that when the compiler refuses to unify some types it knows that they are incompatible (as the error message says). But

[Caml-list] Re: Re: camlp5 compilation error

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi Daniel, It didn't solve the problem... I also recompiled ocaml (and camlp5), but nothing changes... I did even more and uninstalled camlp5 to be sure that /usr/lib/ocaml/camlp5 would be really recompiled. ocamlc.opt -I +camlp5 -pp 'camlp5 -I

Re: [Caml-list] Problem with recursive class and non-class types

Jacques Garrigue garri...@math.nagoya-u.ac.jp writes: From: Goswin von Brederlow goswin-...@web.de I want to define the two types below: type foo = { bar : bar; } class bar = object val mutable foo : foo list = [] end Is there another way of doing this other than: # type 'a foo = {

Re: [Caml-list] Current state of GODI and batteries

On Fri, May 21, 2010 at 8:06 PM, Edgar Friendly thelema...@gmail.com wrote: On 05/21/2010 06:43 AM, Martin DeMello wrote: The version of batteries on GODI is pretty old by now, and shows no signs of being updated. Googling around, I can't find anything about this - is there some reason the

Re: [Caml-list] Private modules in packages

Julien Signoles julien.signo...@gmail.com writes: Hello, 2010/5/21 Ashish Agarwal agarwal1...@gmail.com write a script to generate the P.mli file Why do you need Bar.mli and Foo.mli at all? Just write the P.mli only. If your pack is big, you may want to mask internals of Bar

Re: [Caml-list] Private modules in packages

2010/5/21 Goswin von Brederlow goswin-...@web.de Julien Signoles julien.signo...@gmail.com writes: Hello, 2010/5/21 Ashish Agarwal agarwal1...@gmail.com write a script to generate the P.mli file Why do you need Bar.mli and Foo.mli at all? Just write the P.mli only.