<flux>
palomer, have you tried different packing options?
<flux>
iirc there was some homogenous-option
<flux>
(it's been eons since I've last touched gtk)
Camarade_Tux has joined #ocaml
<palomer>
there's no packing involved
<palomer>
add_child_at_anchor <--I'm using this function
<palomer>
I'm starting to think maybe I shouldn't be using a text view...
<palomer>
is it possible to have a table and not specify the number of columns?
bohanlon has quit [Connection timed out]
<palomer>
actually
<palomer>
that wouldn't work
<Camarade_Tux>
palomer, if you're trying to figure out the problems you've posted on the lablgtk mailing-list, I think I solved it once by using tables, that was several months ago but it could be the only solution
<Camarade_Tux>
disclaimer: woke up nine minutes ago ;)
<palomer>
tables would make my life __way__ easier
<palomer>
BUT, I'd want every cell to decide its own width
<palomer>
can I do that with tables
<Camarade_Tux>
I think so
<palomer>
so to mix text and entries I would use labels?
<Camarade_Tux>
I need to find my source code
<Camarade_Tux>
I don't know if it still contains that, need to install the ao bindings
<palomer>
hrmph
<palomer>
maybe I can just shrink the entry
<Camarade_Tux>
there was this message at the beginning of the year on the lablgtk mailing-list too :http://yquem.inria.fr/pipermail/lablgtk/2008-February/000091.html
<palomer>
yay!
<palomer>
changing the font size of the entry works great
<Camarade_Tux>
but I can believe anybody can do anything in piet !
<Camarade_Tux>
s/can/can't
<Camarade_Tux>
of course ;)
rwmjones_ has quit [kornbluth.freenode.net irc.freenode.net]
grirgz has quit [kornbluth.freenode.net irc.freenode.net]
det has quit [kornbluth.freenode.net irc.freenode.net]
hcarty has quit [kornbluth.freenode.net irc.freenode.net]
ski_ has quit [kornbluth.freenode.net irc.freenode.net]
jonafan has quit [kornbluth.freenode.net irc.freenode.net]
rwmjones_ has joined #ocaml
grirgz has joined #ocaml
det has joined #ocaml
jonafan has joined #ocaml
ski_ has joined #ocaml
hcarty has joined #ocaml
<tcr>
Can anyone explain why List.map2 (fun x y -> (x,y)) results in monomorph types, or refer to some informational resource explaining it?
rstites has joined #ocaml
rmns has quit [kornbluth.freenode.net irc.freenode.net]
Mr_Awesome has quit [kornbluth.freenode.net irc.freenode.net]
rodge has quit [kornbluth.freenode.net irc.freenode.net]
gildor has quit [kornbluth.freenode.net irc.freenode.net]
fremo has quit [kornbluth.freenode.net irc.freenode.net]
olegfink has quit [kornbluth.freenode.net irc.freenode.net]
OChameau has joined #ocaml
mattam has joined #ocaml
rmns has joined #ocaml
Mr_Awesome has joined #ocaml
rodge has joined #ocaml
fremo has joined #ocaml
olegfink has joined #ocaml
gildor has joined #ocaml
<Camarade_Tux>
google definitely changes the results, I searched for "artistic" and got wikipedia's article on the artistic license as the first result (which was what I was looking for ;) ), that's scary
<mfp>
tcr: google for "value restriction"
<mfp>
tcr: the standard workaround is eta expansion -> instead of let f = List.map2 (fun x y -> (x,y)), let f a b = List.map2 (fun x y -> (x,y)) a b
<mfp>
(btw., this function is also called List.combine)
<tcr>
mfp: Yes, I know about the workaround. I'm interested in what's causing it (Haskell's `zipWith (,)' doesn't result in a monomorph constrain.)
<tcr>
mfp: Thanks for the value restriction pointer, seems to be exactly what I was looking for. I'll read through it later.
<rwmjones_>
tcr there's a faq page about this ... let me find it
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood_ has quit [Client Quit]
seafood has joined #ocaml
seafood has quit [Read error: 54 (Connection reset by peer)]
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
rmns has left #ocaml []
Associat0r has joined #ocaml
seafood has quit []
mattam has joined #ocaml
GustNG has joined #ocaml
<_zack>
rwmjones: funny that that FAQ is written entirely in English beside the last sentence which is in French :)
<guyzmo>
hi
<guyzmo>
_zack - the sentence in french is the same at the one before
<_zack>
guyzmo: yup, I know, I was just pointing at the refuse
<guyzmo>
I'm sure they forgot to remove it when they translated the doc
<_zack>
indeed
<guyzmo>
hm got a question: I'm refactoring a project by moving files into a directory, so I have parsing/parser.ml parsing/lexer.ml that I will access from main.ml, instead of parser.ml and lexer.ml that I used to access from the same directory as main.ml
<thelema>
the only difference is when you compile, you have to compile with the files in the parsing directory -- they're still called Parser and Lexer in your main.ml
<guyzmo>
ok
<ertai>
hcarty: thanks!
tomh- has joined #ocaml
<hcarty>
ertai: You are quite welcome. Thank you! This is a huge help.
<ertai>
hcarty: Have you tried some more complex usage examples ?
gim has joined #ocaml
willb has joined #ocaml
<hcarty>
ertai: I've tried the Jane St. OSP pa-do project, pa_openin, other small extensions written by myself and others and the revised and standard syntax extensions from the toplevel and compiled code
<hcarty>
ertai: Under OCaml 3.10.2 I have not run in to any errors. I have tested less (pa_do, standard and revised syntaxes) with CVS HEAD because of some godi/library issues that I have not had time to look in to
sporkmonger has joined #ocaml
<hcarty>
ertai: The CVS unified diff applied pulled from the OCaml anonymous CVS web interface applied to 3.10.2, with the only broken piece being the revision comment at the start of the diff
<hcarty>
ertai: I also rebuilt my godi install with the patched 3.10.2, somewhere between 30 and 35 packages, with the patched 3.10.2 without issue. This includes the Jane St. sexplib and Martin Jambon's mikmatch.
<hcarty>
ertai: Perhaps this change could make it in to 3.10.3, if there is such a release?
<guyzmo>
hm... so about my seperated compilation problem : I have the parsing directory where I have my Makefile and where I do compile several .cmo and I have main.ml in the source's root directory... I want to create a project's root Makefile where I compile main.ml using parsing/*.cmo... I was able to create main.cmo using ocamlc -I parsing/, but I don't know how can I 'ocamlc -o compiler main.cmo' using parsing/*.cmo without having to reference explicitely
<guyzmo>
I'm trying to find relevant rtfm... but my googling haven't been good so far
Smerdyakov has quit [Read error: 110 (Connection timed out)]
<hcarty>
Yoric[DT]: ertai was kind enough to fix the #use "foo.ml";; + camlp4 toplevel-breaking bug in CVS HEAD. So syntax extensions seem to work properly in the toplevel now, with the patch applied.
<Yoric[DT]>
hcarty: great.
<Yoric[DT]>
olegfink: unless I'm mistaken, $ is <|
* Yoric[DT]
doesn't remember which one is .
<olegfink>
yes, and . is |-
<olegfink>
(I think)
<olegfink>
forgot everything I never knew about haskell.
<Yoric[DT]>
Of course, we can't use $ because of Camlp4.
_Jedai_ has joined #ocaml
Torment has joined #ocaml
<olegfink>
(.) :: (b -> c) -> (a -> b) -> a -> c
<olegfink>
ah, the other way around, -|
<Yoric[DT]>
Yeah.
<hcarty>
Yoric[DT]: I've heard that you can't use ( $ ) b/c of camlp4, but what does it break?
<zbrown>
Hmmm whats the best way to check that a string only contains specified letters?
<Yoric[DT]>
hcarty: anti-quotations.
<hcarty>
Small tests seem to work, but I've only toyed around with it
<zbrown>
like in python, you can use "all(s in "ABC" for s in str)"
<hcarty>
Yoric[DT]: Does it break extension code, or code written using camlp4 extensions?
<Yoric[DT]>
hcarty: probably extension code, although quotations/anti-quotations could be used as simple DSLs inside regular OCaml.
<Yoric[DT]>
zbrown: well, with the standard library, there's nothing as simple.
<zbrown>
hmmm
<Yoric[DT]>
zbrown: with ExtLib, you could do something similar, though.
<hcarty>
zbrown: String.iter wrapped with try ... with ... ?
<zbrown>
hcarty: ya something like that is what I have
<zbrown>
I just wasn't sure if there was anything that I had missed :)
<Yoric[DT]>
Something along the lines of [Enum.exists (fun x -> String.find x "ABC") String.enum s]
<det>
Batteries included should just depend on Xavier Leroy's Zip library, instead of providing only 1-way unzip functionality
<hcarty>
zbrown: String.fold_left (fun accu c -> accu && c = 'A') true "AAA";; maybe?
<Yoric[DT]>
det: fair enough.
<hcarty>
zbrown: Though that gives "true" on an empty string, which may not be what you want.
<Yoric[DT]>
det: Could you file a Request ffor Features?
<det>
ok
<det>
Does OBI encourage dependent libraries to be developed within OBI, instead of being a dependency ?
<Yoric[DT]>
det: it seems that ocamlzip is packaged for Debian and GODI but I can't find it for Fedora, though, which may be a problem.
<Yoric[DT]>
(we'll just need to nudge rwmjones into finding someone to take care of that:))
<det>
ahh,
<Yoric[DT]>
det: what do you mean?
<zbrown>
Yoric[DT]: hmmm know of a way to use extlib modules with the Ocaml REPL?
<zbrown>
( I was going to test your suggestion)
<det>
Can't you compile to a cma instead of executable and run ocaml on that
<hcarty>
Yoric[DT]: ocamlzip is packaged for Fedora. I don't remember the package name though.
<Yoric[DT]>
zbrown: I assume something along the lines of [#use "topfind";; #require "extlib";;].
<Yoric[DT]>
hcarty: ok, good to know.
<Yoric[DT]>
Oh, yeah, it's zipped.
<hcarty>
Yoric[DT]: An annoying problem, though, is that godi and Debian/Fedora use different ocamlfind names
<Yoric[DT]>
Sorry, packaged.
<Yoric[DT]>
hcarty: gasp.
<Yoric[DT]>
Is that true?
* Yoric[DT]
wasn't aware of that issue.
<hcarty>
Very, sadly
<det>
Yoric[DT], Are bin-prot/type-cov/sexp-lib packaged for Deb/RPM ?
<hcarty>
I have a "fake" package I install under godi to match the Debian naming
<Yoric[DT]>
det: for Fedora, yes.
<zbrown>
hmmm
<hcarty>
Yoric[DT]: I think it's "camlzip" under godi and just "zip" in Debian and Fedora
<zbrown>
Yoric[DT]: seems there is no 'Enum.exists' ?
<Yoric[DT]>
zbrown: gasp.
<zbrown>
I'm looking at docs and can't seem to find it
<det>
in Ubuntu, it is libzip-ocaml and libzip-ocaml-dev
<det>
Debian, too
<Yoric[DT]>
zbrown: so it may be one of my patches which haven't been accepted yet, sorry.
<zbrown>
oh ok
<zbrown>
thanks though :)
* zbrown
needs to run to class
<Yoric[DT]>
det: yeah, bin-prot, type-conv and sexplib are in testing.
<det>
ahh, cool :-)
<det>
I'll get the source packages and upload them to a ppa for Ubuntu, see if they work out of the box
Linktim_ has quit ["Quitte"]
Jedai has quit [Read error: 110 (Connection timed out)]
* Yoric[DT]
must admit he gave up on OCaml on Ubuntu some time ago and went GODI.
|Jedai| has quit [Read error: 110 (Connection timed out)]
willb has quit [Read error: 104 (Connection reset by peer)]
_zack has joined #ocaml
struktured has joined #ocaml
Camarade_Tux has quit [Remote closed the connection]
<zbrown>
Yoric[DT]: I'm getting to the point where I agree.. I'm not sure the ocaml packager has it together on ubuntu
<Yoric[DT]>
Yeah :/
<zbrown>
i just actually got rid of the packages for ocaml and am doing a godi install now
Palace_Chan has quit ["Palace goes to sleep"]
hkBst has quit [Read error: 104 (Connection reset by peer)]
<det>
I've never experienced ocaml problems on Ubuntu
<det>
What is wrong ?
alexyk has joined #ocaml
<ertai>
hcarty: No, a 3.10.3 release should not happen
<hcarty>
ertai: Ok, I'll stick with my patched 3.10.2 for now then
<ertai>
hcarty: only if 3.11 cause too much issues
<alexyk>
how do I count how many spaces I have in a line in a *very* fast way? I need to count words in each line of a 50 GB file and to beat C with *c++==' ' !
<ertai>
hcarty: thanks for the testing!
<hcarty>
ertai: You are quite welcome. Thanks again for the fix! It has already helped me out
<struktured>
alexyk: have you tried implementing any solution yet?
<hcarty>
ertai: And it should remove the need for workarounds for at least a few extensions (mikmatch, pa-do)
<alexyk>
struktired: I've been rusty for a few months... DO I need buffers at all or PLEAC-style readline loop will do?
<alexyk>
I want SPEED
<alexyk>
struktured I meant (sorry)
<jlouis>
alexyk, how about doing an implementation first and then measure it
<jlouis>
*any* implementation
<struktured>
alexyk: I honestly don't know, but I'm curious to know what you end up writing. and jlouis is on the same track as me
bohanlon has joined #ocaml
<struktured>
jlouis: you could write List.foldl pretty easily I bet
<alexyk>
well then just wonder whether I need buffers at all... remember in spamoracle code there's lots of buffers
<struktured>
alexyk: add that magic after the fact. start with correctness
<jlouis>
it should be easy to get inside 50% of C's performance with a rather blind implementation I think
<jlouis>
And you can probably get closer with a little manual unrolling to lower the pressure on the branch predictor
<jlouis>
and then, you must begin thinking on bringing another CPU into the game...
<jlouis>
so just start with the sequential solution that is naive
_zack has quit ["Leaving."]
jlouis has quit ["Leaving"]
<alexyk>
so it's a bad taste to iterate along the characters of a string and count some? :)
<alexyk>
w/o a recursion but just with a for? :)
vanjuggler has joined #ocaml
<vanjuggler>
hi
* Yoric[DT]
doesn't believe that [*c++==''] can be beaten.
<Yoric[DT]>
hi vanjuggler
<vanjuggler>
I'm very very new to ocaml, but i've found a bug in some ocaml code i'm using (ometastore) where it does 'Unix.mkdir e.path', but this fails if it needs to create several directories. I'd like it to do something more like `mkdir -p` in unix. any ideas?
* thelema
wonders if fileutils should get merged into batteries
<gildor>
thelema: why not, but I am working on a version that is really most simple to use (in term of open XXX)
<gildor>
and more clear wrt to the documentation
<gildor>
and which fix some bugs in windows
marmotine has quit ["mv marmotine Laurie"]
<thelema>
will still require cygwin under windows?
<gildor>
I hope to migrate the buildsystem to ocamlbuild
ertai has quit ["leaving"]
<gildor>
but ocamlbuild can require cygwin
<gildor>
in the library itself, there is no need for cygwin
<gildor>
this is pure ocaml + portable Unix
<thelema>
fair enough. batteries needs ocamlbuild, so running it under windows will have to wait.
<thelema>
hmm, I wonder if it'd be possible to have ocamlbuild output a build script to run all the commands it would run as part of building a project...
<vanjuggler>
thanks folks, you've been a real help!
<thelema>
doesn't solve the symlink problem, but it does allow ocamlbuild projects to run w/o ocamlbuild
vanjuggler has left #ocaml []
<gildor>
thelema: when required i use ocamlbuild -classic-display and copy-paste-filter line with "^+"
<gildor>
this is enough to build a shell/bat file with the good command
<thelema>
:) nice trick.
frozen_vegan has left #ocaml []
Quadrescence has joined #ocaml
<Quadrescence>
I think I will give ocaml another chance. :/
<thelema>
it's worth some effort
longh has quit [Connection timed out]
viimrles has quit [Remote closed the connection]
mike_mcclurg has quit [Read error: 104 (Connection reset by peer)]
wlmttobks has joined #ocaml
<Quadrescence>
Would anyone mind helping me get the necessary tools for programming in ocaml?
<thelema>
what OS?
<Quadrescence>
Linux
<Quadrescence>
(Ubuntu)
<Quadrescence>
I mean, I could just apt-get, but the versions aren't the latest.
* thelema
uses Ubuntu
<thelema>
but I also compile from CVS
<Quadrescence>
And I'm not sure if there are tools like Cabal for Haskell in ocaml.
<thelema>
look up GODI
<Quadrescence>
GODI, haha, I forgot all about that.
bohanlon has quit ["ERC Version 5.2 (IRC client for Emacs)"]