fa.caml Google Group

[Caml-list] WGT 2010 Submission Deadline Extension and Final Call for Papers

w...@aszt.inf.elte.hu (Workshop on Generative Technologies) — Sun, 22 Nov 2009 11:06:41 UT

[ Apologies for multiple copies of this announcement ]
****************************** ****************************** ****
FINAL CALL FOR PAPERS
Second Workshop on Generative Technologies
WGT 2010
[link]

RE: [Caml-list] Same name fields

dra-n...@metastack.com (David Allsopp) — Sat, 21 Nov 2009 15:55:56 UT

This is not possible with record types (at the same module scope) - when you
declare the second type you obscure the previous type.
<snip>
No :o)
Either put types ta and tb in separate modules (then you can use qualified
field names) or use different field names. The Unix module in the Standard
Library is a good example of how to do all this in practice - the record

Re: [Caml-list] Same name fields

goswin-...@web.de (Goswin von Brederlow) — Sat, 21 Nov 2009 15:51:42 UT

No, that is a feature. Just like
let x = 1 in
let x = 2 in
let x = 3 in
Printf.printf "x = %d\n" x
As a workaround you can always put ta and tb into modules. Or you
create wrapper functions (with different names) to create and access
the records before overshadowing tb with ta like this:
type ta = { a : int; b : string }

[Caml-list] Same name fields

n...@mykola.org (Mykola Stryebkov) — Sat, 21 Nov 2009 15:33:17 UT

Hi,
I'm trying to declare to record types with fields having the same name
but different types.
Something like this:
============================== ============================== ============
type ta = { a : int; b : string }
type tb = { a : float; b : string list }
let f v = Printf.printf "%d\n" v.a

Re: New 3.0.2 release of the Caml Images library

mark...@gmail.com (Mark Wong-VanHaren) — Thu, 19 Nov 2009 08:03:58 UT

The URL has a final 'l'. So it's:
[link]
Cheers,
-m

[Caml-list] Call for Participation - PEPM'10 (co-located with POPL'10)

j...@informatik.uni-bonn.de (Janis Voigtländer) — Wed, 18 Nov 2009 17:43:05 UT

============================== ============================== ===
CALL FOR PARTICIPATION
ACM SIGPLAN 2010 Workshop on
Partial Evaluation and Program Manipulation (PEPM'10)
Madrid, January 18-19, 2010
(Affiliated with POPL'10)

Re: [Caml-list] Polymorphic function in reference cell

h...@simula.no (Hans Ole Rafaelsen) — Wed, 18 Nov 2009 17:00:10 UT

Thanks Marc,
I have been experimenting some with modules as well. But I think it
boils down to the same problem. I want to define a polymorphic function
outside the module that uses it (at the top of my module hierarchy). So
if the module UseFoo could be created using the function defined in the

Re: [Caml-list] Polymorphic function in reference cell

m...@de-falco.fr (Marc de Falco) — Wed, 18 Nov 2009 14:58:22 UT

I might have misunderstood your problem, and I do not have a solution
pertaining to your exact question,
but hiding the function and its type inside a module argument for a functor
does the trick, no ?
For example, if you define
module Foo (M : sig type t val f : t -> t end) =
struct let use_f x = M.f x end

[Caml-list] Polymorphic function in reference cell

h...@simula.no (Hans Ole Rafaelsen) — Wed, 18 Nov 2009 14:33:58 UT

Hi,
I have a module that have several functions that take a polymorphic
function as part of their arguments (Foo.f1 and Foo.f2 in the example).
module Foo = struct
let f1 f =
f 1
let f2 f =
f 1.0
let f1_ref = (ref (fun _ -> raise (Failure "undefined") : ('a -> 'a) ))
let set_f1_ref f =

Re: [Caml-list] New: cppo, C preprocessor for OCaml

r...@annexia.org (Richard Jones) — Wed, 18 Nov 2009 13:38:25 UT

All I need now is a camlp4-powerful macro preprocessor for my C code ...
Rich.

Re: [Caml-list] New: cppo, C preprocessor for OCaml

martin.jam...@ens-lyon.org (Martin Jambon) — Wed, 18 Nov 2009 11:34:03 UT

No, cppo is a standalone executable and is independent from camlp4 or camlp5.
Note that the camlp4 world has optcomp:
[link]
Martin

[Caml-list] ICFP '10: Second call for workshop proposals

icfp.public...@googlemail.com (Wouter Swierstra) — Wed, 18 Nov 2009 11:13:31 UT

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2010
15th ACM SIGPLAN International Conference on Functional Programming
September 27 - 29, 2010
Baltimore, Maryland
[link]
The 15th ACM SIGPLAN International Conference on Functional

[Caml-list] Random questions

daniel.buen...@erratique.ch (Daniel Bünzli) — Wed, 18 Nov 2009 10:59:18 UT

I know little about PRGN and unfortunately in a lot of cases the
functions in the Random module don't provide me the right
interface. Could anybody tell me if the following functions preserve
the quality of the underlying PRGN and/or if there's a better way to
achieve that :
1) Generate an arbitrary int

Re: [Caml-list] New: cppo, C preprocessor for OCaml

goswin-...@web.de (Goswin von Brederlow) — Wed, 18 Nov 2009 01:41:59 UT

Without looking at it, is is camlp4 based and can I combine that with
other camlp4 modules or do I need to seperately preprocess the
source?
MfG
Goswin
______________________________ _________________
Caml-list mailing list. Subscription management:
[link]

[Caml-list] New: cppo, C preprocessor for OCaml

martin.jam...@ens-lyon.org (Martin Jambon) — Wed, 18 Nov 2009 00:55:05 UT

Dear list,
It is my pleasure to announce the first release of cppo, an OCaml-friendly
equivalent of the C preprocessor (cpp).
Cppo provides the classic #include, #define and conditionals (#ifdef, ...)
which are occasionally useful. Cppo can be used on OCaml files and variants
of OCaml that use the same lexer, such as ocamllex.