Gabriel Scherer writes:
>> So then you need mutable option types or mutables that you initialize
>> with dummy values and then overwrite with the real thing once all
>> members of a cycle are created. Or some other trickery to make it
>> work. Overall cycles are generally not good.
>
> I believe
On Wed, Mar 7, 2012 at 12:28, Matej Košík
<5764c029b688c1c0d24a2e97cd7...@gmail.com> wrote:
> If you remove any of the "with sexp" clauses, you will get a
> preprocessor error:
>
> File "main.ml", line 4, characters 18-23:
> Parse error: "with" expected after [type_declaration] (in [str_item])
>
On 03/07/2012 11:37 PM, Edgar Friendly wrote:
[...]
>
Except I don't intend odb to scale. It's hovering right around 500 lines
of code, and if I can keep it around that size, I'll be happy. I don't
intend odb to ever have a `odb remove foo` command
Hi,
Wouldn't it be possible to have 'odb re
Hello,
I'd like to support oasis in the various packages I distribute. Here are a few
questions (using oasis v0.3.2~rc2).
1) All the packages I distribute are made of a single module. For now these
were just installed as .cmo .cmx .cmxs. Now it seems oasis forces me to create
a .mllib even
You are the wrong version of camlp4 (the different campl4 binaries
load different libraries, syntaxes etc...). If you switch camlp4orf to
camlp4o your code should compile fine. Also note that I would
recommend using the excellent ocamlfind tool:
ocamlfind c -linkpkg -package sexplib,sexplib.syntax
Hi Markus,
On 03/07/2012 05:10 PM, Markus Mottl wrote:
> On Wed, Mar 7, 2012 at 11:44, Matej Košík
> <5764c029b688c1c0d24a2e97cd7...@gmail.com> wrote:
>> I have found one (I guess unnecessary) disadvantage over `deriving'.
>> If you process your *.ml file with sexplib/bin_prot preprocessor, you
>>
On Wed, Mar 7, 2012 at 11:44, Matej Košík
<5764c029b688c1c0d24a2e97cd7...@gmail.com> wrote:
> I have found one (I guess unnecessary) disadvantage over `deriving'.
> If you process your *.ml file with sexplib/bin_prot preprocessor, you
> have to append "with ..." suffix to every type definition, oth
Le Wed, 07 Mar 2012 16:44:20 +,
Matej Košík <5764c029b688c1c0d24a2e97cd7...@gmail.com> a écrit :
> The above problem can indeed be solved, i.e. pretty-printer can be
> generated in this way. The tricky part is to figure out how to define
> the "Show_t" module definition, which is non-obvious.
> So then you need mutable option types or mutables that you initialize
> with dummy values and then overwrite with the real thing once all
> members of a cycle are created. Or some other trickery to make it
> work. Overall cycles are generally not good.
I believe the trick you need (either passin
On 03/07/2012 12:31 PM, Gabriel Scherer wrote:
> You can inject the definition you want in the following way:
>
> module Meths = struct
> include Meths
> module Show_t = ...
> end
>
> type value_kind = ...
> deriving (Show)
>
> This works because deriving, being a Camlp4 extensio
On 03/07/2012 12:34 PM, Yaron Minsky wrote:
> Are you familiar with type-conv and the family of syntax-extensions that
> go along with it? You can do thinks like:
>
> type t = { foo: int; bar: string }
> with sexp, compare, bin_io
>
>
> and automatically get sexp-conversion functions, a
Edgar Friendly writes:
> On 03/07/2012 09:41 AM, Goswin von Brederlow wrote:
>> The task then needs pointers to each of the lists data
>> structures creating cycles. Not good for ocaml. It also would waste
>> memory for 2 pointers (per list).
>
> Cycles are fine for ocaml, pointers are pretty che
Le mercredi, 7 mars 2012 à 16:58, Edgar Friendly a écrit :
> > IMHO a package should be identified by a name and version.
>
> I've been thinking about this for a long time, and the full consequences
> of this involve not only deep changes to odb internals, but also expose
> the code to a ton
On 03/07/2012 10:47 AM, Daniel Bünzli wrote:
Okay. Would be nice to have the support in the tool and documentation
on how to make your own package source (basically GET on a
~/.odb/packages file ?). Package distribution should be distributed.
one file per package, filename is package name, conte
Le mercredi, 7 mars 2012 à 15:37, Edgar Friendly a écrit :
> Not at the moment, but this is an interesting idea. The only support
> for remote packages is the querying of oasis-db. The protocol is nearly
> trivial, so you're welcome to make your own server (can be just a plain
> web server serv
On 7 mars 2012, at 11:55, Damien Doligez wrote:
> Hi Alan,
>
>> OS X 10.7.3, ocaml 3.12.1-godi2.
>
> You need to apply the patch from this PR:
>
> http://caml.inria.fr/mantis/view.php?id=4863
>
> From your "configure" output, I presume godi uses the patch from this PR:
>
> http://caml.inria
On 03/07/2012 09:41 AM, Goswin von Brederlow wrote:
The task then needs pointers to each of the lists data
structures creating cycles. Not good for ocaml. It also would waste
memory for 2 pointers (per list).
Cycles are fine for ocaml, pointers are pretty cheap, and I think the
answer to your
Hi,
I'm wondering if it is possible to implement greedy/inline data
structures in ocaml in a generic and reusable way.
Maybe you don't know what greedy/inline data structures are or maybe I'm
using the wrong name. So here is what I mean:
Say you have a task structure that is in 2 doubly linked l
On 03/07/2012 07:32 AM, Daniel Bünzli wrote:
Hello,
A few questions about odb.
1) Is it possible to specify in ~/.odb/packages a remote packages file (instead
of just individual remote packages) ?
Not at the moment, but this is an interesting idea. The only support
for remote packages is t
Are you familiar with type-conv and the family of syntax-extensions that go
along with it? You can do thinks like:
type t = { foo: int; bar: string }
with sexp, compare, bin_io
and automatically get sexp-conversion functions, a comparison function, and
binary protocol converters. And type-conv
Hello,
A few questions about odb.
1) Is it possible to specify in ~/.odb/packages a remote packages file (instead
of just individual remote packages) ?
2) How does odb find out and manage dependencies ? How can I list them before
installing a package ?
3) Are multiple versions of the same p
You can inject the definition you want in the following way:
module Meths = struct
include Meths
module Show_t = ...
end
type value_kind = ...
deriving (Show)
This works because deriving, being a Camlp4 extension, does not refer
to "the" module Meths, but any module Meths that is
Hi,
I would like to print out the response of a modified Ocaml's typechecker
to various inputs.
One way to do it would be to write a pretty-printer by hand.
Before I do that, I would like to apply "deriving" machinery:
http://code.google.com/p/deriving/wiki/Introduction
to this (chore) job.
In
Hi Alan,
> OS X 10.7.3, ocaml 3.12.1-godi2.
You need to apply the patch from this PR:
http://caml.inria.fr/mantis/view.php?id=4863
>From your "configure" output, I presume godi uses the patch from this PR:
http://caml.inria.fr/mantis/view.php?id=5379
but it's incomplete.
-- Damien
--
On Wed, 7 Mar 2012 09:58:02 +0100
Hendrik Tews wrote:
> Hi,
Hello,
> consider
>
> (** Uses {!print_endline} *)
> let f () = print_endline "Hello"
>
> What do I have to do such that ocamldoc generates a
> crossreference to
> file:///usr/share/doc/ocaml-doc/ocaml.html/libref/Pervasive
Hi,
consider
(** Uses {!print_endline} *)
let f () = print_endline "Hello"
What do I have to do such that ocamldoc generates a
crossreference to
file:///usr/share/doc/ocaml-doc/ocaml.html/libref/Pervasives.html#VALprint_endline
?
Bye,
Hendrik
--
Caml-list mailing list. Subscriptio
On Thursday, March 1, 2012 4:39:35 PM UTC, Ashish Agarwal wrote:
> But I don't understand why. Can anyone explain the main points. Thank you.
See the non-bug
http://caml.inria.fr/mantis/view.php?id=3476
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.f
27 matches
Mail list logo