adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
parlancho has joined #ocaml
oriba_ has joined #ocaml
oriba has quit [Ping timeout: 276 seconds]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
ulfdoz_ is now known as ulfdoz
ontologiae has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
paolooo has joined #ocaml
parlancho has quit [Ping timeout: 252 seconds]
paolooo has quit [Quit: Page closed]
ontologi1e has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
pango_ has joined #ocaml
pango has quit [Ping timeout: 276 seconds]
<oriba_> I use OCamlMakefile, and it works well nearly all the time. But I encountered a problem now. I could use as target-specificationall: byte-code
<oriba_> I use OCamlMakefile, and it works well nearly all the time. But I encountered a problem now. I could use as target-specification
<oriba_> all: byte-code
<oriba_> and it worked well
<oriba_> I tried then all: native-code
<oriba_> and got messages about multiple usage of unix-module
<oriba_> I have LIBS=unix pcre netstring netsys netclient curl xml-light
<oriba_> and I have PACKS := pcre netstring netsys netclient curl xml-light
<oriba_> Is there something that makes problems here?
<oriba_> And why does byte-code works and native-code mourns about the multiple unixx stuff?
<oriba_> Errmsg is:
<oriba_> File "_none_", line 1, characters 0-1:
<oriba_> Error: Files /usr/lib/ocaml/unix.cmxa and /usr/lib/ocaml/unix.cmxa
<oriba_> both define a module named Unix
<oriba_> Any ideas on this?
ontologi1e has quit [Ping timeout: 256 seconds]
leoncamel has quit [Ping timeout: 252 seconds]
leoncamel has joined #ocaml
lusory has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 245 seconds]
ftrvxmtrx has quit [Ping timeout: 255 seconds]
oriba_ has quit [Quit: oriba_]
tani has quit [Quit: Verlassend]
yacks has joined #ocaml
darkf_ is now known as darkf
groovy2shoes has joined #ocaml
weie has joined #ocaml
groovy2shoes has quit [Quit: Computer has gone to sleep]
fantasticsid has joined #ocaml
ahokaomaeha has joined #ocaml
dabd has quit [Quit: Ex-Chat]
mye has joined #ocaml
andreypopp has joined #ocaml
andreypopp has quit [Quit: sleep]
dabd has joined #ocaml
andreypopp has joined #ocaml
fantasticsid has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Yoric has joined #ocaml
answer_42 has joined #ocaml
mye has quit [Quit: mye]
gnuvince has quit [Ping timeout: 256 seconds]
gour has joined #ocaml
mye has joined #ocaml
dabd has quit [Quit: Ex-Chat]
cyball has quit [Ping timeout: 252 seconds]
cdidd has joined #ocaml
mye_ has joined #ocaml
ttamttam has joined #ocaml
mye has quit [Ping timeout: 276 seconds]
mye_ is now known as mye
leoncamel has quit [Ping timeout: 276 seconds]
andreypopp has quit [Quit: sleep]
ttamttam has quit [Remote host closed the connection]
andreypopp has joined #ocaml
leoncamel has joined #ocaml
ftrvxmtrx has joined #ocaml
andreypopp has quit [Quit: sleep]
andreypopp has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 244 seconds]
ftrvxmtrx has joined #ocaml
ttamttam has joined #ocaml
Yoric1 has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
tac-tics has quit [Quit: Page closed]
tane has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
cyball has joined #ocaml
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
<mfp> any React users around? both React.E.create and S.create specify "Warning. send must not be executed inside an update cycle."
<mfp> does that also include update cycles for other signals/events, or only for the one being created?
<mfp> playing with FRP, I've written a sort of unit pulse like http://pastebin.mozilla.org/2089625 which seems to work, but don't know if it's wrong according to the above warning
<adrien> Daniel Bünzli has made it clearer on the mailing list some time ago
<mfp> (ps: disregard the memleak :)
<mfp> adrien: thanks, looking for it
<adrien> you really must not trigger cycles and I think you can send something for another signal, as long as you don't trigger a cycl
<adrien> e
ttamttam has quit [Remote host closed the connection]
<mfp> hmm seems the prohibition is strict "Cannot really make sense out of your snippets of code. However this phi functions seems to invoke a primitive event sending function and that's explicitely prohibited by the documentation. Primitive event sending/signal setting functions cannot be invoked as side effects inside update cycles (see doc of E.create/S.create)."
<mfp> regarding this line > let message_event = React.E.map phi to_be_parsed_event
<adrien> if you think about it, an issue is that you need one and only one "new" value for an event or signal during an update cycle
<adrien> if you somehow trigger the generation of another value during an update cycle, things don't make sense anymore
<adrien> also, at that point, you should try to think again about how you do things because it's likely that what you're doing could be done or expressed in a simpler way
<mfp> well, just trying to define a unit pulse function as a building block at this point, don't really want to get simpler than that :)
<mfp> this seems relevant, but gotta see how it integrates with Lwt_react > http://erratique.ch/software/rtime
<mfp> in particular delay_e and delay_s replace my naïve (and broken as it seems) map_s (fun x -> Lwt_unix.sleep delay >> push x) ev approach
<adrien> :-)
<adrien> I probably could make use of that too
<adrien> I really need to work on react stuff again, I've lost most of the practice
<mfp> random thought in case some OPAM guy is around, opam source foo would be nice to have a quick look at foo's sources before installing (just wanted to use that with rtime to look at delay_e)
* mfp files an issue
gour has quit [Disconnected by services]
gour_ has joined #ocaml
gour_ is now known as gour
cyball has quit [Ping timeout: 276 seconds]
ousado_ has joined #ocaml
cyball has joined #ocaml
ousado has quit [Ping timeout: 256 seconds]
answer_42 has quit [Remote host closed the connection]
answer_42 has joined #ocaml
q66 has joined #ocaml
Kakadu has joined #ocaml
cyball has quit [Ping timeout: 245 seconds]
ontologiae has joined #ocaml
parlancho has joined #ocaml
ahokaomaeha has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
yacks has quit [Ping timeout: 240 seconds]
chattered has joined #ocaml
RagingDave has joined #ocaml
leoncamel has quit [Ping timeout: 252 seconds]
<chattered> I need to check that I'm not doing something stupid. If I want to have a module which exports signatures, do I have to have the signature definitions duplicated between the .mli and .ml files?
leoncamel has joined #ocaml
<orbitz> yes
<adrien> well, you don't need to have the same thing in both
<adrien> you can hide some things through the .mli
<adrien> also, typically, if you don't create a .mli, a default one will be created (assuming you'reusing standard ocaml build tools) which will export everything
clan has joined #ocaml
Reventlov has quit [Ping timeout: 245 seconds]
<chattered> adrien: Cool, just wanted to be sure it wasn't unnecessary duplication.
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
ttamttam has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
yacks has joined #ocaml
ttamttam has quit [Remote host closed the connection]
weie has quit [Quit: Leaving...]
ontologiae has quit [Ping timeout: 256 seconds]
groovy2shoes has joined #ocaml
chattered has quit [Ping timeout: 255 seconds]
weie has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
weie has left #ocaml []
cyball has joined #ocaml
mfp has joined #ocaml
Reventloff has joined #ocaml
groovy2shoes has quit [Quit: Computer has gone to sleep]
TDJACR has joined #ocaml
fraggle_ has quit [Ping timeout: 276 seconds]
Cyanure has joined #ocaml
ManAmongHippos has joined #ocaml
gnuvince has joined #ocaml
<invariant> One ocaml program does the following: mmap(NULL, 1967334797312, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = -1 ENOMEM (Cannot allocate memory)
<invariant> Isn't that a ridiculous amount of memory it is requesting?
<invariant> It's requesting around 2TB of RAM.
<adrien> it depends how much memory you have ;p
<adrien> and if it's not mapping from disk
fraggle_ has joined #ocaml
yacks has quit [Remote host closed the connection]
groovy2shoes has joined #ocaml
<flux> invariant, old ocaml, 64 bit, and address space randomization?
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ontologiae has joined #ocaml
ManAmongHippos has quit [Quit: ManAmongHippos]
teg has joined #ocaml
<teg> Hi, got an assembler error when running
<teg> opam install eliom
<teg> using raspberrypi patched ocaml
<teg> rebuilding now with debug flag set
<teg> has anyone succeeded building eliom on raspberrypi?
absalon has joined #ocaml
absalon has quit [Client Quit]
<invariant> flux, it's 4.00.1
<invariant> flux, the weird thing is that it used to work fine.
ocp has joined #ocaml
<adrien> do you know when that happens?
<invariant> adrien, it happens when I start ocamleditor.
<adrien> could be a bug in it; especially if it uses C bindings
emmanuelux has quit [Ping timeout: 245 seconds]
<invariant> adrien, it used to work fine.
oceanquake has quit [Remote host closed the connection]
Anarchos has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
<invariant> opam install lablgtk with 4.01.0dev+trunk also doesn't work.
<adrien> what's the issue?
<invariant> This argument cannot be applied with label ?packing
<adrien> where?
<invariant> Called from file "src_ext/cmdliner/src/cmdliner.ml", line 1178, characters 6-34
<adrien> that's not lablgtk
<orbitz> version dependcy problem?
<invariant> From what location does opam upgrade check for .comp files?
<invariant> It's looking for a file which doesn't exist which makes opam upgrade fail.
<invariant> It's a bad error message, because it should say how it could be resolved.
<invariant> All it says is that some internal condition is not satisfied.
<invariant> Internal conditions are supposed to be kept internal.
testcocoon has joined #ocaml
<teg> error message: /tmp/camlasm26c358.s:9540: Error: shift expression is too large
<teg> coming from compilation of netmech_scram.ml in ocamlnet
<invariant> The answer is aliases.
ahokaomaeha has joined #ocaml
emmanuelux has joined #ocaml
parlancho has quit [Ping timeout: 256 seconds]
<invariant> Who are those people who write those error messages? Was it too much effort to say how large the shift expression is, how large it is allowed to be and why it is limited to some size in the first place?
* orbitz shrugs, i'm not sure how much funding Ocaml gets but bette rerrors messages proabbly don't have that high a priority
<adrien> the same people who have to deal with incomplete bug reports lacking any context
jknick_ has quit [Quit: leaving]
<invariant> opam ftbfs: cp: cannot stat `_obuild/opam-mk-repo/opam-mk-repo.byte': No such file or directory
<invariant> orbitz, I see it as a fundamental part of writing the program.
<adrien> seriously, what are you refering to?
<orbitz> "13:58 < teg> error message: /tmp/camlasm26c358.s:9540: Error: shift expression is too large" i assume
<invariant> orbitz, a program is a theorem prover. Either it provides a response or it provides proof that the user was wrong.
<orbitz> invariant: and how is thta at odds with bad error messages?
<adrien> orbitz: thought so but not sure
<adrien> anyway, it's an *assembler*
<adrien> it's already
<invariant> orbitz, a bad error message is not proof.
<adrien> *very
<adrien> blah
<adrien> *very* nice that it's checking such things
<adrien> C has it as an undefined behaviour
<adrien> and if you start touching assembly, you're expected to understand what goes on when doing a bit shift
<invariant> adrien, in that context it's a reasonable message.
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
answer_42 has quit [Remote host closed the connection]
Kakadu has quit [Ping timeout: 255 seconds]
answer_42 has joined #ocaml
<invariant> Of course, a clean checkout of opam does work :/
<invariant> No, let me take it back. It's just broken.
<invariant> The install _obuild/opam-mk-repo/opam-mk-repo.byte is broken.
parlancho has joined #ocaml
tac has joined #ocaml
gnuvince has quit [Ping timeout: 260 seconds]
pango_ is now known as pango
Anarchos has quit [Ping timeout: 260 seconds]
andreypopp has quit [Quit: sleep]
ocp has quit [Ping timeout: 255 seconds]
fab_ has joined #ocaml
<fab_> List.hd(f);; is the right way to select the first elemente from the list f?
<thizanne> fab_: it depends
<fab_> i mean the syntax
<thizanne> it works
<vbmithr> List.hd f
<thizanne> but the parentheses are unneeded
<fab_> |Not e'-> let r1 = List.tl f in let r2 = List.hd f;;
<fab_> here is not correct
<fab_> i don't know why
<fab_> there is a error in List.hd
<adrien> not in list.hd
<adrien> you're not returning any value
<fab_> ok right, i broke the line to find where was the error but i created an othere doing this
silkwood has quit [Ping timeout: 276 seconds]
tac has quit [Quit: Page closed]
tac has joined #ocaml
<invariant> Is there any compiler which allows opam install lablgtk to work >=4.00?
<adrien> could you please state the issue you have with lablgtk?
<companion_cube> fab_: pattern matfching is better, because it forces you to handle the case where the list is empty
Anarchos has joined #ocaml
<invariant> Is this a problem? Interface topdirs.cmi occurs in several directories: lib/ocaml/compilers-libs and lib/ocaml (both below opam)?
<invariant> adrien, the problem is the 2TB memory usage and some WARNINGs during the compilation of ocamleditor.
fab_ has quit [Ping timeout: 245 seconds]
<adrien> hmmm, ok
<invariant> adrien, if I compile lablgtk with the opam trunk compiler and opam 0.92, it doesn't compile.
<invariant> adrien, that should be easy to reproduce.
<adrien> the warnings are most probably caused by bad packaging
<adrien> I'll try to reproduce as soon as I have time
<invariant> adrien, I mv' ed the configuration directory and my end-user problem went away.
<invariant> adrien, of course it hasn't been solved then, but this works for me temporarily.
<invariant> adrien, or not. I cannot even open the project.
<invariant> What's the quick fix for oasis for: ocamlfind: Error from package `threads': Missing -thread or -vmthread switch ?
gour has quit [Quit: WeeChat 0.3.9.2]
Itewsh has joined #ocaml
Itewsh has quit [Read error: Connection reset by peer]
Itewsh has joined #ocaml
andreypopp has joined #ocaml
answer_42 has quit [Ping timeout: 276 seconds]
ousado_ has quit [Ping timeout: 256 seconds]
andreypopp has quit [Quit: sleep]
dabd_ has joined #ocaml
parlancho has quit [Ping timeout: 260 seconds]
Yoric1 has quit [Ping timeout: 252 seconds]
jave has quit [Quit: ZNC - http://znc.in]
silkwood has joined #ocaml
oriba has joined #ocaml
Cyanure has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
gnuvince has joined #ocaml
teg has quit [Quit: leaving]
RagingDave has quit [Quit: Ex-Chat]
ousado_ has joined #ocaml
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
leoncamel has quit [Ping timeout: 276 seconds]
Itewsh has quit [Quit: Quitte]
mcsquiggedy has joined #ocaml
tac is now known as tac-tics
mcsquiggedy has quit [Ping timeout: 245 seconds]
parlancho has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
q66 has quit [Quit: Quit]
groovy2shoes has quit [Quit: Computer has gone to sleep]
darkf has joined #ocaml
TDJACR has quit [Remote host closed the connection]
cyball has quit [Quit: Leaving.]
cdidd has quit [Remote host closed the connection]