ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Logs at http://irclog.whitequark.org/ocaml
philtor_ has quit [Ping timeout: 256 seconds]
<whitequark> def`: poke
alpounet has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 240 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
hhugo has quit [Quit: Leaving.]
racycle has quit [Quit: ZZZzzz…]
q66 has quit [Quit: Leaving]
def` has quit [*.net *.split]
inr has quit [*.net *.split]
hyPiRion has quit [*.net *.split]
hbar has quit [*.net *.split]
esden has quit [*.net *.split]
icicled has quit [*.net *.split]
fx has quit [*.net *.split]
alex_nx_ has quit [*.net *.split]
hcarty has quit [*.net *.split]
Derander_ has quit [*.net *.split]
parcs has quit [*.net *.split]
cdidd has quit [*.net *.split]
reynir has quit [*.net *.split]
sgnb has quit [*.net *.split]
robink has quit [*.net *.split]
mdenes2 has quit [*.net *.split]
ssbr has quit [*.net *.split]
gasche has quit [*.net *.split]
chris2 has quit [*.net *.split]
msch has quit [*.net *.split]
puzza007 has quit [*.net *.split]
jyc has quit [*.net *.split]
olasd has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
leifw has quit [*.net *.split]
__marius____ has quit [*.net *.split]
SethTisue_______ has quit [*.net *.split]
jlouis has quit [*.net *.split]
steshaw has quit [*.net *.split]
nk0 has quit [*.net *.split]
rossberg_ has quit [*.net *.split]
zozozo has quit [*.net *.split]
bitbckt has quit [*.net *.split]
gereedy has quit [*.net *.split]
mal`` has quit [*.net *.split]
_habnabit has quit [*.net *.split]
jbrown has quit [*.net *.split]
ski has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
yacks has quit [*.net *.split]
companion_cube has quit [*.net *.split]
mk270 has quit [*.net *.split]
ivan\ has quit [*.net *.split]
pippijn has quit [*.net *.split]
srax has quit [*.net *.split]
mcclurmc has quit [*.net *.split]
paddymahoney has quit [*.net *.split]
meteo2 has quit [*.net *.split]
zarul has quit [*.net *.split]
Antoine59 has quit [*.net *.split]
tizoc has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
n0v has quit [*.net *.split]
pollux has quit [*.net *.split]
badon has quit [*.net *.split]
iZsh has quit [*.net *.split]
claudiuc_ has quit [*.net *.split]
_JokerDoom has quit [*.net *.split]
Muzer has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
fold has quit [*.net *.split]
Arthur_R` has quit [*.net *.split]
xaimus has quit [*.net *.split]
mrvn has quit [*.net *.split]
ddosia has quit [*.net *.split]
maufred has quit [*.net *.split]
rks` has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
aggelos_ has quit [*.net *.split]
thorsten` has quit [*.net *.split]
rs0 has quit [*.net *.split]
xenocons has quit [*.net *.split]
bcuccioli has quit [*.net *.split]
lusory has quit [*.net *.split]
jao has quit [*.net *.split]
acieroid has quit [*.net *.split]
vpm has quit [*.net *.split]
asmanur has quit [*.net *.split]
manizzle has quit [*.net *.split]
Eyyub has quit [*.net *.split]
Khady has quit [*.net *.split]
The_third_man has quit [*.net *.split]
deavid has quit [*.net *.split]
diethyl has quit [*.net *.split]
dinosaure has quit [*.net *.split]
_2can has quit [*.net *.split]
ousado has quit [*.net *.split]
testcocoon has quit [*.net *.split]
macron has quit [*.net *.split]
darkf has quit [*.net *.split]
jerith has quit [*.net *.split]
vbmithr has quit [*.net *.split]
kerneis has quit [*.net *.split]
Mandus has quit [*.net *.split]
petterw_ has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
isomorph1smes has quit [*.net *.split]
numeo has quit [*.net *.split]
flux has quit [*.net *.split]
orbitz has quit [*.net *.split]
saarin has quit [*.net *.split]
algoriddle has quit [*.net *.split]
freling has quit [*.net *.split]
martintrojer has quit [*.net *.split]
contempt has quit [*.net *.split]
SHODAN has quit [*.net *.split]
Armael has quit [*.net *.split]
alexst has quit [*.net *.split]
shinnya has quit [*.net *.split]
araujo has quit [*.net *.split]
pgomes has quit [*.net *.split]
samebchase has quit [*.net *.split]
milosn has quit [*.net *.split]
ktos has quit [*.net *.split]
cross has quit [*.net *.split]
gargawel_ has quit [*.net *.split]
binarybi1me has quit [*.net *.split]
mbac has quit [*.net *.split]
siddharthv_away has quit [*.net *.split]
squiggnet has quit [*.net *.split]
nicoo has quit [*.net *.split]
seliopou has quit [*.net *.split]
smondet has quit [*.net *.split]
philtor has quit [*.net *.split]
osnr has quit [*.net *.split]
yroeht has quit [*.net *.split]
cthuluh has quit [*.net *.split]
BitPuffin has quit [*.net *.split]
patronus has quit [*.net *.split]
ebzzry has quit [*.net *.split]
pjdelport has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
rwmjones has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
Cypi has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
thizanne has quit [*.net *.split]
TaXules has quit [*.net *.split]
whitequark has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
j0sh has quit [*.net *.split]
bartbes has quit [*.net *.split]
madroach has quit [*.net *.split]
Valdo has quit [*.net *.split]
marky has quit [*.net *.split]
shallow has quit [*.net *.split]
brendan has quit [*.net *.split]
Snark has quit [*.net *.split]
NoNNaN has quit [*.net *.split]
clog has quit [*.net *.split]
studybot_ has quit [*.net *.split]
_twx_ has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
weykent has quit [*.net *.split]
cantstanya has quit [*.net *.split]
malo has quit [*.net *.split]
tianon has quit [*.net *.split]
middayc has quit [*.net *.split]
PM has quit [*.net *.split]
teiresias has quit [*.net *.split]
vincentbalat has quit [*.net *.split]
Drup has quit [*.net *.split]
lopex has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
ohama has quit [*.net *.split]
amiller has quit [*.net *.split]
yastero has quit [*.net *.split]
dant3 has quit [*.net *.split]
Averell has quit [*.net *.split]
tchell has quit [*.net *.split]
alinab has quit [*.net *.split]
andreypopp has quit [*.net *.split]
struktured has quit [*.net *.split]
_tca has quit [*.net *.split]
ggherdov has quit [*.net *.split]
jave_ has quit [*.net *.split]
baz__ has quit [*.net *.split]
igitoor has quit [*.net *.split]
maurer has quit [*.net *.split]
gustav___ has quit [*.net *.split]
nox has quit [*.net *.split]
_tca_ has joined #ocaml
chris2 has joined #ocaml
mk270 has joined #ocaml
j0sh has joined #ocaml
bartbes has joined #ocaml
robink has joined #ocaml
thizanne has joined #ocaml
fold has joined #ocaml
Cypi has joined #ocaml
TaXules has joined #ocaml
BitPuffin has joined #ocaml
rwmjones has joined #ocaml
cthuluh has joined #ocaml
ivan\ has joined #ocaml
ebzzry has joined #ocaml
yroeht has joined #ocaml
patronus has joined #ocaml
hyperboreean has joined #ocaml
whitequark has joined #ocaml
nickmeharry has joined #ocaml
bernardofpc has joined #ocaml
emmanueloga has joined #ocaml
osnr has joined #ocaml
pjdelport has joined #ocaml
yacks has joined #ocaml
jbrown has joined #ocaml
hnrgrgr has joined #ocaml
def` has joined #ocaml
xenocons has joined #ocaml
srax has joined #ocaml
wormphlegm has joined #ocaml
Arthur_R` has joined #ocaml
zarul has joined #ocaml
leifw has joined #ocaml
claudiuc_ has joined #ocaml
ddosia has joined #ocaml
gasche has joined #ocaml
hbar has joined #ocaml
nk0 has joined #ocaml
n0v has joined #ocaml
hcarty has joined #ocaml
inr has joined #ocaml
Averell has joined #ocaml
alex_nx_ has joined #ocaml
_habnabit has joined #ocaml
aggelos_ has joined #ocaml
jyc has joined #ocaml
ski has joined #ocaml
Valdo has joined #ocaml
parcs has joined #ocaml
brendan has joined #ocaml
philtor has joined #ocaml
puzza007 has joined #ocaml
clog has joined #ocaml
xaimus has joined #ocaml
thorsten` has joined #ocaml
zozozo has joined #ocaml
paddymahoney has joined #ocaml
rossberg_ has joined #ocaml
IbnFirnas has joined #ocaml
mal`` has joined #ocaml
esden has joined #ocaml
gereedy has joined #ocaml
tizoc has joined #ocaml
sgnb has joined #ocaml
hyPiRion has joined #ocaml
mrvn has joined #ocaml
fx has joined #ocaml
pollux has joined #ocaml
rs0 has joined #ocaml
rks` has joined #ocaml
maufred has joined #ocaml
__marius____ has joined #ocaml
jlouis has joined #ocaml
shallow has joined #ocaml
studybot_ has joined #ocaml
cdidd has joined #ocaml
meteo2 has joined #ocaml
Derander_ has joined #ocaml
companion_cube has joined #ocaml
icicled has joined #ocaml
mdenes2 has joined #ocaml
jzelinskie has joined #ocaml
olasd has joined #ocaml
bitbckt has joined #ocaml
adrien_oww has joined #ocaml
marky has joined #ocaml
iZsh has joined #ocaml
_JokerDoom has joined #ocaml
reynir has joined #ocaml
mcclurmc has joined #ocaml
steshaw has joined #ocaml
Snark has joined #ocaml
SethTisue_______ has joined #ocaml
ssbr has joined #ocaml
madroach has joined #ocaml
ohama has joined #ocaml
lopex has joined #ocaml
alinab has joined #ocaml
BiDOrD has joined #ocaml
gustav___ has joined #ocaml
PM has joined #ocaml
numeo has joined #ocaml
orbitz has joined #ocaml
amiller has joined #ocaml
Muzer has joined #ocaml
isomorph1smes has joined #ocaml
jave_ has joined #ocaml
petterw_ has joined #ocaml
gargawel_ has joined #ocaml
_twx_ has joined #ocaml
bjorkintosh has joined #ocaml
Drup has joined #ocaml
andreypopp has joined #ocaml
malo has joined #ocaml
samebchase has joined #ocaml
maurer has joined #ocaml
vbmithr has joined #ocaml
asmanur has joined #ocaml
flux has joined #ocaml
smondet has joined #ocaml
kerneis has joined #ocaml
squiggnet has joined #ocaml
tianon has joined #ocaml
darkf has joined #ocaml
jao has joined #ocaml
igitoor has joined #ocaml
teiresias has joined #ocaml
mbac has joined #ocaml
NoNNaN has joined #ocaml
ygrek has joined #ocaml
ktos has joined #ocaml
freling has joined #ocaml
Mandus has joined #ocaml
araujo has joined #ocaml
algoriddle has joined #ocaml
nox has joined #ocaml
lusory has joined #ocaml
seliopou has joined #ocaml
tchell has joined #ocaml
martintrojer has joined #ocaml
saarin has joined #ocaml
siddharthv_away has joined #ocaml
milosn has joined #ocaml
ggherdov has joined #ocaml
dant3 has joined #ocaml
acieroid has joined #ocaml
Antoine59 has joined #ocaml
cantstanya has joined #ocaml
cross has joined #ocaml
nicoo has joined #ocaml
weykent has joined #ocaml
jerith has joined #ocaml
Armael has joined #ocaml
pippijn has joined #ocaml
philtor_ has joined #ocaml
fraggle_ has joined #ocaml
binarybi1me has joined #ocaml
yastero has joined #ocaml
vincentbalat has joined #ocaml
SHODAN has joined #ocaml
struktured has joined #ocaml
contempt has joined #ocaml
middayc has joined #ocaml
baz__ has joined #ocaml
vpm has joined #ocaml
_2can has joined #ocaml
The_third_man has joined #ocaml
deavid has joined #ocaml
diethyl has joined #ocaml
Khady has joined #ocaml
ousado has joined #ocaml
macron has joined #ocaml
dinosaure has joined #ocaml
manizzle has joined #ocaml
testcocoon has joined #ocaml
_tca_ has joined #ocaml
_tca_ has quit [Changing host]
brendan has quit [Ping timeout: 245 seconds]
alexst has joined #ocaml
philtor_ has quit [Ping timeout: 260 seconds]
alexst has quit [Ping timeout: 240 seconds]
malo has quit [Remote host closed the connection]
contempt has quit [Changing host]
contempt has joined #ocaml
ivan\ has joined #ocaml
ivan\ has quit [Changing host]
johnnydiabetic has joined #ocaml
badon has joined #ocaml
ygrek is now known as Guest98386
tidren has joined #ocaml
brendan has joined #ocaml
penglingbo has joined #ocaml
divyanshu has joined #ocaml
johnnydiabetic has quit [Quit: Leaving]
alpounet has joined #ocaml
alpounet has quit [Ping timeout: 272 seconds]
ia0 has joined #ocaml
typedlambda has joined #ocaml
troydm has joined #ocaml
emias has joined #ocaml
joncfoo has joined #ocaml
<joncfoo> newb here. I'm trying to compile the following program: https://paste.ee/p/QMDdG with `corebuild -pkg safepass foo.ml` and it spits out errors like so https://paste.ee/p/D7oQH
<joncfoo> I've already install safepass via `opam install safepass` and have successfully accessed it in utop
<joncfoo> I've tried adding ;; after the open statement to no avail
<joncfoo> I'm sure I'm doing something really silly here. Please point it out :)
<Drup> joncfoo: module names start with a capital letters
<joncfoo> ah hah, thanks Drup !
<joncfoo> I changed "open safepass" to "open Bcrypt" and it compiles
<joncfoo> oddly the pkg name is still safepass
<Drup> package names and modules names are not related
<joncfoo> so it seems, that's something to remember
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
joncfoo has quit [Ping timeout: 260 seconds]
tidren has quit [Remote host closed the connection]
joncfoo has joined #ocaml
<joncfoo> in utop, is there a way to use the same `open` syntax instead of require?
<joncfoo> since `require` requires the library name but `open` refers to the module? name
<joncfoo> it's silly question I suppose considering one has to provide the pkg name to ocamlbuild (I see how this works I think)
alexst has joined #ocaml
<Drup> require is the equivalent of the pkg option, it's not related to open
<Drup> to do open in the top level, well, just do open :D
alexst has quit [Ping timeout: 240 seconds]
<Guest98386> same module may be present in several packages
<Guest98386> one package may provide several modules
<Guest98386> first case is rare, so theoretically ocamlfind-aware toplevel could scan the list of packages and figure out which one may contain the module to be opened
Guest98386 is now known as ygrek
ygrek is now known as Guest16260
<joncfoo> I tried to do `open Bcrypt` in utop but that failed
<joncfoo> `require "safelib"` works as expected and then I have access to Bcrypt.*
<joncfoo> `#require "safelib"`
tidren has joined #ocaml
<joncfoo> doing `open Bcrypt` gives "Error: Unbound module Bcrypt"
<joncfoo> not a big deal though
racycle has joined #ocaml
isBEKaml_mobile has joined #ocaml
<Drup> do the require first, then the open
manizzle has quit [Ping timeout: 240 seconds]
<joncfoo> is there a way to quickly browse the documentation of an installed library?
<joncfoo> some form of api docs?
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
<Drup> there is a tool called ocamlbrowser, installed by default, but the UI is not fantastic
tidren has quit [Remote host closed the connection]
<Drup> most packages upload their doc onlines too
<joncfoo> gotcha
<joncfoo> ocamlbrowser seems to be a gtk app
<joncfoo> I ended up finding docs on ocamlcity
<Drup> if you want a console thingy, there is ocp-browser, installed with ocp-index + curses
<Drup> but it's not very polished
<joncfoo> that would help!
<joncfoo> thanks
isBEKaml_mobile has quit [Quit: Bye]
alexst has joined #ocaml
Guest16260 has quit [Quit: Guest16260]
Guest16260 has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
joncfoo has quit [Ping timeout: 240 seconds]
divyanshu has quit [Ping timeout: 272 seconds]
_jak has joined #ocaml
_jak has quit [Client Quit]
manizzle has joined #ocaml
divyanshu has joined #ocaml
alpounet has joined #ocaml
divyanshu has quit [Client Quit]
alpounet has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
huza has joined #ocaml
<flux> wish more packages installed manual pages.
huza has quit [Quit: Mango IRC for iOS and OS X, http://mediaware.sk/mango]
huza has joined #ocaml
racycle has quit [Quit: ZZZzzz…]
huza has quit [Remote host closed the connection]
tidren has joined #ocaml
ggole has joined #ocaml
alexst has joined #ocaml
<orbitz> The memory representation section of RWO is always such a joy to read
philtor has quit [Ping timeout: 272 seconds]
alexst has quit [Ping timeout: 256 seconds]
Arsenik has joined #ocaml
tidren has quit [Remote host closed the connection]
__JokerDoom has joined #ocaml
_JokerDoom has quit [Ping timeout: 240 seconds]
Arsenik has quit [Ping timeout: 240 seconds]
Arsenik has joined #ocaml
Guest16260 has quit [Ping timeout: 256 seconds]
__JokerDoom has quit [Ping timeout: 255 seconds]
JokerDoom has joined #ocaml
badon_ has joined #ocaml
badon has quit [Ping timeout: 256 seconds]
mno0y has joined #ocaml
badon_ is now known as badon
alexst has joined #ocaml
alexst has quit [Ping timeout: 272 seconds]
yacks has quit [Ping timeout: 240 seconds]
Puffin has joined #ocaml
BitPuffin has quit [Ping timeout: 272 seconds]
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
Arsenik has quit [Remote host closed the connection]
Guest16260 has joined #ocaml
middayc has quit [Quit: Lost terminal]
tidren has joined #ocaml
cago has joined #ocaml
yacks has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
tidren has quit [Ping timeout: 240 seconds]
tidren has joined #ocaml
alexst has joined #ocaml
alpounet has joined #ocaml
alexst has quit [Ping timeout: 255 seconds]
jsvgoncalves has joined #ocaml
tidren has quit [Remote host closed the connection]
tidren has joined #ocaml
Simn has joined #ocaml
Kakadu has joined #ocaml
tidren has quit [Ping timeout: 240 seconds]
Arsenik has joined #ocaml
eikke__ has joined #ocaml
sagotch has joined #ocaml
q66 has joined #ocaml
AltGr has joined #ocaml
maattdd has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 260 seconds]
arquebus has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
ggole has joined #ocaml
axiles has joined #ocaml
jordjordjord has joined #ocaml
jsvgoncalves has quit [Ping timeout: 260 seconds]
Guest78461 is now known as johnelse
alexst has joined #ocaml
bacam_ is now known as bacam
alexst has quit [Ping timeout: 240 seconds]
Arsenik has quit [Remote host closed the connection]
arquebus has quit [Quit: Konversation terminated!]
_0xAX has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
avsm has joined #ocaml
maattdd has quit [Ping timeout: 264 seconds]
alexst has joined #ocaml
sagotch has quit [Remote host closed the connection]
alexst has quit [Ping timeout: 240 seconds]
Simn has quit [Read error: Connection reset by peer]
rand000 has joined #ocaml
Anarchos has joined #ocaml
dsheets has joined #ocaml
maattdd has joined #ocaml
avsm has quit [Quit: Leaving.]
skchrko has joined #ocaml
jludlam has joined #ocaml
_andre has joined #ocaml
elfring has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
studybot_ has quit [Ping timeout: 264 seconds]
maattdd has joined #ocaml
studybot_ has joined #ocaml
Guest16260 has quit [Ping timeout: 240 seconds]
maattdd has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
sagotch has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
Puffin has quit [Quit: See you on the dark side of the moon!]
ygrek has joined #ocaml
BitPuffin has joined #ocaml
joncfoo has joined #ocaml
jordjordjord has quit [Quit: Leaving...]
AltGr has left #ocaml [#ocaml]
AltGr has joined #ocaml
funbox has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
<funbox> Hi, is there a standard "string formatter" for using Format.fprintf to construct a string?
<funbox> Ah, Format.str_formatter! Sorry...
AltGr has left #ocaml [#ocaml]
AltGr has joined #ocaml
parcs has quit [Read error: Connection reset by peer]
<whitequark> Kakadu: um. why does lablqt depend on core_kernel? O_o
funbox has quit [Ping timeout: 246 seconds]
<BitPuffin> whitequark: why not?
<whitequark> "why yes?" is the question you ask yourself before introducing a dependency
<whitequark> especially such a huge and opinionated one
<BitPuffin> it's probably using core for something :P and wants to be portable
<BitPuffin> however
<BitPuffin> a bit strange
<BitPuffin> since qt isn't portable to all the places that core_kernel is
<whitequark> what?
<BitPuffin> qtquick
<whitequark> no. what you say doesn't make sense.
<BitPuffin> why not?
hhugo has joined #ocaml
<rks`> whitequark: the "why not?" could be a valid question as well
<rks`> one could assume that core_kernel is installed everywhere, so it's a "free" dependency
<Drup> (one would be wrong)
<rks`> (for the moment it would be)
<rks`> (doesn't mean it will always be the case)
alexst has joined #ocaml
<algoriddle> hello, newbie question: is there a way to go to the definition of a library function in Emacs? I have tuareg mode and merlin set up, but C-c C-l only navigates to functions defined in the current file, for everything else I get "Not found".
ustunozgur has joined #ocaml
<def`> algoriddle: you need cmt files
alexst has quit [Ping timeout: 245 seconds]
<companion_cube> how big is core_kernel, actually?
<companion_cube> I kind of recall it was still huge
<whitequark> it is
avsm has joined #ocaml
<algoriddle> def`: thanks for replying. I'm a new convert to OCaml, and I just followed the set up instructions of RWO. So the core library, for example, is installed with "opam install core". Can I/How do I generate these cmt files in this case?
avsm has quit [Client Quit]
<BitPuffin> good question
<BitPuffin> must be documented somewhere
<BitPuffin> i can't really be of much help as I don't use completion engines when I code
<whitequark> algoriddle: try doing export OCAMlPARAM="_,bin-annot=1"
<whitequark> and reinstalling the libraries
<whitequark> err OCAMLPARAM
<algoriddle> whitequark: thanks, I will give it a go.
<orbitz> companion_cube: the unfortunate thing about core is that it's design makes any thing in core being small unpossible :(
<orbitz> algoriddle: welcome to the fold!
<ggole> algoriddle: you'll need a .merlin, too
<BitPuffin> orbitz: how so?
<companion_cube> orbitz: yeah, I was afraid of that
<companion_cube> that's why I use my own nih library ;)
<algoriddle> orbitz: thanks, ggole: I got a simple .merlin from the RWO instructions, it's all Greek to me, but there's a line that says "PKG core". Is this what I need?
<ggole> You also need to tell it where your source is
<ggole> (Even if it is in the same directory.)
<def`> algoriddle: PKG core allows merlin to lookup Core interface, but not the implementation
<algoriddle> ggole: that, I assume is the line that says "S ."
<ggole> Yep
<rks`> ggole: "even if it is in the same directory" I don't think that is true
<ggole> For the released version of merlin it is
<ggole> That's changed in the upcoming one
<rks`> it was at some point, then it changed, but maybe it's that way again, i don't remember
<algoriddle> def`: I was afraid of that. so no way to navigate to the implementation, then?
<def`> algoriddle: if you find out how to make opam generate cmt files :P (I don't know how)
<def`> (rks`: did you manage to get cmt for core ?)
<rks`> never tried, but it won't be enough
<rks`> I mean, maybe you can get the compiler to generate cmt
<rks`> but opam won't install them
<rks`> it only installs cmi, cmx and mli files
<rks`> and you would need both the cmt and ml files to be installed as well
<ggole> Isn't there a tool for that?
<ggole> opamdoc or something
<rks`> I haven't followed opam's developpement for a while so there might be an option for that (ping AltGr), but I don't think so
<elfring> Would you like to help in the clarification for the application of a configurable comparison function?
ustunozgur has quit [Remote host closed the connection]
<algoriddle> ok, so it sounds like I might be better off just getting the sources to core or whatever library I'm interested it, and compile it without opam, correct?
<rks`> if you want to browse its sources yes
<joncfoo> could someone point me to a library for doing pbkdf2?
<rks`> but one could ask why you would want to do that
<rks`> algoriddle: isn't the documentation enough?
<algoriddle> rks`: ok, thanks. education
<rks`> oh well, in that case yes, just download the sources from github
<AltGr> each package is responsible for what it installs (cmis, cmts...)
<rks`> oh ok, so one would need to teach ocamlfind to install the ml and cmts as well?
<AltGr> there is an ongoing effort for opam-doc to gather cmts, but it can't automatically know which ones should be shared
<AltGr> dev opam has `opam source` to help you get the source too
<AltGr> a beta should be released early next week
<Drup> it's not ocamlfind job either, ocamlfind just take the list of file you gave him and put them somewhere
penglingbo has quit [Ping timeout: 255 seconds]
jludlam is now known as jonludlam
lostman has joined #ocaml
<orbitz> BitPuffin: The design of Core is such that module T contains within it implementation of all things i can be usd in, suc has map, hashtable, etc
<orbitz> BitPuffin: this makes it impossible to add noew things something can be contained in without breaking the convention of the rest of the libary.
<orbitz> BitPuffin: this is fine or Core since all things String can be contained in in Core is all things Jane St wants, but for the rest of us it makes an impedence mismatch
<Kakadu> whitequark: next release will not
<Kakadu> will not have this dependency
<orbitz> it also means it's imposisble to make an API compatible uCore implementation
joncfoo has quit [Ping timeout: 240 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
<whitequark> Kakadu: nice! thanks
<orbitz> Don't get me wrong, I think Core is great. It just has some aspects of it that are inherently unmodular
ustunozgur has joined #ocaml
<whitequark> Kakadu: do you possibly have any examples using QtOpenGL?
<Kakadu> whitequark: I need only to rewrite tutorial again, create OPAM package and make announce
<whitequark> I've been trying to make something work using lablgtk or lablqt since yesterday and it only resulted in frustration and sadness
<Kakadu> whitequark: I don't think that QtOpenGL suits lalblqt because it is more about QtQuick. It has some declarative ways to create OpenGL graphics but it is specific to QtQuick and declarative ( traditional Qt developers call it awkward but it has some advantages)
<whitequark> Kakadu: well how do I embed some GL inside a larger app?
<whitequark> or would you advise rewriting all the GUI in C++ simply because I need a GL widget?
<Kakadu> What do you want to create in the end and how complex OpenGL do you need?
<whitequark> a geometry processing system in OCaml and a simple display GUI
<whitequark> the GL code should be written in OCaml
cago has quit [Remote host closed the connection]
<Drup> whitequark: do you have issues with lablgtk ?
<whitequark> Drup: yes, it doesn't work
<adrien_oww> ?
<Drup> oh ?
<whitequark> the GtkGlArea doesn't get built
<whitequark> for some obscure reason
<whitequark> also gtk2 is outdated and I hate its API with a passion, but I could at least live with that
cago has joined #ocaml
<adrien_oww> "outdated", well
<adrien_oww> and gtkglarea, you have a couple deps
<Drup> I can't disagree with the last argument :]
<Drup> (for the rest, it should work, and you can hit adrien to make it work better)
<whitequark> adrien_oww: I installed lablgtk and lablgl
<Kakadu> I don't have this kind of examples at the moment. You can definitely embed OpenGL into QtQuick and paint something. And I don't see theoretical problems with calling openGL functions from OCaml as C++ does. But you should remember that I'm not very good at OpenGL and can be wrong
<Drup> whitequark: lablgtk is significantly more pleasant than gtk, though
<whitequark> Kakadu: could you please write a simple example that just embeds a GL widget? I'll even give you the necessary Gl code
<whitequark> I think it's a rather common use case
shinnya has joined #ocaml
<whitequark> it's in lablgtk's and tsdl's readme, too
<whitequark> Drup: not without merlin
<whitequark> and sublime-merlin right now is ... well pretty horrible
<Drup> regardless of merlin
<Drup> the api is just higher level in lablgtk,
<whitequark> the API is convoluted, the gtk docs themselves are pretty bad, and the need to navigate through two levels of API docs kills me
<Drup> it's a bit weird because it uses objects in ocaml, but that's all
<Kakadu> whitequark: ping me after 22:00 Msk nad I will try to run some magic
divyanshu has joined #ocaml
<whitequark> Kakadu: ok!
rand000 has quit [Quit: leaving]
alexst has joined #ocaml
chris2 has quit [Ping timeout: 256 seconds]
<whitequark> Gl is so painful -_-'
alexst has quit [Ping timeout: 245 seconds]
<NoNNaN> whitequark: what are you develop that's require GL ?
<whitequark> eventually I want to make a CAM
<Drup> a CAM ?
<whitequark> but so far I just want to play with NURBs and CSG to get an idea of whether I can even do it
<whitequark> Drup: Computer Aided Manufacturing, a thing that eats geometry and spits gcode
<whitequark> CAM processor
<Drup> oh, right
<whitequark> so I found http://evanw.github.io/csg.js/ yesterday and it's really damn simple
<whitequark> which inspired me to try to do it myself
chris2 has joined #ocaml
racycle has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
<NoNNaN> well, cad software could be horrible difficult
<whitequark> not making a CAD, no.
racycle has quit [Client Quit]
alexst has joined #ocaml
<whitequark> CAM is much much simpler, in fact the library which gives rather satisfying results could be 2kloc or so if it was written in a sane way
<whitequark> (the way it's written now is that it has three Vertex classes. you guess the rest)
<NoNNaN> but the basics is simple, just like the math basics is simple
<whitequark> I'm hoping that I can take advantage of Vg, gsl-ocaml, and a better language to simplify the job somewhat
<whitequark> it will be faster than PyCAM anyway ^_^
divyanshu has quit [Quit: Computer has gone to sleep.]
tane has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
darkf has quit [Quit: Leaving]
ustunozgur has joined #ocaml
ddosia has quit [Quit: Leaving.]
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
penglingbo has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
Eyyub has joined #ocaml
slash^ has joined #ocaml
ustunozgur has quit [Read error: Connection reset by peer]
ustunozgur has joined #ocaml
Eyyub has quit [Ping timeout: 240 seconds]
sgnb has quit [Read error: Connection reset by peer]
<kerneis> "What happens if I do [@@@ syntax "ppx_loader"] ?" :-D
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
<Drup> (I do agree I would prefer some simple tool to detect pragmas at the beginning of the file, like in haskell)
<whitequark> open%ppx ?
<Drup> by pargma, I mean in general
<whitequark> sure
<whitequark> open%ppx Protobuf(No_debug)
<Drup> ppx, warnings, warn error, options like -safe-string, ...
<whitequark> oh, I see
<companion_cube> would be nice indeed
<whitequark> I'm not sure, I liked the lack of pragmas, includes, requires, and other pragmas coming from C/Ruby
<Drup> whitequark: defining warnings of a file basis currently is kind of pain, it wouldn't hurt to make it easier
<whitequark> why would you want to do that?
<Drup> (and it would make it build tool agnostic, which would be nice)
<companion_cube> whitequark: setting rectypes? inlining level? warnings?
eikke__ has quit [Ping timeout: 240 seconds]
<whitequark> on a per-file basis, that is
<whitequark> well. I suppose it would be nice to have a last-resort option for specifying compiler flags inside the file
<whitequark> [@@@ocaml.flags "-rectypes"]
skchrko has quit [Remote host closed the connection]
<Drup> (note that I think there is something like that for warnings in 4.02)
<whitequark> yes, Alain added it
<whitequark> e.g. [@@@ocaml.warning "+9"]
<Drup> I have seen more terse annotations.
<whitequark> [@@@warning "+9"] is an alias.
johnelse has quit [Quit: Lost terminal]
<Drup> =)
johnelse has joined #ocaml
divyanshu has joined #ocaml
avsm has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
ustunozgur has joined #ocaml
<flux> what is this trickery?
<flux> one can set compiler flags inside the file to be compiled?
<flux> or is that something the build system reads
<whitequark> well, it's possible for warnings, it should be possible for other things
<whitequark> really it would work for any flags that don't touch the parser
<whitequark> i.e... all of them?
<companion_cube> ppx_load looks pretty nice
<companion_cube> anything that simplifies the build would be
<Drup> whitequark: except -unsafe
<whitequark> Alain already had ppx_driver
<def`> whitequark: you can't selectively allow rectypes
<Drup> (yes, the -unsafe change is during parsing)
<whitequark> perhaps you could reparse. but it's eww.
<Drup> there are probably other, but I don't know them
sagotch has quit [Remote host closed the connection]
<def`> or change the design so that unsafe is processed later and no longer relies on atricious tricks :P
<Drup> def`: don't be too revolutionnary
<def`> atrocious*
<def`> Drup: :D ?
<Drup> :3
<Drup> ahahah
<Drup> whitequark: I think you just made dbunzli's brain explode
<adrien> hahaha
_0xAX has quit [Quit: Leaving]
philtor_ has joined #ocaml
<adrien_oww> but rectypes is probably a bad example
<axiles> whitequark: even though, I have not much tested the GLview widget, you might want to consider ocaml-efl
<flux> soo, what's ppx_loader that's mentioned in the mailing list?
<Drup> flux: a ppx to load ppxs
<flux> ocaml ppx_loader, google 0 hits!
<axiles> but you'll still have to switch between the OCaml documentation and the C documentation
<adrien> it's not a huge issue in practice though
<Drup> at least, efl C API is not too terrible
<adrien> both are fairly simple to understand
<whitequark> axiles: could I do a simple app with a toolbar, a few edit boxes, a few menus in efl?
<axiles> whitequark: it can be done
<Drup> (this progress bar is so fancy)
<whitequark> axiles: how does efl compare to gtk/qt for GUIs?
<whitequark> I never even touched it
<adrien> compare on which points?
<Drup> whitequark: it's non-bullshit oriented, mostly
<adrien> (and look at my cute video)
<companion_cube> so how did you do that adrien ?
<companion_cube> (it's pretty indeed)
<def`> whitequark: but the default theme is uglier than anything ever done on gtk, though a bit fancier
<whitequark> adrien: video doesn't work for me
<adrien> companion_cube: I took my small hands and ...
<adrien> whitequark: mplayer/cvlc it
<adrien> h264
<whitequark> adrien: wow, that looks like mid-2000 xp adware themes
<Drup> so fancy :D
<whitequark> adrien: well uh... portability, nativeness
<whitequark> being able to use system themes is quite important
<axiles> whitequark: I would say that Elementary (the widget part) is still a bit young
<adrien> (hold on)
<def`> whitequark: then you have no solution with ocaml ;)
<def`> (or maybe the wx bindings by ocamlpro… I don't know what happened of it)
<Drup> come on, there is wxWidgets !
<whitequark> def`: qt works pretty well
<axiles> well, it is native if you're using Enlightenment WM
<Drup> it's totally not vaporware !
<whitequark> def`: though I'm not sure about OS X
<def`> whitequark: I thought lablqt only implemented qml
<whitequark> so?
<whitequark> I'm ok with qml
<def`> Last time I checked the look'n'feel was less native than qt widgets
<whitequark> I think qml is just a frontend to the same widgets
<def`> (But to answer your question, Qt is nice on Os X)
<whitequark> designed to ease interoperability with non-C++
<whitequark> like, it's very hard to inherit a C++ class in Ruby, although moc almost makes that possible
<adrien> whitequark: so, yeah, theme isn't native currently
<adrien> whitequark: I believe it's not a huge issue for the EFLs unlike for GTK+
<adrien> mostly because the theme isn't ugly
<whitequark> I find GTK+ theme OK
<whitequark> I mean, not any more ugly than whatever in that video
<adrien> the main issue is that on Windows (and actually Mac OS X), people really don't want GTK+/EFL filechosers
<adrien> as far as I'm concerned, I'll write 3 lines of C in yypkg in order to use explorer's on windows
<adrien> whitequark: GTK+' theme looks native on Windows 8.1 actually
<def`> adrien: I don't want them on linux too :'
<adrien> makes sense considering Win 8.1 looks like Win 3.1
<adrien> def`: but you have no choice there ;p
<adrien> def`: iirc QML didn't provide the usual widgets but that was over a year ago and I'm fairly sure this has changed
<def`> adrien: if only it could just open a terminal instead of their awful dialogs
<def`> adrien: ok, nice to know, thanks
<adrien> :D
<freling> QML didn't expose "widgets" at first, but then they introduced "desktop components"
<freling> widgets written in QML, a bit of code is shared
yacks has quit [Ping timeout: 240 seconds]
<whitequark> I think QML or something like that is really a good way forward
<whitequark> not perfect, but given the desire for code reuse--would probably be harder to make something better.
<freling> it's always tricky to look native on all platform with the same codebase
<whitequark> no, I mean more the JavaScript part
<whitequark> the C++ interface was really not usable from other languages
shinnya has quit [Ping timeout: 240 seconds]
<whitequark> you could kinda make it work, but it was truly terrible
philtor_ has quit [Ping timeout: 245 seconds]
<freling> ah, I'm not a fan of JS but it's quite pragmatic, and very quick to prototype
<whitequark> with QML, you basically have a backend and frontend
<freling> the Qt flavor of C++ was a beast in itself, with moc and all
<whitequark> well, I would prefer the language to be different, but frankly, it is not *that* bad. it's pretty efficient today, and you can live with JS
<Drup> (did someone try to do something with js_of_ocaml ? :D)
<companion_cube> it's weird how now I perceive "pragmatic", applied to a language, as a strong criticism
alexst has joined #ocaml
<freling> :D that was my intention
<companion_cube> it's always used in a context like "foobar sucks, but it's very pragmatic (because one can still painfully write code in it)'
<whitequark> I mean, suppose we put something like Scheme or Lua there (assuming untypedness), it wouldn't be much less or more efficient
<whitequark> companion_cube: more "because we can ship it and people would actually use it"
<freling> yes, and there already was a JS engine in Qt with the WebKit prot
<freling> port*
<freling> so people were familiar with the runtime
<adrien> and it tooks lots of time to startup
<companion_cube> people would actually use pretty much anything :D
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
yacks has joined #ocaml
mno0y has quit [Remote host closed the connection]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
AltGr has left #ocaml [#ocaml]
ontologiae_ has joined #ocaml
ebzzry has quit [Remote host closed the connection]
racycle has joined #ocaml
ontologiae_ has quit [Ping timeout: 255 seconds]
hhugo has quit [Quit: Leaving.]
ontologiae_ has joined #ocaml
hhugo has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
martintrojer has quit [Ping timeout: 240 seconds]
slash^ has quit [Read error: Connection reset by peer]
jonludlam has quit [Ping timeout: 240 seconds]
martintrojer has joined #ocaml
alexst has joined #ocaml
BitPuffin has quit [Quit: See you on the dark side of the moon!]
BitPuffin has joined #ocaml
jwatzman|work has joined #ocaml
jwatzman|work has quit [Client Quit]
jwatzman|work has joined #ocaml
alpounet has quit [Remote host closed the connection]
alpounet has joined #ocaml
alexst has quit [Ping timeout: 264 seconds]
alpounet has quit [Ping timeout: 256 seconds]
yacks has joined #ocaml
Eyyub has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
no0y has joined #ocaml
olauzon has joined #ocaml
ustunozgur has quit [Remote host closed the connection]
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
robink has quit [Changing host]
robink has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
jao` has joined #ocaml
squiggnet_ has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
hhugo1 has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
smondet_ has joined #ocaml
mbac_ has joined #ocaml
milosn_ has joined #ocaml
binarybitme has joined #ocaml
gargawel has joined #ocaml
pippijn_ has joined #ocaml
ustunozgur has joined #ocaml
ktoss has joined #ocaml
siddhart1v_away has joined #ocaml
hhugo has quit [*.net *.split]
jao has quit [*.net *.split]
pippijn has quit [*.net *.split]
SHODAN has quit [*.net *.split]
Armael has quit [*.net *.split]
araujo has quit [*.net *.split]
samebchase has quit [*.net *.split]
milosn has quit [*.net *.split]
ktos has quit [*.net *.split]
cross has quit [*.net *.split]
binarybi1me has quit [*.net *.split]
gargawel_ has quit [*.net *.split]
mbac has quit [*.net *.split]
squiggnet has quit [*.net *.split]
siddharthv_away has quit [*.net *.split]
nicoo has quit [*.net *.split]
seliopou has quit [*.net *.split]
smondet has quit [*.net *.split]
seliopou has joined #ocaml
SHODAN has joined #ocaml
samebchase has joined #ocaml
nicoo has joined #ocaml
penglingbo has quit [Ping timeout: 240 seconds]
WraithM has joined #ocaml
cross has joined #ocaml
araujo has joined #ocaml
ustunozgur has quit [Ping timeout: 264 seconds]
Armael has joined #ocaml
hhugo1 has quit [Quit: Leaving.]
<whitequark> wow, the pretty-printer for Gg.M4 is indeed pretty
<Drup> fancy utf8 ?
<whitequark> not really
<whitequark> take a look yourself
hhugo has joined #ocaml
ustunozgur has joined #ocaml
<Anarchos> whitequark where ?
<whitequark> Anarchos: hm?
<whitequark> #require "gg";; #require "gg.top";; M4.zero;;
<Anarchos> where to look at the Gg.M4 pretty printer
hhugo has quit [Quit: Leaving.]
Kakadu has quit [Quit: Page closed]
* whitequark just converted 60 lines of Java into five files of OCaml
<whitequark> five lines*
<NoNNaN> what happened with the ocamljava project, especially the v2.0?
ustunozgur has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
cago has quit [Quit: cago]
<ousado> is anyone here interested in minix3?
jordjordjord has joined #ocaml
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
philtor has joined #ocaml
boogie has joined #ocaml
philtor_ has joined #ocaml
Kakadu has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ustunozgur has joined #ocaml
<hnrgrgr> NoNNaN: Still under development. I was told, it should be published with a free license and on github soon.
badon_ has joined #ocaml
badon has quit [Ping timeout: 240 seconds]
badon_ is now known as badon
ustunozgur has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
alexst has quit [Ping timeout: 240 seconds]
alexst has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<orbitz> Anyone know if it's possible to do cancelable timers in Async? Other than having the timer check if it should run again in itself
shinnya has joined #ocaml
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
BitPuffin has joined #ocaml
<mbac_> orbitz, you could use a Deferred.enabled with two choices, one is the Clock.after, and the other is a deferred that you can fill (via the ivar) to cancel the timer
axiles has quit [Remote host closed the connection]
<mbac_> or maybe you meant a repeating timer. Clock.every has a deferred you can fill to stop the sequence
mbac_ is now known as mbac
tnguyen has joined #ocaml
tnguyen has quit [Client Quit]
alexst has quit [Ping timeout: 264 seconds]
<icicled> does order of `open` statements matter?
<whitequark> yes
<icicled> that was a hard lesson
<icicled> what are the rules around it?
<adrien> last man standing wins
alexst has joined #ocaml
<adrien> errr
<adrien> last one wins
ustunozgur has joined #ocaml
<icicled> I don't get it
<orbitz> mbac: ahh nice thanks
<Kakadu> whitequark: I'm ready for your OpenGL stuff
<def`> icicled: the rules are that "open" is just a statement with effects on the scope, effects are applied in order
<Kakadu> whitequark: I need some tips how OpenGL stuff should look like in OCaml
<icicled> got it, is there a way to have to compiler tell you that scopes are being affected? i.e. I had `open Core.Std` followed by `open Cryptokit` but then Random.self_init could not be bound
<whitequark> Kakadu: so the idea that you have two events, "configure" and "draw" that are provided by the widget
<icicled> when I flipped the order then Random.self_init () worked
<whitequark> in the simplest case
<def`> icicled: hmmm order of what?
<Kakadu> whitequark: I have `draw` already
<whitequark> Kakadu: so I have an example here: https://github.com/whitequark/drahtgitter
<whitequark> the glsetup/glresize is for "configure"
<whitequark> the gldraw function is the one that draws.
Submarine has quit [Remote host closed the connection]
<icicled> but if I flip the open statements around it compiles fine
ustunozgur has quit [Ping timeout: 240 seconds]
<Kakadu> Cryptokit has its own Random module?
_andre has quit [Quit: leaving]
<def`> Kakadu: yes :)
<def`> icicled: open Cryptokit shadows the Random name by its own module ( http://docs.camlcity.org/docs/godipkg/4.00/godi-cryptokit/doc/godi-cryptokit/html/Cryptokit.Random.html )
<icicled> ah!
<icicled> that's slightly confusing for a newb :)
<icicled> is there a compiler flag that will spit out warnings when modules are being shadowed?
<Drup> yes
<Drup> (I don't remember wich warning it's, you will have to look up the manual)
<def`> if it is shadowing an local definitions, warnings 44 and 45 will do the work, but coming from other open, I don't know
<icicled> thanks! I'll have a look
<samebchase> What's the best way to sort a string?
<samebchase> List.to_string ~f:Char.to_string (List.sort ~cmp:Char.compare (String.to_list "asldfjasdf")) gives me : - : string = "(a a d d f f j l s s)"
<samebchase> where are the brackets and the spaces coming from?
<companion_cube> List.to_string must be a printing function
<samebchase> okay. To pretty print a list basically?
<companion_cube> yes
<companion_cube> icicled: please don't use "open" so much :/
<samebchase> so I use something like fold ?
<companion_cube> is there String.of_list?
<companion_cube> since there's String.to_list
<samebchase> core has a String.of_char_list
<samebchase> cool
axiles has joined #ocaml
<Drup> (I would go through an array to sort, not a list)
divyanshu has quit [Quit: Textual IRC Client: www.textualapp.com]
<samebchase> Drup: ah. makes sense. I'll do that.
<Drup> especially since it's going to be an int array, it will be super fast :p
alpounet has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
<ggole> In the true OCaml, strings would simply be char arrays.
<def`> Drup: well,if you want to be fast, just count occurences of characters :P
<companion_cube> and take 4 times as much room?
<companion_cube> def` is right, radix sort is better
<ggole> Of course not, they'd be nicely specialized
<companion_cube> oh.
<companion_cube> a language with specialization.
<samebchase> I've been able to sort the char array, but I'm not able to find any fns that can get me back the string
<def`> Array.to_list =)
<ggole> The language wouldn't need to change, only the implementation.
<companion_cube> the language would need a construct to express specialization
<ggole> Yeah, type application :)
alpounet has quit [Ping timeout: 264 seconds]
<Drup> samebchase: I don't see any, but you should be able to create your own easily
<Drup> ggole: as long as it's char array and not char list
* Drup looks at haskell funnily
<ggole> Hell no, we're not Haskell
<samebchase> Array.to_list and then String.of_char_list
<icicled> companion_cube, what else should I be using?
<Drup> samebchase: or just write a simple for loop :3
<ggole> You could just iter the array stuffing each element into a Buffer
<companion_cube> icicled: qualified names?
<Drup> ggole: don't even need a buffer, you know the size
<companion_cube> or module C = Cryptokit
<ggole> Er, of course
<companion_cube> short, readable
<samebchase> String.create <size> and then a simple for loop with a String.set ?
<companion_cube> Array.iteri (fun i c -> str.[i] <- c) array
<icicled> ah, ok!
<icicled> still wrapping my head around the syntax
<samebchase> companion_cube: thanks!
<ggole> That's basically sugar for String.set, so your instinct was good
<samebchase> http://hastebin.com/oledicabut.hs : is what I came up with
<ggole> Why String.copy?
<ggole> I guess it works, but it is a bit unclear because you don't actually want a copy of the string
<samebchase> without String.copy is it destructive
ustunozgur has joined #ocaml
<samebchase> s/is it/it is/
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<ggole> You would usually use String.create/make
<samebchase> okay so that let binding is kinda like a 'reference' (C++) to the original one, I initially assumed it would make a copy, and then when I found out it is destructive, I tried writing a non-destructive one
<samebchase> ggole: oh.
<def`> companion_cube: your iteri is wrong ?!
<companion_cube> ?
<def`> companion_cube: ahh pff, i thought you were talking about radix sort :D never mind
<samebchase> ggole: yeah using those would make the intent clear
<ggole> It might even be a bit more efficient, not that it matters there.
philtor_ has joined #ocaml
olauzon has quit [Quit: olauzon]
ustunozgur has quit [Ping timeout: 264 seconds]
tane has quit [Quit: Verlassend]
ggole has quit []
jprakash has joined #ocaml
alpounet has joined #ocaml
jabesed has joined #ocaml
lostman has quit [Quit: Connection closed for inactivity]
icicled has quit [Quit: Leaving]
Kakadu has quit [Quit: Konversation terminated!]
tnguyen has joined #ocaml
ustunozgur has joined #ocaml
jordjordjord has quit [Ping timeout: 240 seconds]
jabesed has quit [Quit: Konversation terminated!]
ustunozgur has quit [Ping timeout: 240 seconds]
jordjordjord has joined #ocaml
Haudegen has joined #ocaml
avsm has joined #ocaml
ontologiae_ has quit [Ping timeout: 245 seconds]
ustunozgur has joined #ocaml
joncfoo has joined #ocaml
joncfoo has quit [Client Quit]
alpounet has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
jwatzman|work has joined #ocaml
darkf has joined #ocaml
ustunozgur has quit [Ping timeout: 240 seconds]
jao` is now known as jao
avsm has quit [Quit: Leaving.]
demonimin_ has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 245 seconds]
demonimin has joined #ocaml
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
avsm has joined #ocaml
avsm has quit [Client Quit]