fa.caml Google Group

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

2009-11-22T11:06:41Z

[ 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

2009-11-21T15:55:56Z

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

2009-11-21T15:51:42Z

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

2009-11-21T15:33:17Z

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

2009-11-19T08:03:58Z

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

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

2009-11-18T17:43:05Z

============================== ============================== ===
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

2009-11-18T17:00:10Z

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

2009-11-18T14:58:22Z

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

2009-11-18T14:33:58Z

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

2009-11-18T13:38:25Z

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

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

2009-11-18T11:34:03Z

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

2009-11-18T11:13:31Z

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

2009-11-18T10:59:18Z

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

2009-11-18T01:41:59Z

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

2009-11-18T00:55:05Z

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.