OASIS help: what is the meaning of best in CompiledObject
	Hello, From the oasis manual, [link] I see: --- CompiledObject: Define the compilation type of the section: byte, native or best --- I understand byte and native. But what is best? I tried and it produces a .native. Thanks, F. -- Caml-list mailing list. Subscription management and archives:... more » By Francois Berenger  - 1:36am - 2 new of 2 messages

	strange error with packed modules and module type of
	... Btw., this is equivalent and slightly shorter: module Std : module type of Std ...[snip] ... This seemingly identical construction compiles: g.mli: module Std : sig module Foo : module type of Foo end I guess this also points to what is going wrong. If I understand this correctly, the workaround basically says: "Std contains a submodule... more » By Markus Mottl  - May 29 - 1 new of 1 message

	ML2012: Second Call For Presentations
	The submission deadline for ML2012 is approaching (next Monday, 2012-06-04), but given the submission format, it's not too late. Please consider submitting a presentation proposal! More information on the workshop: [link] -- Alain ============================== ============================== ===========... more » By Alain Frisch  - May 29 - 1 new of 1 message

	IEEE HLDVT 2012: Call for Papers
	============================== ============================== == We apologize if you receive multiple copies of this CFP. Please distribute to anyone who may be interested. ============================== ============================== == Call for Papers ****************************** ****************************** ***... more » By Hiren Patel  - May 29 - 1 new of 1 message

	POPL 2013: Call for papers
	********************* POPL 2013: Call for papers ************************ 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [link] POPL dates: 23-25 January 2013 Co-located events: 20-22, 26 January 2013 Location: Rome, Italy Paper registration: 6 July 2012, 11:59pm American Samoa time (UTC-11h)... more » By Viktor Vafeiadis  - May 29 - 1 new of 1 message

	LOLA 2012: Call for Participation (early registration by May 31)
	============================== ============================== *** CALL FOR PARTICIPATION *** LOLA 2012 Syntax and Semantics of Low Level Languages Sunday 24th June 2012, Dubrovnik, Croatia A LICS 2012-affiliated workshop... more » By Amal Ahmed  - May 28 - 1 new of 1 message

	IJCAR 2012 Call for Participation
	------------------------------ ------------------------------ ------------- IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning [link] Final Call for Participation and ********Early Registration Deadline Extented to May 30th********... more » By Geoff Sutcliffe  - May 28 - 1 new of 1 message

	OASIS help: custom target
	Hi François, you can add this rule at the end of the Makefile generated by oasis, after the OASIS_STOP comment. cheers, ph. 2012/5/28 Francois Berenger <beren...@riken.jp> ... -- Caml-list mailing list. Subscription management and archives: [link]... more » By Philippe Veber  - May 28 - 2 new of 2 messages

	OASIS help: passing the -classic-display option to ocamlbuild
	Hello, Is there a clean way to do this with oasis rather than having to write a wrapper that enforces this option and replace the standard ocamlbuild executable? The wrapper approach works but will be erased upon update of ocamlbuild, which is not OK in the long run. Thanks a lot, F.... more » By Francois Berenger  - May 28 - 2 new of 2 messages

	odb.ml mailing list
	Francois Berenger has been kind enough to set up a google group for users of odb.ml[1], a simple package installer for OCaml. If you're using odb or would like some help with it, you can subscribe to the group at: [link] If you don't know what odb is, it could be compared to GODI, but is much... more » By Edgar Friendly  - May 28 - 2 new of 2 messages