Re: [Caml-list] ocamlfind + sexplib + bin_io

2012-04-28 Thread Matej Košík
On 04/27/2012 08:29 PM, Markus Mottl wrote: Hi, even the following should work if everything is installed correctly: ocamlfind ocamlc -linkpkg -package sexplib.syntax,bin_prot.syntax -syntax camlp4o main.ml If I try this command, I get the same error: Camlp4: Uncaught

[Caml-list] ocamlfind + sexplib + bin_io

2012-04-27 Thread Matej Košík
Hi, I have decided to switch to ocamlfind. All goes find but I have ran into a problem how to make ocaml, sexplib and bin_io play together. Suppose that I have the following program: type test = Foo | Bar with sexp, bin_io when I try to compile it without ocamlfind:

Re: [Caml-list] ocamlfind + sexplib + bin_io

2012-04-27 Thread Matej Košík
On 04/27/2012 07:24 PM, David Allsopp wrote: Try adding -verbose to the call - ocamlfind will display the commands it is executing which may help refine the problem. With this: ocamlfind ocamlc -verbose -linkpkg -package sexplib,sexplib.syntax,bin_prot,bin_prot.syntax -syntax camlp4o main.ml

[Caml-list] GODI, godi-janestreet-core-107.01godi5 ... installation fails

2012-04-23 Thread Matej Košík
Hi, Today I decided to look closer at Janestreet's Core library. http://www.janestreet.com/ocaml/janestreet-ocamldocs/core/index.html I have tried to install it via GODI. (godi-janestreet-core-107.01godi5) I have attached the relevant log-file. I am not sure how to proceed. How do your

Re: [Caml-list] a question about ocamlopt and ocamldep

2012-03-14 Thread Matej Košík
On 03/13/2012 06:34 PM, Matthias Puech wrote: This is consistent with how ocamlc/ocamlopt work: separate compilation is ensured the way you think by bytecode .cmo compilation: to build a module, you only need the *interfaces* of its dependencies, but it is unfortunately not ensured when

[Caml-list] a question about ocamlopt and ocamldep

2012-03-13 Thread Matej Košík
Hi, The ocamldep tool generates Makefile dependencies for both situations: - when we use ocamlc - as well as when we use ocamlopt Dependencies, generated for *.cmo files, are corresponding *.cmi files. This is not surprising. However, dependencies, generated for *.cmx files, are always other

[Caml-list] concerning using of `deriving' syntactic plugin

2012-03-07 Thread Matej Košík
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

Re: [Caml-list] concerning using of `deriving' syntactic plugin

2012-03-07 Thread Matej Košík
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

Re: [Caml-list] concerning using of `deriving' syntactic plugin

2012-03-07 Thread Matej Košík
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 extension, does

Re: [Caml-list] concerning using of `deriving' syntactic plugin

2012-03-07 Thread Matej Košík
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 have

[Caml-list] crazy ocaml compiler implementation question

2012-03-06 Thread Matej Košík
Hello, In the file: typing/path.mli contains the following definition: type t = Pident of Ident.t | Pdot of t * string * int | Papply of t * t What is the semantics of third parameter? In the implementation I see it either ignored or passed

Re: [Caml-list] syntactic detail

2012-02-09 Thread Matej Košík
On 02/08/2012 01:05 PM, ri...@happyleptic.org wrote: Just in case it was not clear from Gabriel's answer alone, the purpose of allowing underscores is to write big integers like: 1_000_000_000 which is very nice once you are used to it. So I have learnt something new. Thanks. This

[Caml-list] syntactic detail

2012-02-08 Thread Matej Košík
Hi, Ocaml allows me to add '_' at the end of a floating point literal, e.g.: 1._ What can be a purpose for that? In case of long or Long integers, optional adding of '_' between the integer and 'l' or 'L' make sense ('l' is hard to discriminate from '1' for many fonts). But in case of

Re: [Caml-list] deriving

2012-01-29 Thread Matej Košík
On 01/29/2012 01:10 PM, Lin wrote: I have no Fedora machine at hand, but from the error message it seems to have something to do with camlp4. Do you have it installed correctly? Check if you have the camlp4 command by `which camlp4`. I am not sure what caused the problem but camlp4 was not

Re: [Caml-list] deriving

2012-01-29 Thread Matej Košík
On 01/29/2012 06:15 PM, Adrien wrote: Hi, Could you show the content of the META file for deriving on your fedora installation? On my computer (I'm not using fedora), a command like this one points to a proper file: % find /opt/ocaml -name META | grep -i deriving

Re: [Caml-list] Ocaml: typing by name vs. typing by structure

2011-10-16 Thread Matej Košík
they handle this. -- Matej Košík -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs