adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Haudegen has quit [Ping timeout: 240 seconds]
aantron has quit [Remote host closed the connection]
yegods has joined #ocaml
Haudegen has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
yegods has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
madroach has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
sepp2k has quit [Quit: Leaving.]
cschneid has quit [Ping timeout: 240 seconds]
cschneid has joined #ocaml
JacobEdelman has quit [Quit: Connection closed for inactivity]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Stalkr has quit [Ping timeout: 276 seconds]
Anarchos has joined #ocaml
seangrove has quit [Ping timeout: 272 seconds]
raphaelss has quit [Remote host closed the connection]
Guest92881 has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
pierpa has quit [Ping timeout: 250 seconds]
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
aantron has joined #ocaml
yegods has joined #ocaml
FreeBirdLjj has joined #ocaml
seangrove has joined #ocaml
sgnb` has joined #ocaml
sgnb has quit [Ping timeout: 240 seconds]
seangrove has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
seangrove has joined #ocaml
rossberg has quit [Ping timeout: 264 seconds]
seangrove has quit [Ping timeout: 240 seconds]
badon has quit [Quit: Leaving]
rossberg has joined #ocaml
lostman_ has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
yegods_ has joined #ocaml
yegods has joined #ocaml
yegods_ has quit [Ping timeout: 240 seconds]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
psy_ has quit [Ping timeout: 245 seconds]
seangrove has joined #ocaml
ygrek_ has quit [Ping timeout: 248 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
seliopou has quit [Ping timeout: 250 seconds]
seangrove has quit [Ping timeout: 260 seconds]
seliopou has joined #ocaml
seangrove has joined #ocaml
danieli has quit [Ping timeout: 272 seconds]
mac10688 has quit [Ping timeout: 260 seconds]
virtualeyes has quit [Ping timeout: 248 seconds]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
thesnowdog4 has quit [Read error: Connection reset by peer]
cschneid has quit [Ping timeout: 260 seconds]
bitbckt has quit [Ping timeout: 260 seconds]
tautologico has quit [Ping timeout: 260 seconds]
Guest928` has joined #ocaml
oldmanistan_ has quit [Ping timeout: 260 seconds]
edwin has quit [Ping timeout: 260 seconds]
thesnowdog4 has joined #ocaml
rom1504 has quit [Ping timeout: 260 seconds]
l1x has quit [Ping timeout: 260 seconds]
alpen has quit [Ping timeout: 260 seconds]
Guest92881 has quit [Ping timeout: 260 seconds]
dch has quit [Ping timeout: 260 seconds]
msch has quit [Ping timeout: 260 seconds]
mattg has quit [Ping timeout: 260 seconds]
pootler_ has quit [Ping timeout: 260 seconds]
igitoor has quit [Ping timeout: 260 seconds]
bitbckt has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
rom1504 has joined #ocaml
Leonidas has joined #ocaml
yegods has joined #ocaml
igitoor has joined #ocaml
cschneid has joined #ocaml
l1x has joined #ocaml
pootler_ has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
oldmanistan_ has joined #ocaml
msch has joined #ocaml
lpaste has joined #ocaml
edwin has joined #ocaml
tautologico has joined #ocaml
alpen has joined #ocaml
Khady_ has joined #ocaml
dch has joined #ocaml
iosys has quit [Ping timeout: 260 seconds]
Khady has quit [Read error: Connection reset by peer]
Haudegen has quit [Read error: Connection reset by peer]
al-maisan has quit [Ping timeout: 260 seconds]
dch has quit [Changing host]
dch has joined #ocaml
dch has joined #ocaml
bitemyapp has quit [Ping timeout: 263 seconds]
axiles has quit [Ping timeout: 263 seconds]
bugabinga has quit [Ping timeout: 263 seconds]
sheijk has quit [Ping timeout: 263 seconds]
sivoais has quit [Ping timeout: 263 seconds]
luigy has quit [Ping timeout: 263 seconds]
gargawel has quit [Ping timeout: 263 seconds]
gargawel has joined #ocaml
theblatte has joined #ocaml
sheijk has joined #ocaml
tobiasBora has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
bitemyapp has joined #ocaml
al-maisan has joined #ocaml
luigy has joined #ocaml
iosys has joined #ocaml
tobiasBora has joined #ocaml
axiles has joined #ocaml
bugabinga has joined #ocaml
sivoais has joined #ocaml
yegods_ has joined #ocaml
yegods has quit [Read error: Connection reset by peer]
Fleurety has joined #ocaml
Muzer has joined #ocaml
mattg has joined #ocaml
yegods has joined #ocaml
yegods_ has quit [Ping timeout: 240 seconds]
antkong has quit [Quit: antkong]
Guest928` has quit [Ping timeout: 240 seconds]
sivoais has quit [Ping timeout: 245 seconds]
yegods_ has joined #ocaml
yegods has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
antkong has joined #ocaml
seangrove has quit [Ping timeout: 250 seconds]
sivoais has quit [Ping timeout: 276 seconds]
sivoais has joined #ocaml
ygrek_ has joined #ocaml
jeffmo has quit [Quit: jeffmo]
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
badon has joined #ocaml
sivoais has quit [Ping timeout: 252 seconds]
lostman_ has quit [Quit: Connection closed for inactivity]
sivoais has joined #ocaml
yegods_ has quit [Remote host closed the connection]
sivoais has quit [Quit: leaving]
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
antkong has quit [Quit: antkong]
<flux> who is this everyone? PGOcaml is great 90% of the time, and the 10% isn't because of the server :)
<flux> though I think everyone would be slightly happier if it were possible to use an sql dump (create script.sql) instead of it, but that's probably quite a big task
<flux> in practice it would be even possible to just spin up a postgresql server just for compiling with just the create script loaded in if that were a problem..
<flux> and yes, type providers and composable queries are orthogonal problems
sivoais has joined #ocaml
antkong has joined #ocaml
cyraxjoe_ has joined #ocaml
cyraxjoe has quit [Ping timeout: 250 seconds]
jeffmo has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
kansi has joined #ocaml
psy_ has joined #ocaml
sivoais has quit [Quit: leaving]
jeffmo has quit [Ping timeout: 240 seconds]
nkhodyunya has joined #ocaml
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
MercurialAlchemi has joined #ocaml
sivoais has quit [Client Quit]
sivoais has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sivoais has quit [Ping timeout: 272 seconds]
cross has quit [Ping timeout: 240 seconds]
nopf has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
MercurialAlchemi has joined #ocaml
cross has joined #ocaml
vpm has quit [Ping timeout: 276 seconds]
zaquest has quit [Ping timeout: 260 seconds]
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
lewis1711 has joined #ocaml
<lewis1711> how do I join a bunch of strings with a delimeter?
<artart78> String.concat delimiter string_list
sivoais has quit [Ping timeout: 250 seconds]
zaquest has joined #ocaml
antkong has quit [Quit: antkong]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
yawnt_ has joined #ocaml
sivoais has quit [Ping timeout: 260 seconds]
kansi has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
damason has quit [Ping timeout: 250 seconds]
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
danieli has joined #ocaml
aantron has quit [Remote host closed the connection]
danieli has joined #ocaml
danieli has quit [Changing host]
sivoais has quit [Ping timeout: 252 seconds]
sgnb` is now known as sgnb
sivoais has joined #ocaml
yawnt_ is now known as yawnt
yawnt has quit [Changing host]
yawnt has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 245 seconds]
Simn has joined #ocaml
sivoais has joined #ocaml
darkf has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
ygrek_ has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
Snark has quit [Ping timeout: 272 seconds]
Snark has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
ontologiae has joined #ocaml
nkhodyunya has quit [Quit: Leaving.]
lewis1711 has left #ocaml ["Ex-Chat"]
sivoais has quit [Ping timeout: 272 seconds]
sivoais has joined #ocaml
axiles has quit [Ping timeout: 272 seconds]
nkhodyunya has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
hunteriam has quit [Quit: Connection closed for inactivity]
sivoais has joined #ocaml
teknozulu has quit [Ping timeout: 276 seconds]
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
nkhodyunya has quit [Quit: Leaving.]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
silver has joined #ocaml
nkhodyunya has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
jwatzman|work has joined #ocaml
sivoais has joined #ocaml
Khady_ is now known as Khady
_andre has joined #ocaml
Khady has quit [Changing host]
Khady has joined #ocaml
kakadu has quit [Quit: Page closed]
kakadu has joined #ocaml
sivoais has quit [Ping timeout: 276 seconds]
sivoais has joined #ocaml
Haudegen has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
nkhodyunya has quit [Quit: Leaving.]
sivoais has quit [Ping timeout: 276 seconds]
sivoais has joined #ocaml
apache2 has joined #ocaml
edwin has left #ocaml [#ocaml]
sigjuice_ has quit [Ping timeout: 245 seconds]
nkhodyunya has joined #ocaml
edwin has joined #ocaml
vishesh has quit [Ping timeout: 250 seconds]
johnelse has quit [Ping timeout: 245 seconds]
johnelse has joined #ocaml
apache2_ has quit [Ping timeout: 250 seconds]
johnelse is now known as Guest44089
Guest44089 is now known as johnelse
vishesh has joined #ocaml
sigjuice has joined #ocaml
sivoais has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
petercommand has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
yegods has joined #ocaml
sivoais has quit [Ping timeout: 245 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 245 seconds]
sivoais has joined #ocaml
<Drup> flux: macaque doesnt need it, in particular. And no, I don't think using an sql dump would be a big task
ontologiae has quit [Ping timeout: 240 seconds]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
yegods has quit []
sivoais has joined #ocaml
yegods has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
JacobEdelman has joined #ocaml
chenglou has joined #ocaml
<chenglou> is there a way for ocaml to accept/print ascii characters such as ║
<chenglou> ?
<chenglou> the ascii code 186
<chenglou> `print_endline "\186"` gives me unregonized question mark symbol
virtualeyes has joined #ocaml
<reynir> I don't think that's ascii to be pedantic
<flux> chenglou, does your terminal really use (extended) ascii or rather unicode (utf8)?
<flux> just print_endline "║"; should work, no?
<flux> ..assuming you are using an unicode-aware editor
silver has quit [Quit: rakede]
<chenglou> flux: sorry, simplified the situation
<chenglou> I originally wanted to print a char
<chenglou> but I guess that isn't a char
Sorella has joined #ocaml
nkhodyunya has quit [Quit: Leaving.]
<flux> correct
sivoais has quit [Ping timeout: 245 seconds]
<chenglou> flux: what's the definition of a char in ocaml? I come from a language that doesn't distinguish between char and string, so assumed '║' made sense
<flux> a character is 8 bits
sivoais has joined #ocaml
<chenglou> does that happen to be the case in other languages with Char type or do they define Char differently? E.g. "visually it's a single letter-thing"
<flux> well, in practice C and C++ have 8-bit char as well
<flux> if one wants to refer to unicode symbols, integer is appropriate
<foolishmonkey> chenglou, do you know the difference between a number and a digit?
<flux> and to output them to most anything you use utf-8, so it becomes a sequence of octets
<chenglou> foolish monkey: sure do
<foolishmonkey> so you know what is a char
dsheets has quit [Remote host closed the connection]
<chenglou> flux: yeah that makes sense, thanks
<chenglou> foolishmonkey: for me the parallel between digit:number and char:string was visual
<chenglou> thus the confusion
<foolishmonkey> there is also letter:word
<chenglou> eh right, I was thinking letter:word then
sivoais has quit [Ping timeout: 276 seconds]
<chenglou> before*
sivoais has joined #ocaml
<chenglou> I suck at ascii & unicode, thanks for the explanation
Stalkr has joined #ocaml
NingaLeaf has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
copy` has joined #ocaml
Sim_n has joined #ocaml
sivoais has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
Simn has quit [Ping timeout: 240 seconds]
pootler_ has quit [Ping timeout: 240 seconds]
pootler_ has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
nkhodyunya has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
pierpa has joined #ocaml
sivoais has quit [Ping timeout: 250 seconds]
psy_ has quit [Ping timeout: 276 seconds]
FreeBird_ has joined #ocaml
sivoais has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
FreeBird_ has quit [Ping timeout: 248 seconds]
yegods has quit [Read error: Connection reset by peer]
jgjl has joined #ocaml
yegods has joined #ocaml
freehck has joined #ocaml
kushal has joined #ocaml
ggole has joined #ocaml
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
vpm has joined #ocaml
esad has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
dsheets has joined #ocaml
sivoais has quit [Ping timeout: 272 seconds]
sivoais has joined #ocaml
jgjl has quit [Quit: Textual IRC Client: www.textualapp.com]
jeffmo has joined #ocaml
sivoais has quit [Quit: leaving]
ousado has quit [Remote host closed the connection]
shinnya has joined #ocaml
yegods has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 256 seconds]
shinnya has joined #ocaml
Mercuria1Alchemi has joined #ocaml
silver has joined #ocaml
elfring has joined #ocaml
yegods has joined #ocaml
esad has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
esad has joined #ocaml
dsheets has quit [Remote host closed the connection]
aantron has joined #ocaml
lostman_ has joined #ocaml
jeffmo has quit [Quit: jeffmo]
Guest38 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
esad has quit [Quit: Textual IRC Client: www.textualapp.com]
hcarty has joined #ocaml
jeffmo has joined #ocaml
lobo has joined #ocaml
warp has joined #ocaml
dsheets has joined #ocaml
slash^ has joined #ocaml
nkhodyunya has quit [Quit: Leaving.]
scrabcakes has joined #ocaml
<scrabcakes> what does the error "the constructor :: does not belong to type bla"
<scrabcakes> *mean?
<sgnb> isn't it self-evident?
<sgnb> maybe you used :: in a context where something of type bla was expected
elfring has quit [Read error: Connection reset by peer]
<scrabcakes> okay yes but bla is still a list apart from a couple of points, can I not treat it as a list then?
<aantron> it seems not, what exactly is bla?
<sgnb> what do you mean by "apart from a couple of points"?
<scrabcakes> a type that has a list of tuples
<aantron> what do you mean by "has"? is it a list of tuples (would seem no)?
<scrabcakes> it is a user-defined type that specifies a list containing tuples
<aantron> is it possible to tell us what the type is?
<Drup> scrabcakes: please show the definition :)
<scrabcakes> type bool_list = BoolList of (int, bool) list
<aantron> (int, bool) list doesnt look well-formed
<scrabcakes> sorry that should be (int*bool)
dsheets has quit [Remote host closed the connection]
<Drup> scrabcakes: so, there is a constructor in this
<Drup> this is not a type alias for list
<aantron> ok, if you had type bool_list = (int * bool) list, you could use ::
<aantron> and Drup covered why you can't use :: if you don't drop the BoolList :)
<aantron> scrabcakes: however, in a pattern, you can still use things like "BoolList (foo::more)"
<aantron> instead of just "foo::more"
<scrabcakes> yep adding the constructor before it fixes it, cheers
<aantron> enjoy :)
nkhodyunya has joined #ocaml
Sim_n has quit [Read error: Connection reset by peer]
dsheets has joined #ocaml
sz0 has joined #ocaml
scrabcakes has quit [Ping timeout: 240 seconds]
JacobEdelman has quit [Quit: Connection closed for inactivity]
<ggole> Why have the single constructor at all?
jwatzman|work has quit [Quit: jwatzman|work]
scrabcakes has joined #ocaml
shinnya has quit [Ping timeout: 250 seconds]
<scrabcakes> okay going back to the type bool_list, how would you use the :: operator to get the tail of type bool_list, it seems to give back native type of (int*bool) list rather than the type name?
<lyxia> scrabcakes: pattern match on the argument of BoolList
<lyxia> match boolList with BoolList (hd :: tl) -> ...
<scrabcakes> in the type declaration?
lobo has quit [Quit: WeeChat 1.4]
<lyxia> Uh what are you talking about?
<scrabcakes> do you mean put that in the type declaration? or the function? I do that in the function but tl is then a list and not a boollist
<aantron> scrabcakes: you need to reconstruct the bool_list after pattern matching, i.e. "BoolList (_::tail) -> BoolList tail"
<aantron> ggole: im guessing scrabcakes has more than one constructor, but not sure. if there is only one constructor, i would say eliminate it, as well
<scrabcakes> aantron: I was thinking to eliminate it actually but I thought I might as well face the issue as a learning step. Also I am doing "BoolList (_::tail) -> func2 BoolList tail" and getting an "expects 1 argument" error. Do I need to change the syntax given it is being passed to a new function?
<aantron> you need to wrap (BoolList tail) in parens there
<aantron> that is being parsed as "func2 (BoolList) (tail)"
<aantron> (vaguely speaking)
<aantron> in general if you want to pass the result of some non-trivial operation to a function, you usually have to wrap it in parens
<scrabcakes> ah cheers, I was trying BoolList(tail) instead >< doh
<aantron> for example "foo 1 + 6" is 3 arguments to foo, but "foo (1 + 6)" is "foo 7"
<aantron> this is a result of the precedence of operations in ocaml, you may want to find and look at the table later. however, in practice, i dont remember, i just know some things i have to wrap, and for anything im not sure about i wait for the compiler to yell at me :)
scrabcakes has quit [Ping timeout: 264 seconds]
<zozozo> aantron: actually "foo 1 + 6" is parsed as "(foo 1) + 6" I think
<reynir> yes
<aantron> zozozo: well, yes. ((foo 1) +) 6
<aantron> or perhaps i should step back
<zozozo> aantron: nope it is ((+ (foo 1)) 6)
<aantron> :)
<zozozo> in the sens that foo is only applied to 1 and is expected to return an int
<zozozo> *sense
<reynir> ((+) (foo 1)) 6
<aantron> yes, caught it
<aantron> thank you
<zozozo> ^^
<aantron> scrabcakes: its also a good idea to break the habit of writing function(argument) or Constructor(argument), which is informed by other languages, but can be misleading in ocaml. those parens have nothing inherently to do with application ("function calls", or use of constructors). they only wrap the argument expression
jeffmo has quit [Quit: jeffmo]
elfring has joined #ocaml
yegods has quit []
JacobEdelman has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
lostman_ has quit [Quit: Connection closed for inactivity]
axiles has joined #ocaml
please_help0 has quit [Ping timeout: 272 seconds]
Simn has joined #ocaml
malc_ has joined #ocaml
warp has quit [Ping timeout: 240 seconds]
please_help0 has joined #ocaml
Haudegen has joined #ocaml
malc_ has quit [Ping timeout: 260 seconds]
malc_ has joined #ocaml
hcarty1 has joined #ocaml
hcarty has quit [Read error: Connection reset by peer]
yawnt has quit [Ping timeout: 250 seconds]
ggole has quit [Ping timeout: 240 seconds]
ygrek_ has joined #ocaml
jeffmo has joined #ocaml
jeffmo has quit [Client Quit]
jeffmo has joined #ocaml
dsheets has quit [Remote host closed the connection]
kushal has quit [Ping timeout: 250 seconds]
kakadu has quit [Quit: Page closed]
yawnt has joined #ocaml
kushal has joined #ocaml
dsheets has joined #ocaml
ely-se has joined #ocaml
Algebr`` has joined #ocaml
ely-se has left #ocaml [#ocaml]
lobo has joined #ocaml
dsheets has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 248 seconds]
dsheets has joined #ocaml
hcarty1 has quit [Quit: WeeChat 1.4]
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
silver has quit [Quit: rakede]
yawnt has quit [Ping timeout: 250 seconds]
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
kakadu has joined #ocaml
silver has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
_andre has quit [Quit: leaving]
antkong_ has joined #ocaml
madroach has joined #ocaml
JacobEdelman has quit [Quit: Connection closed for inactivity]
Guest77788 has joined #ocaml
sivoais has joined #ocaml
lokien_ has joined #ocaml
malc_ has quit [Ping timeout: 256 seconds]
sivoais has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
sivoais has joined #ocaml
antkong_ has quit [Quit: antkong_]
sivoais has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
madroach_ has joined #ocaml
Xandaros has joined #ocaml
madroach has quit [Quit: leaving]
madroach_ has quit [Client Quit]
madroach has joined #ocaml
Haudegen has joined #ocaml
<Xandaros> I'm trying to compile a piece of ocaml software. It comes with a configure script, which fails at detecting ocaml. It goes on with telling me that it can't find "unix.cmxa" and "str.cmxa". What can I do to fix it?
sivoais has quit [Ping timeout: 276 seconds]
sivoais has joined #ocaml
<kakadu> do this software use ocamlfind?
<kakadu> if yes, you can delete this two cmas and add -package str,unix
<kakadu> I have seen this when compiling code using 3.12.1 when the code was supposed to be compiled with <3.10\
dsheets has quit [Remote host closed the connection]
slash^ has quit [Read error: Connection reset by peer]
<Xandaros> looks like it uses a tool called "locate"
<Xandaros> ...which I don't even have
<aantron> if you have locate installed, you can try using it: "locate ocaml". it should tell you how to initialize the locate database on your system
<Algebr``> Xandaros: what OS are you on, did you install ocaml before. Provide more details...
<Algebr``> if no locate then you must not be on os x.
<Xandaros> I'm on Linux
<aantron> ah.. well one solution would be to install locate, if you're not willing to edit the build system of the ocaml code
<Algebr``> Linux what? There's more than one....is it debian? is it fedora?
<Xandaros> arch
<Xandaros> I don't really see how the flavour is relevant, though, to be honest
<Algebr``> pacman does have ocaml, did you try installing ocaml via pacman?
<aantron> Algebr``: if the build process of the code is using locate (which is a bad idea, but it is), then that shouldnt help
<aantron> if it is relying* on locate
<Algebr``> it just helps to provide more details other than "This doesn't work for me"
<Algebr``> well then at least we can suggest to install locate via pacman, etc.
<Xandaros> I did install it via pacman. I'm not trying to build ocaml itself, I'm trying to build something apparently written in it
<aantron> ok, right
<Xandaros> Anyway, installing locate now
<Algebr``> what ocaml package is this anyway? something public?
<Xandaros> It's a homespring interpreter: http://esoteric.voxelperfect.net/files/homespring/impl/
rks` has joined #ocaml
sivoais has quit [Ping timeout: 245 seconds]
<Xandaros> Oh good. Looks like locate requires root...
<Algebr``> I think it does for the inital creation of the db.
Anarchos has joined #ocaml
sivoais has joined #ocaml
<Algebr``> I wonder if you could just comment out that lines 37-49 since you got to that point anyway since the earlier part didn't crap out on finding ocaml itself
<Algebr``> presumably ocamlc -where works
<Xandaros> Well, I'm a bit worried about what comes next to be honest. Looks like it has some deps which don't ship with ocaml
Ankhers_ has joined #ocaml
<Algebr``> unix and str are supposed to come with ocaml
<Algebr``> but yea, lablgtk2 doesn't
<Algebr``> i don't think
<aantron> i thought it does.. not sure
vpm_ has joined #ocaml
<aantron> double checking
<Algebr``> would be odd to ship a compiler with a gui kit, no?
<aantron> i remember using it very easily, but it was a long time ago
tautologico_ has joined #ocaml
<Algebr``> yes, now it has native windows on OS X!
Ankhers_ is now known as Ankhers`
vpm has quit [*.net *.split]
vishesh has quit [*.net *.split]
Snark has quit [*.net *.split]
tautologico has quit [*.net *.split]
lpaste has quit [*.net *.split]
iZsh has quit [*.net *.split]
Ankhers has quit [*.net *.split]
rks`_ has quit [*.net *.split]
rpip_ is now known as rpip
Ankhers` is now known as Ankhers
<Xandaros> Hmm, this updatedb thing takes a long time. What exactly does locate do, anyway? Is it indexing the whole filesystem now? ...
<aantron> ok i must be wrong, this was 10 years ago and i dont remember how i ended up with it. Algebr``, what provides the native windows?
tautologico_ is now known as tautologico
<aantron> Xandaros: basically. it indexes the filesystem so you can search it quickly with locate
<Xandaros> bloody hell...
<Algebr``> aantron: lablgtk used crappy x11 on OSX, things looked icky. last time I used it, 2 weeks ago out of curiousity, it built using native cocoa windows.
<Drup> aantron, Algebr``labltk used to ship with the compiler
<Drup> not lablgtk2
Snark has joined #ocaml
iZsh has joined #ocaml
iZsh has quit [Ping timeout: 250 seconds]
<aantron> ah. nice. i used it on windows in the before time. it looked bad but was better than writing a win32 binding using the basic FFI :)
<aantron> Drup: thank you, that might explain my memory :p
<Drup> (Graphics is still shiped with the compilers :p)
<Anarchos> aantron i wrote a binding with the basic FFI to bind with the C++ API of native GUI on HaikuOS :)
<Xandaros> Well, it only wants lablgtx.cxma, so that should be fine, right?
<Drup> Xandaros: this thing you are installed sounds very old and *cough* venerable
lpaste has joined #ocaml
Snark has quit [Ping timeout: 250 seconds]
<Drup> installing*
<aantron> Xandaros: apparently only if you have an old ocaml distribution installed that still had lablgtk
<Drup> aantron: no, it was labl*tk*
<Xandaros> Drup: It's from 2007
<Drup> not gtk.
<aantron> ahhh
<Drup> Yes, this thing that nobody uses anymore :D
<aantron> man
sivoais has quit [Ping timeout: 264 seconds]
<aantron> bad reading day.
<Xandaros> Ah, it sets a compiler flag +lablgtk2
<Xandaros> Right, so... how do I install it?
Snark has joined #ocaml
sivoais has joined #ocaml
<Xandaros> Installing this is a pain. I'm going to put writing a new interpreter for this on my todo list
<Drup> Xandaros: or repackage this one
<aantron> Xandaros: i think you only would have to modernize the build system, to solve the problem you are having now
<Drup> the pain is not due to OCaml in this case, it's only this specific packaging
<aantron> i think you might be able to install lablgtk from opam, should be easy, not sure about whether you will have to mess with include paths afterwards. perhaps someone else knows better
<Xandaros> Maybe. Does ocaml actually have a proper package system? This makefile stuff seems... odd
<Drup> yes it does
<aantron> yeah, it has OPAM https://opam.ocaml.org/
<Drup> hence my remark
iZsh has joined #ocaml
<Drup> Xandaros: if you want to stay in archlinux realms, lablgtk2 is in extra/
<Xandaros> Oh, I should have thought of searching for it with pacman
<Xandaros> It's actually already installed...
<zozozo> there's also an opam package in the AUR
test` has joined #ocaml
<Xandaros> There is. I was a bit annoyed when I saw it isn't in extra or community
test` has quit [Remote host closed the connection]
sivoais has quit [Quit: leaving]
<zozozo> well, it requires some strange stuff to be honest
vishesh has joined #ocaml
<zozozo> Xandaros: should be unix.cmxa I think (and not unix.cxma)
<aantron> wow :)
freehck has quit [Remote host closed the connection]
<Xandaros> Indeed, thanks. Next problem: http://tcp.mniip.com/a3lg
<zozozo> no idea what's happening, but maybe try adding the -fPIC option as suggested ?
<Xandaros> Hmm, doesn't work
<zozozo> same error ?
<Xandaros> Yep
<zozozo> well, time to ask people who know the compiler
<zozozo> Drup: any idea ?
<Xandaros> I've encountered similar errors using Haskell. It happens when you have a mismatch between static and dynamic libs. No clue how to fix it with ocaml, though
<zozozo> in that case, it may be a problem with your system rather than ocaml maybe ?
<Drup> gimme a sec, changing the build system
<Drup> (while trying to not burn my chilli)
<regnat> a
<Xandaros> z
<regnat> (Oups)
<Drup> oh, it doesn't compile under 4.02.3
<Drup> x)
<Xandaros> great
<Drup> waow
<aantron> Xandaros, which version of ocaml are you using?
<Drup> this source code is impressive
<Xandaros> 4.02.3 :P
<Drup> (and not in a good way)
<aantron> interesting, you reached linking but Drup's didn't compile?
<Algebr``> lots of objects and regex.
<Drup> ok, all fixed
Mercuria1Alchemi has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
<Drup> try that
<Drup> it uses ocamlfind
<Drup> (and it compiles under 4.02.3 ...)
AlexRussia has joined #ocaml
<Drup> You still need the ./configure, for the prefix
<Drup> (I just did the minimal amount of work, it's still not very clean)
<Xandaros> Hmm, still complaining
<Xandaros> So it is probably the lablgtk2 being at fault
<Drup> what's the complaint ?
<Xandaros> though the pkgbuild seems pretty straightforward
<Xandaros> Drup: http://tcp.mniip.com/yxrv
<Drup> that is not a lablgtk error
<Xandaros> yeah, I have no idea tbh. I can't read this
<Drup> it looks like two things are not compiled with the same ocaml versions =__=
<zozozo> Xandaros: maybe you could try using an opam installed ocaml and lablgtk ?
<Xandaros> I'll try building lablgtk from abs tomorrow. I need to head home now, though, or I'll miss the last train
<Xandaros> (10:30 pm here)
BitPuffin|osx has joined #ocaml
<Xandaros> I suggest you read the homespring docs, btw. It's the most hilarious language spec I have ever seen
xificurC has joined #ocaml
demonimin has joined #ocaml
lobo has quit [Ping timeout: 250 seconds]
iZsh has quit [Ping timeout: 245 seconds]
lobo has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
xificurC has quit [Quit: WeeChat 1.3]
<Algebr``> what the heck is this C library xdr
<Algebr``> ah, its some RPC thing. I wonder if its still relevant.
antkong has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
iZsh has joined #ocaml
<edwin> ocamlnet supports XDR, but I think there are better protocols nowadays
<Algebr``> like zmq?
ollehar has quit [Ping timeout: 245 seconds]
iZsh has quit [Ping timeout: 240 seconds]
antkong has quit [Ping timeout: 240 seconds]
antkong has joined #ocaml
jeffmo has joined #ocaml
iZsh has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
mac10688 has joined #ocaml
Sorella has joined #ocaml
nkhodyunya has quit [Quit: Leaving.]
mcmillhj has joined #ocaml
ollehar has joined #ocaml
ollehar has quit [Client Quit]
antkong has quit [Quit: antkong]
antkong_ has joined #ocaml
antkong_ has quit [Client Quit]
antkong_ has joined #ocaml
teknozulu has joined #ocaml
lobo has quit [Quit: zleep]
sgnb has quit [Remote host closed the connection]
manizzle has quit [Ping timeout: 245 seconds]
nkhodyunya has joined #ocaml
kakadu has quit []
silver has quit [Quit: rakede]
nkhodyunya has quit [Quit: Leaving.]
sgnb has joined #ocaml
antkong_ has quit [Quit: antkong_]
mac10688 has quit [Remote host closed the connection]
orbifx has joined #ocaml
damason has joined #ocaml
tane has quit [Quit: Verlassend]
vishesh has quit [Quit: WeeChat 1.3]
vishesh has joined #ocaml
darkf has quit [Quit: Leaving]
orbifx has quit [Ping timeout: 245 seconds]
raphaelss has joined #ocaml
<apache2> does anyone have experience with persistence in mirage unikernels? I'd like my cohttp app to save some state
<apache2> I'm guessing I should use irmin? links would be much appreciated!
antkong has joined #ocaml