The ACM SIGSAM 2009 International
Workshop on Programming Languages for
Mechanized Mathematics Systems
PLMMS 2009
Munich, Germany; August 21, 2009
Hello,
On Tue, Apr 7, 2009 at 07:48, Goswin von Brederlow goswin-...@web.de wrote:
In the last 2 weeks I've been playing around with lots of different
ways to do the same thing to get a feel for what style suites me
best. If you have improvements or alternative ways of doing the two
things
I have a question related to this: Is there a reason for the absence of a
ConcreteBidirectionalLabeled graph in the API?
Simply an historical reason: the module ConcreteBidirectional is an
external contribution (by Ted Kremenek), which was only recently added
to Ocamlgraph.
Anybody can
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On Tuesday 07 April 2009 03:41:32 am David MENTRE wrote:
Hello,
On Tue, Apr 7, 2009 at 07:48, Goswin von Brederlow goswin-...@web.de
wrote:
In the last 2 weeks I've been playing around with lots of different
ways to do the same thing to get a
Hello,
Compiling a little program using Lacaml (in a cygwin shell) gives me the
error:
| a...@pc~/UMH/Master 2
| $ ocamlfind ocamlc -package lacaml -linkpkg d.ml
| ** Fatal error: Error while reading c:/cygwin/lib\liblapack.a:
Sys_error(Invali
| d argument)
| File d.ml, line 1, characters 0-1:
DESMONS Bertrand wrote:
Hello,
Compiling a little program using Lacaml (in a cygwin shell) gives me the
error:
The library file seems to be a symbolic link. flexlink is a regular
Win32 application and does not know about this Cygwin-specific notion.
The good news is that it can use the
Can you try passing -ccopt -cygpath to ocamlc?
Yes, but the error persists...
| a...@pc~/UMH/Master 2
| $ ocamlc -ccopt -cygpath -I C:/Program Files/Objective
Caml/lib/site-lib/lacam
| l bigarray.cma lacaml.cma -verbose d.ml
| + flexlink -chain mingw -exe -o camlprog.exe -LC:/Program
Can anyone summarize the trade-offs between the Camomile and Netstring
(netconversion) unicode translation libraries? The netconversion
documentation (http://projects.camlcity.org/projects/dl/ocamlnet-2.2.9/doc/html-main/Netconversion.html
) mentions that Camomile implements text strings as
Hello,
there is a petition against softwarepatents in europe.
Please sign the petition and spread the word!
http://www.stopsoftwarepatents.eu/
Ciao,
Oliver Bandel
___
Caml-list mailing list. Subscription management:
Peng Zang peng.z...@gmail.com writes:
On Tuesday 07 April 2009 03:41:32 am David MENTRE wrote:
Hello,
On Tue, Apr 7, 2009 at 07:48, Goswin von Brederlow goswin-...@web.de
wrote:
In the last 2 weeks I've been playing around with lots of different
ways to do the same thing to get a feel
Goswin von Brederlow goswin-...@web.de writes:
So what other ways are there of doing this? Records. Idealy I would
like to do this:
type base = { x : int }
let make_base x = { x = x }
let print_x r = print_int r.x
type foo = { base with y : int }
let make_foo x y = { x = x; y = y }
let _
From: Goswin von Brederlow goswin-...@web.de
Small extra question concerning this. Can I get ocaml to recognise a
type like this?
type base = 'a. {
x : 'a;
fn : 'a - unit;
}
List.iter
(fun r - r.fn r)
[{x = 1; fn = (fun r - print_int r.x); };
{x = 1.2; fn = (fun r -
Here is a slightly more usable version, using helper functions to
avoid writing intermediate closures by hand.
type 'a base = {x : 'a; fn : 'a - unit}
(* 4 next lines are boilerplate, could be auto-generated *)
type 'b base_op = {bop: 'a. 'a base - 'b}
type base_wrapper = {base: 'b. 'b
13 matches
Mail list logo
