On Fri, 23 Dec 2011 11:04:25 +0300
Mihamina Rakotomandimby wrote:
> On 12/23/2011 10:57 AM, haihao shen wrote:
> > Hi All,
> >
> > Does anyone know whether there is some tools or scripts to format ocaml
> > code in a unified format?
>
> If you mean having a "good" indentation, opening it in Ema
On Fri, Dec 23, 2011 at 08:29:09PM +0100, Jérémie Dimino wrote:
> Le vendredi 23 décembre 2011 à 20:10 +0100, Dominique Martinet a écrit :
> > Yes, I've seen that - what I mean isn't clearing the view, but really
> > reseting the variables and whatever is defined.
> > Maybe there actually is someth
On Fri, Dec 23, 2011 at 01:56:46PM -0500, Ashish Agarwal wrote:
> This is really great!
>
> One comment, it doesn't work on Safari.
[...]
On Konqueror it also does not work.
On FF it runs fine.
Ciao,
Oliver
--
Caml-list mailing list. Subscription management and archives:
https://sympa-ro
On Fri, Dec 23, 2011 at 08:54:15PM +0200, Török Edwin wrote:
> On 12/23/2011 08:00 PM, Fabrice Le Fessant wrote:
> > Dear ocamllers,
> >
> > We worked hard on our "Try OCaml" website, started by Çagdas, and we
> > managed to improve it enough, so that we think people can start using it
> > (and
Awesome work, congratulations !
On Fri, Dec 23, 2011 at 1:14 PM, Norman Hardy wrote:
>
> On 2011 Dec 23, at 11:15 , Philippe Strauss wrote:
>
> > On Fri, Dec 23, 2011 at 01:56:46PM -0500, Ashish Agarwal wrote:
> >> This is really great!
> >>
> >> One comment, it doesn't work on Safari. I see p
On 2011 Dec 23, at 11:15 , Philippe Strauss wrote:
> On Fri, Dec 23, 2011 at 01:56:46PM -0500, Ashish Agarwal wrote:
>> This is really great!
>>
>> One comment, it doesn't work on Safari. I see parts of the page, but the
>> dynamic parts don't work. This is a problem I already had on an
>> ocsig
VMCAI 2012
13th International Conference on
Verification, Model Checking, and Abstract Interpretation
Philadelphia, USA, January 22-24, 2012
http://lara.epfl.ch/vmcai2012/program.html
Early registration deadline is
Hi,
Jérémie Dimino wrote on Fri, Dec 23, 2011 :
> # let env = !Toploop.toplevel_env;;
> val env : Env.t =
> # let x = 1;;
> val x : int = 1
> # Toploop.toplevel_env := env;;
> - : unit = ()
> # x;;
> Characters 0-1:
> Error: Unbound value x
Thanks!
I've even found Toploop.initialize_toplevel_env
I happened to have a windows virtual machine started and tried in IE 8
(8.0.7600.16385). I can't type in it and it seems to work fine at
first I get this behaviour:
# let x = 42;;
# x;;
Characters 0-1:
Error: Unbound value x
Also, something statements don't produce anything on screen excep
Le vendredi 23 décembre 2011 à 20:10 +0100, Dominique Martinet a écrit :
> Yes, I've seen that - what I mean isn't clearing the view, but really
> reseting the variables and whatever is defined.
> Maybe there actually is something in the standard toplevel, but I don't
> think I've ever heard about
On Fri, Dec 23, 2011 at 01:56:46PM -0500, Ashish Agarwal wrote:
> This is really great!
>
> One comment, it doesn't work on Safari. I see parts of the page, but the
> dynamic parts don't work. This is a problem I already had on an
> ocsigen.orgpage, and I reported on the Ocsigen list. When I turn
Hi,
Çagdas Bozman wrote on Fri, Dec 23, 2011 :
> > The only "real" thing that it's missing is a way to reset the toplevel
> > without reloading the page. It's the same problem as with the real
> > toplevel now that I think about it, but I didn't think of reloading the
> > page directly!
>
> You ca
This is really great!
One comment, it doesn't work on Safari. I see parts of the page, but the
dynamic parts don't work. This is a problem I already had on an
ocsigen.orgpage, and I reported on the Ocsigen list. When I turn on
the javascript
debugger in Safari and reload the page, it then works. H
On 12/23/2011 08:00 PM, Fabrice Le Fessant wrote:
> Dear ocamllers,
>
> We worked hard on our "Try OCaml" website, started by Çagdas, and we
> managed to improve it enough, so that we think people can start using it
> (and hopefully, improving it).
>
> It is available here:
>
> http://try.ocam
>
> The only "real" thing that it's missing is a way to reset the toplevel
> without reloading the page. It's the same problem as with the real
> toplevel now that I think about it, but I didn't think of reloading the
> page directly!
>
>
You can clear the editor view by using the command "clear()"
On Fri, Dec 23, 2011 at 07:00:20PM +0100, Fabrice Le Fessant wrote:
> Dear ocamllers,
>
> We worked hard on our "Try OCaml" website, started by Çagdas, and we
> managed to improve it enough, so that we think people can start using it
> (and hopefully, improving it).
>
> It is available here:
>
Hi,
The website is really nice :) I'm a bit too used to ledit and find the
lack of ^w, ^u, ^k a bit annoying, but the experience is really smooth,
that's good!
The only "real" thing that it's missing is a way to reset the toplevel
without reloading the page. It's the same problem as with the real
Dear ocamllers,
We worked hard on our "Try OCaml" website, started by Çagdas, and we
managed to improve it enough, so that we think people can start using it
(and hopefully, improving it).
It is available here:
http://try.ocamlpro.com/
There are 3 lessons, two lessons for "getting a taste o
Le vendredi 23 décembre 2011 à 09:51 +0100, Gabriel Scherer a écrit :
> Note that piping/redirection `camlp4o file.ml > foo` doesn't work as
> camlp4o sends a marshalled AST by default.
> An issue with camlp4 is that it can sometimes move comments a bit: the
> placement of comments in the reformatt
On 12/23/2011 01:04 PM, ri...@happyleptic.org wrote:
>> This will compile if you ??-expand the partial application of
>> some_operation into ???(fun t1 -> some_operation t_priv t1)???.
>>
>> But perhaps your example is over simplified and hide the real
>> difficulty.
>
> No you are right, once eta
On Fri, Dec 23, 2011 at 07:29:45AM +0100, Stéphane Glondu wrote:
> Le 23/12/2011 01:13, oliver a écrit :
> > I also looked now, at what the original package offers...
> > ...for example with "make doc" a lot of additional
> > nice docs will be created.
> >
> > That was not offered by my OS-based i
Le vendredi 23 décembre 2011 à 13:27 +0100, ri...@happyleptic.org a
écrit :
> > Note that piping/redirection `camlp4o file.ml > foo` doesn't work as
> > camlp4o sends a marshalled AST by default.
>
> This is indeed annoying.
> Unfortunately, and quite surprisingly to me, using -o /dev/stdout does
> Note that piping/redirection `camlp4o file.ml > foo` doesn't work as
> camlp4o sends a marshalled AST by default.
This is indeed annoying.
Unfortunately, and quite surprisingly to me, using -o /dev/stdout does
not help.
> An issue with camlp4 is that it can sometimes move comments a bit: the
>
> This will compile if you ??-expand the partial application of
> some_operation into ???(fun t1 -> some_operation t_priv t1)???.
>
> But perhaps your example is over simplified and hide the real
> difficulty.
No you are right, once eta-epxanded the compiler accepted the code.
I wonder what diffe
There is also this package with a differnet name:
https://aur.archlinux.org/packages.php?ID=52452
I think that one is to use, because of the naming scheme.
On Fri, Dec 23, 2011 at 04:13:59AM +0100, oliver wrote:
> Hello,
>
> I created an AUR-package (Arch-Linux)
> for the PCRE-OCaml:
>
>
Hi all,
Is it possible to get raw body of a POST-request if I'm using Netplex_cgi?
--
Mykola Stryebkov
Public key: http://mykola.org/pubkey.txt
fpr: 0226 54EE C1FF 8636 36EF 2AC9 BCE9 CFC7 9CF4 6747
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr
A function is polymorphic if it accepts _arguments_ with different types
(the return value is not considered). Thus
# let f x = x + 1;;
val f : int -> int =
is not polymorphic; it only accepts an integer.
Your function, on the other hand, is polymorphic. It accepts a two-tuple,
where any type m
Camlp4 parses Ocaml source, and can reprint it. You can't customize
the output much, it's defined by the pretty-printer (but you could
write your own pretty-printer), and it probably doesn't correspond to
your own OCaml style. If you're only looking for a way to normalize
indentation, you may be ha
Hello,
I have a question about polymorphism in general.
Let's take this example:
val polymorph1 : 'a * 'b -> string =
Is it polymorph?
I have a doubt because the result is always a "string", not something
related to either "'a" or "'b".
So another way to ask the question: is polymorphism o
On 12/23/2011 10:57 AM, haihao shen wrote:
Hi All,
Does anyone know whether there is some tools or scripts to format ocaml
code in a unified format?
If you mean having a "good" indentation, opening it in Emacs+tuareg-mode
then indenting will work fine.
Note that it's a file by file way and
30 matches
Mail list logo
