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/
mcclurmc has quit [Ping timeout: 264 seconds]
marblen has joined #ocaml
marblen has left #ocaml []
marblen has joined #ocaml
marblen has left #ocaml []
ottbot has quit [Ping timeout: 244 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Icarot has quit [Ping timeout: 248 seconds]
mcsquiggedy has quit [Quit: Leaving]
tane has quit [Quit: Verlassend]
yacks has joined #ocaml
pkrnj has quit [Quit: Computer has gone to sleep.]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
darinmorrison has quit []
as has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
as_ has joined #ocaml
as_ has quit [Client Quit]
leoncamel has quit [Ping timeout: 240 seconds]
as has quit [Ping timeout: 252 seconds]
gnuvince has quit [Ping timeout: 264 seconds]
gnuvince has joined #ocaml
pkrnj has joined #ocaml
tautologico has quit [Quit: tautologico]
ahokaomaeha has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
cyball has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 246 seconds]
pkrnj has quit [Quit: Computer has gone to sleep.]
ahokaomaeha has joined #ocaml
pkrnj has joined #ocaml
mattrepl has quit [Quit: mattrepl]
ahokaomaeha has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
def-lkb has quit [Quit: leaving]
def has joined #ocaml
def is now known as Guest58453
Guest58453 is now known as def-lkb
osa1 has joined #ocaml
pkrnj has quit [Quit: Computer has gone to sleep.]
leoncamel has joined #ocaml
Cyanure has joined #ocaml
pkrnj has joined #ocaml
def-lkb has quit [Quit: WeeChat 0.3.8]
def-lkb has joined #ocaml
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
ulfdoz has joined #ocaml
Cyanure has quit [Remote host closed the connection]
paddymahoney has quit [Quit: Ex-Chat]
pkrnj has quit [Quit: Computer has gone to sleep.]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
paddymahoney1 has joined #ocaml
paddymahoney1 is now known as paddymahoney
pkrnj has joined #ocaml
anderse has joined #ocaml
sysop_fb has quit [Read error: Connection reset by peer]
answer_42 has joined #ocaml
oriba has quit [Quit: oriba]
paddymahoney has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 276 seconds]
paddymahoney1 has joined #ocaml
paddymahoney1 is now known as paddymahoney
paddymahoney has quit [Client Quit]
paddymahoney has joined #ocaml
tane has joined #ocaml
tane has quit [Read error: Connection reset by peer]
tane has joined #ocaml
ottbot has joined #ocaml
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
zbroyar has joined #ocaml
<nicoo> Would someone know why OPAM refuses to build camlp5 with compiler 4.01.0dev+short-paths ?
<nicoo> CamlP5's opam file specifies “ocaml-version: [<= "4.01.0"]”
<nicoo> So I assume 4.01.0dev > 4.01.0, but it seems that modifying the opam file isn't enough
ulfdoz has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
zbroyar has quit [Ping timeout: 246 seconds]
zbroyar has joined #ocaml
zbroyar has quit [Ping timeout: 264 seconds]
<adrien> I'm not surprised it's not compatible
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 248 seconds]
<nicoo> adrien: I meant that OPAM doesn't even try to build
paddymahoney has quit [Remote host closed the connection]
* nicoo switched to 4.00.1+short-paths
<nicoo> Now it ought to work; thanks anyways, adrien
16WAAHOCF has joined #ocaml
16WAAHOCF is now known as paddymahoney
paddymahoney has quit [Read error: Connection reset by peer]
paddymahoney has joined #ocaml
cdidd has quit [Remote host closed the connection]
paddymahoney has quit [Quit: Ex-Chat]
q66 has joined #ocaml
yacks has quit [Quit: Leaving]
fraggle_ has quit [Remote host closed the connection]
ottbot has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
ocp has joined #ocaml
ocp has quit [Quit: Leaving.]
cdidd has joined #ocaml
kaustuv has joined #ocaml
<kaustuv> It is a pity that BatFingerTree.front and BatDeque.front don't have parallel types. Can this be fixed before the next major release of batteries?
yacks has joined #ocaml
ahokaomaeha has joined #ocaml
ottbot has joined #ocaml
ollehar has joined #ocaml
<ollehar> is there a way in binary compiled ocaml to use reflection on modules?
<ollehar> e.g. I have a web page with a compiled cgi file, and a function dispatch_operation with runs what you would call controller code in the mvc pattern.
<ollehar> I'd like it to take module name and function name, and then call the module and the function.
<flux> I understand it's possible to dynamically load ocaml objects that are built to be loaded that way
<flux> but you cannot see the symbols inside them, you must evaluate them and the module would then call functions to hook itself to your system
<ollehar> flux: ok, thanks. perhaps I could use a module called "Operation" which is used by the other modules to "hook"
ahokaomaeha has quit [Ping timeout: 252 seconds]
mattrepl has joined #ocaml
kaustuv has left #ocaml []
ahokaomaeha has joined #ocaml
noam_ has quit [Read error: Connection reset by peer]
emmanuelux has joined #ocaml
darkf has quit [Quit: Leaving]
cyball has joined #ocaml
weie has joined #ocaml
ulfdoz has joined #ocaml
sysop_fb has joined #ocaml
paddymahoney has joined #ocaml
Yoric has quit [Quit: Instantbird 1.4a1pre -- http://www.instantbird.com]
Yoric has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
brendan has quit [Ping timeout: 248 seconds]
emmanuelux has quit [Ping timeout: 248 seconds]
paddymahoney has quit [Quit: Ex-Chat]
paddymahoney has joined #ocaml
emmanuelux has joined #ocaml
UncleVasya has joined #ocaml
tane has quit [Quit: Verlassend]
ollehar has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
paddymahoney1 has joined #ocaml
paddymahoney has quit [Killed (barjavel.freenode.net (Nickname regained by services))]
paddymahoney1 is now known as paddymahoney
Guest76437 has joined #ocaml
wmeyer has joined #ocaml
wmeyer has quit [Client Quit]
anderse has quit [Quit: anderse]
wmeyer has joined #ocaml
<wmeyer> ping adrien
paddymahoney has quit [Quit: Ex-Chat]
Guest76437 has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
emmanuelux has quit [Ping timeout: 256 seconds]
ollehar 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.]
zbroyar has joined #ocaml
Simgate has joined #ocaml
paddymahoney1 has joined #ocaml
ttamttam has joined #ocaml
paddymahoney1 is now known as paddymahoney
paddymahoney is now known as Guest95608
Guest95608 is now known as paddymahoney
emmanuelux has joined #ocaml
tac has joined #ocaml
milosn_ has joined #ocaml
ttamttam has quit [Ping timeout: 244 seconds]
milosn has quit [Ping timeout: 256 seconds]
brendan has joined #ocaml
paddymahoney has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
milosn_ has quit [Ping timeout: 260 seconds]
troydm has quit [Read error: Operation timed out]
troydm has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
zbroyar has quit [Quit: Leaving.]
tac has quit [Quit: Page closed]
tac has joined #ocaml
zbroyar has joined #ocaml
emmanuelux has joined #ocaml
zbroyar has quit [Client Quit]
sysopfb has joined #ocaml
<adrien> wmeyer: pong
<adrien> wmeyer: one of the changes I needed is mentionned in http://caml.inria.fr/mantis/view.php?id=5887 so I've taken the solution given by Jerôme Vouillon: mkdir byterun/caml && mv byterun/*.h byterun/caml
sysop_fb has quit [Ping timeout: 252 seconds]
<adrien> (but I've done it for all headers and I've fixed a couple issues minor issues caused by his script)
osa1 has quit [Ping timeout: 244 seconds]
sysop_fb has joined #ocaml
<adrien> I've seen your comments so I'll fix these issues and push something again
<adrien> I think there will be 3 groups of patches:
<adrien> 1- the patches I believe won't cause complaints
<adrien> 2- the ones that are a bit more difficult
<adrien> 3- those which definitely need more work
sysopfb has quit [Ping timeout: 252 seconds]
sysopfb has joined #ocaml
emmanuelux has quit [Ping timeout: 260 seconds]
trep has joined #ocaml
sysop_fb has quit [Ping timeout: 260 seconds]
iZsh has quit [Quit: Coyote finally caught me]
sysop_fb has joined #ocaml
sysopfb has quit [Ping timeout: 264 seconds]
<wmeyer> adrien: thanks, I applied 1-23 and could not build arm version, I think if we prepare the cross compilation patches, they should also work for non-mingw build
<wmeyer> adrien: did Jerôme Vouillon made similar work for Android? Merging these two developments would be great.
ahokaomaeha has joined #ocaml
<adrien> they definitely should; well, I might have made mistakes but almost everything should be there
<wmeyer> adrien: that's said they applied still locally
trep has quit [Ping timeout: 252 seconds]
tac has quit [Ping timeout: 245 seconds]
<adrien> I have no idea whether Jérôme Vouillon has used cross-compilation
<wmeyer> adrien: the guideline is to put most general patches first
<wmeyer> adrien: it's easier for me to apply the most general before the one specific
<adrien> tbh I tried looking at the patches floating around and gave up because it was more difficult to understand them an improve them than to start from scratch
<wmeyer> yes, I understand
<adrien> most of the existing patches didn't take care of compatibility so they broke other configurations and hardcoded their setups too
<adrien> should I get out now and buy some beers or should I work on the patches right now? :D
<wmeyer> i thought this choice [work; beer] - is fully deterministic? I'd say: moaaar beeer!! :-)
<wmeyer> I owe you a beer for these effort on cross compilation
<wmeyer> we need it - although new Chrome Books cope well with building OCaml
<wmeyer> not my AC100 at the moment
<adrien> hahah, and I owe you one for listening, testing and integrating ;-)
<adrien> well, beer; I'll be back in one hour or so :P
<adrien> btw, unfortunately Vouillon's script has created that diffstat:
<adrien> 342 files changed, 7389 insertions(+), 6683 deletions(-)
emmanuelux has joined #ocaml
<adrien> with more than 4000 lines from the .depend files
<wmeyer> adrien: Ok, have a good beer
<wmeyer> that's a huge patch
anderse has joined #ocaml
<adrien> and there are around 3800 lines in byterun/*.h
<adrien> it doesn't do much apart from moving files but in doing so it really changes a lot of lines
<pippijn> what did that script do?
<wmeyer> hmm, did Jerome posted his patches, could you copy here the URL?
<wmeyer> did=has
<wmeyer> pippijn: hi
<pippijn> hi
<adrien> pippijn: mv byterun/*.h byterun/caml/*.h
<adrien> the issue is that some of the files there conflicts with system headers
<pippijn> ah
<adrien> and since it seems that compilers have forgotten the difference between #include "" and #include <>...
<wmeyer> I need to look at both, and decide what to do
<adrien> I agree that's a pretty big change
<adrien> it doesn't seem to impact anything on the system after installation (it doesn't change the installation path of these files)
notk0 has joined #ocaml
<notk0> hello guys
<adrien> well, afk for a bit less than one hour
ulfdoz has quit [Ping timeout: 260 seconds]
UncleVasya has quit [Ping timeout: 248 seconds]
ottbot has quit [Ping timeout: 256 seconds]
beginner42 has joined #ocaml
yacks has quit [Remote host closed the connection]
notk0 has left #ocaml []
ulfdoz has joined #ocaml
ollehar has quit [Quit: ollehar]
mcclurmc has joined #ocaml
robocop has joined #ocaml
<robocop> Hi
<robocop> I've got a type problem with modules that I don't understand
tane has joined #ocaml
<robocop> This my code : module type Aa = sig type e end;; module A = struct type a = int end;; module B : Aa = struct type e = A.a end;;
<robocop> I I tape this code : (5:B.e);;
<rks_> it complains because e is abstract.
<robocop> But I have this error : Error: This expression has type int but an expression was expected of type
<robocop> B.e
sysopfb has joined #ocaml
<rks_> yes robocop, when you write « module B : Aa »
<rks_> it means the signature of your B module is gonna be equal to Aa (obviously)
<rks_> and in Aa, the type e is abstract.
<rks_> what you can do though robocop
<rks_> is :
<rks_> # module B : Aa with type e = A.a = struct type e = A.a end;;
<rks_> module B : sig type e = A.a end
<rks_> hum wait
<rks_> yes
<rks_> that works.
<robocop> hum, okey !
trep has joined #ocaml
<robocop> thanks rks_
<rks_> no problem
<rks_> I hope my explaination was clear enough
sysop_fb has quit [Ping timeout: 246 seconds]
<robocop> yes thank you
<rks_> ok :)
sysopfb has quit [Ping timeout: 245 seconds]
sysop_fb has joined #ocaml
trep has quit [Ping timeout: 246 seconds]
iZsh has joined #ocaml
wmeyer has quit [Ping timeout: 260 seconds]
wmeyer` has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
ahokaomaeha has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
ottbot has joined #ocaml
SanderM has joined #ocaml
wmeyer` has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
SanderM_ has joined #ocaml
ahokaomaeha has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
ottbot has quit [Ping timeout: 246 seconds]
ChristopheT has joined #ocaml
chambart has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
osa1 has joined #ocaml
tac has joined #ocaml
anderse has quit [Quit: anderse]
weie has quit [Quit: Leaving...]
<adrien> some weird changes in some of the cross-compiler patches around date back to 2008
mattrepl has quit [Quit: mattrepl]
wmeyer has joined #ocaml
mattrepl has joined #ocaml
<wmeyer> adrien: had a good beer? :-)
<adrien> nope, two :P
<wmeyer> ah that's even better
<wmeyer> i went to my favourite pub on thursday
ottbot has joined #ocaml
<wmeyer> adrien: i think the first thing to do is indeed to tide up the tree, which involves moving headers to separate directory
<wmeyer> it looks like they clash with at least on two systems
<adrien> haven't had much time for bars and pubs lately ='(
<adrien> yup, that's the first change I've pu on my local tree
<wmeyer> tell me ... unfortunately, I have the same awful lot of work
<adrien> also, I've checked the spec for the behaviour of "exit" in shell scripts: it exits the shell, no matter whether it's inside a function or not
<wmeyer> hmm, my error then, sorry ...
<wmeyer> it does not escape shell however
<wmeyer> on my computer, the configure script goes
<adrien> there must be another issue
<adrien> looking into it
<wmeyer> Ok
<wmeyer> adrien: it would be very helpful to try using arm-linux-gnueabi- too
<wmeyer> BTW: on Ubuntu the default /bin/sh is Dash
<wmeyer> and not Bash
<wmeyer> and that's my current platform
<wmeyer> the same regarding -e switch for echo
<wmeyer> echo is builtin
<adrien> well
<adrien> I think I don't need -e here
osa1 has quit [Ping timeout: 252 seconds]
<adrien> also, I'm also pondering using /bin/echo instead of echo but I'll see if I have to
<wmeyer> adrien: I'd not rely on /bin/echo - assume it's a builtin better
<adrien> "It is not possible to use echo portably across all POSIX systems unless both -n (as the first argument) and escape sequences are omitted."
<adrien> so printf
<adrien> "New applications are encouraged to use printf instead of echo."
<wmeyer> are you sure you want to resort to printf? I used -n
<wmeyer> ah, OK, but is it on Solaris, DEC etc? which we support too
chambart has joined #ocaml
<invariant> Isn't this why autoconf was invented?
<invariant> So, you can write MYPORTABLE_VERSION, instead of just simple-command.
<adrien> well, opengroup.org is your best resource for such standards
<wmeyer> adrien: yes I like this webpage
<invariant> It seems a terrible failure for 'echo' to not be portable.
<invariant> "Hi, we are a standardization body, but we failed to specify echo. Yeah, we know it's sad."
<wmeyer> maybe I will have beer today too, feeling sad when i think what i assumed to do this weekend.
<adrien> invariant: they state clearly that was impossible because there were already two widespread implementations that behaved differently
<adrien> wmeyer: it's always a good time for beer
<adrien> a,d I blame the work weeks for taking too much time
<adrien> s/,/n/
<wmeyer> adrien: thanks :-)
<invariant> The most portable way to write software is likely to run just every command on the system in parallel and check for the right results in a VM.
<invariant> (too bad that doesn't work on embedded systems)
<invariant> (and that currently everyone will shoot you for doing that)
<wmeyer> invariant: :-)
<adrien> that's pretty much what curl does
<adrien> they try 4000 different combinations of arguments to select()
<adrien> and when the compiler doesn't complain, they decide they've found the right one
<wmeyer> I don't mind any solution that works
<adrien> I mind it when it's stupid and takes 15 minutes in a ./configure
<adrien> (I've timed it)
<wmeyer> maybe using autoconf and then just taking it's output would be right thing to do
<adrien> well, the easiest way would be to somehow sort the various combinations so that the most common prototypes to select() are tried first ;-)
<adrien> wmeyer: could you edit config/auto-aux/runtest, replace "verbose" with "yes" and run the configure script again?
<adrien> (I'm not sure why "verbose=yes ./configure" doesn't seem to work)
stevej has quit [Quit: Computer has gone to sleep.]
answer_42 has quit [Ping timeout: 276 seconds]
<wmeyer> It works. It shows commands
<adrien> can you pastebin them?
<adrien> hmm, ok, thanks
<adrien> I'm fairly clueless right now
<wmeyer> I applied up-to patch 23
<adrien> well, I really don't understand =/
Simgate has quit [Ping timeout: 260 seconds]
<adrien> I'm going to go to bed, I'll check that tomorrow
SanderM has quit [Remote host closed the connection]
robocop has quit [Quit: Quitte]
thatdamnmouse has joined #ocaml
tane has quit [Quit: Verlassend]
beginner42 has quit [Quit: irc2go]
Yoric has quit [Ping timeout: 246 seconds]
SanderM_ has quit [Remote host closed the connection]
ottbot has quit [Ping timeout: 252 seconds]
ahokaomaeha is now known as lolcathost|afk
chris447 has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
chris447 has left #ocaml []
tac has quit [Ping timeout: 245 seconds]
thatdamnmouse has quit [Ping timeout: 245 seconds]
tac has joined #ocaml
lolcathost|afk is now known as ahokaomaeha
astertronistic has joined #ocaml
ollehar has joined #ocaml
<ollehar> is there a standard way to visualize types in ocaml, in form of a diagram, e.g. UML?
ChristopheT has quit [Read error: Operation timed out]
<ollehar> wmeyer: thanks, i'll try that
<ollehar> what exactly does this meen? ./configure --with-ocaml-src-dir=/absolute/path/to/ocaml/compiled/sources
<ollehar> *mean
<ollehar> damn, can't compile that thing. nm.
darkf has joined #ocaml
mattrepl has quit [Quit: mattrepl]