flux 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.03.0 announced http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
sh0t has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
LACampbell has joined #ocaml
<LACampbell> I've gotten my opam stuff into a bit of a mess... I installed a bunch of stuff as root. and then I nstalled utop without campl4 support and it can't parse normal ocaml files anymore. I'm also pretty sure I had to install the latest ocaml as root.
dsheets has joined #ocaml
LACampbell_ has joined #ocaml
LACampbell_ has quit [Client Quit]
dsheets has quit [Ping timeout: 250 seconds]
LACampbell has quit [Ping timeout: 260 seconds]
A19774941 has quit [Remote host closed the connection]
connorjacobsen has quit [Remote host closed the connection]
gabrielmc has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
kushal has quit [Quit: Leaving]
sz0 has quit [Quit: Connection closed for inactivity]
walter|r has joined #ocaml
walter|r has quit [Remote host closed the connection]
zRecursive has joined #ocaml
walter|r has joined #ocaml
cdidd has quit [Remote host closed the connection]
LACampbell has joined #ocaml
<LACampbell> why does the latest version of opam start compiling an old compiler? it installs 4.02.1,,, immediately I am just going to go opam switch 4.03.0
dsheets has joined #ocaml
* zRecursive I still cannot run the npam.exe built by myself, which reports "# opam-version 2.0~alpha (ce8605e0572335beb7f9ae04713c9cc8048cf707) \n# os win32"
<zRecursive> c:\msys32\mingw32\bin\opam.exe: "create_process" failed on /bin/sh: No such file or directory
Algebr` has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 250 seconds]
walter|r has quit [Remote host closed the connection]
cdidd has joined #ocaml
Sorella has joined #ocaml
connorjacobsen has joined #ocaml
gabrielmc has joined #ocaml
FreeBirdLjj has joined #ocaml
connorjacobsen has quit [Ping timeout: 272 seconds]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
two_wheels has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
<Algebr`> Why do external identifiers have to be functions?
<Algebr`> Why can't I do external foo : string = "foo_stub"
gabrielmc has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zRecursive has quit [Remote host closed the connection]
LACampbell has left #ocaml ["Ex-Chat"]
nore has quit [Ping timeout: 260 seconds]
scarygelatin has joined #ocaml
The_Mad_Pirate has quit [Read error: Connection reset by peer]
The_Mad_Pirate has joined #ocaml
Jaxan has quit [Quit: No Ping reply in 180 seconds.]
ousado has quit [Ping timeout: 260 seconds]
Jaxan has joined #ocaml
nore has joined #ocaml
ousado has joined #ocaml
dsheets has joined #ocaml
sh0t has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 250 seconds]
jonasen has joined #ocaml
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
slash^ has joined #ocaml
two_wheels has joined #ocaml
struk|desk has joined #ocaml
rgrinberg has joined #ocaml
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 272 seconds]
gabrielmc has joined #ocaml
Bahman has joined #ocaml
MercurialAlchemi has joined #ocaml
zRecursive has joined #ocaml
The_Mad_Pirate has quit [Quit: Konversation terminated!]
pierpa has quit [Ping timeout: 276 seconds]
connorjacobsen has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
connorjacobsen has quit [Ping timeout: 272 seconds]
gabrielmc has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<flux> well, it would be very difficult to arrange so that that string would be in ocaml heap, but I guess it wouldn't matter (it would matter for other kinds of objects)
<flux> perhaps you can propose a change to allow that :)
<flux> it would regardless be a special case to allow that. external foo : 'a -> 'a = "foo_stub" doesn't just bring the symbol in, it creates a function with certain kind of calling convention?
dsheets has joined #ocaml
A1977494 has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
A1977494 has quit [Client Quit]
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
A1977494 has joined #ocaml
clog has quit [Ping timeout: 246 seconds]
clog has joined #ocaml
jonasen has joined #ocaml
StrykerKKD has joined #ocaml
StrykerKKD has quit [Quit: Konversation terminated!]
Simn has joined #ocaml
silver has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
mcc has quit [Quit: Connection closed for inactivity]
ygrek has joined #ocaml
zRecursive has quit [Remote host closed the connection]
Algebr` has quit [Ping timeout: 260 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
gl has joined #ocaml
gabrielmc has joined #ocaml
connorjacobsen has joined #ocaml
connorjacobsen has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 272 seconds]
darkf has quit [Quit: Leaving]
sz0 has joined #ocaml
_whitelogger_ has joined #ocaml
sfri_ has joined #ocaml
simn__ has joined #ocaml
jrslepak_ has joined #ocaml
al-maisan_ has joined #ocaml
mrvn_ has joined #ocaml
ousado has quit [Ping timeout: 260 seconds]
lokien has quit [Ping timeout: 260 seconds]
alpen- has quit [Ping timeout: 260 seconds]
dch has quit [Ping timeout: 260 seconds]
RomanZ5 has quit [Ping timeout: 260 seconds]
Jaxan has quit [Ping timeout: 260 seconds]
_whitelogger has quit [Ping timeout: 260 seconds]
jkni has quit [Ping timeout: 260 seconds]
sfri has quit [Ping timeout: 260 seconds]
deavid has quit [Ping timeout: 260 seconds]
M-Illandan has quit [Ping timeout: 260 seconds]
Simn has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 260 seconds]
clog has quit [Ping timeout: 260 seconds]
jave has quit [Ping timeout: 260 seconds]
al-maisan has quit [Ping timeout: 260 seconds]
riveter has quit [Ping timeout: 260 seconds]
Madars has quit [Ping timeout: 260 seconds]
jknick has quit [Ping timeout: 260 seconds]
luzie has quit [Ping timeout: 260 seconds]
jrslepak has quit [Ping timeout: 260 seconds]
bbc has quit [Ping timeout: 260 seconds]
mrvn has quit [Remote host closed the connection]
igitoor has quit [Remote host closed the connection]
Algebr has quit [Ping timeout: 260 seconds]
Sim_n has quit [Ping timeout: 264 seconds]
riveter has joined #ocaml
jkni_ is now known as jkni
Guest31006 has joined #ocaml
igitoor has joined #ocaml
jave has joined #ocaml
lokien has joined #ocaml
dch_ is now known as dch
M-Illandan has joined #ocaml
alpen has joined #ocaml
luzie has joined #ocaml
jyc_ has quit [Ping timeout: 260 seconds]
jknick has joined #ocaml
jyc_ has joined #ocaml
gabrielmc has quit [Ping timeout: 260 seconds]
octopus has quit [Ping timeout: 260 seconds]
danieli_ has quit [Ping timeout: 260 seconds]
SIGILL has quit [Ping timeout: 260 seconds]
bbc has joined #ocaml
octopus has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
danieli has joined #ocaml
fraggle_ has joined #ocaml
clog has joined #ocaml
orbifx-m2 has joined #ocaml
orbifx-m has quit [Ping timeout: 240 seconds]
dsheets has joined #ocaml
TheLemonMan has joined #ocaml
SIGILL has joined #ocaml
mettekou has quit [Read error: Connection reset by peer]
orbifx-m2 has quit [Ping timeout: 260 seconds]
danieli has quit [Changing host]
danieli has joined #ocaml
orbifx-m has joined #ocaml
saruta has quit [Ping timeout: 264 seconds]
|meta has joined #ocaml
ousado has joined #ocaml
gl has left #ocaml [#ocaml]
|meta is now known as |sir
saruta has joined #ocaml
tane has joined #ocaml
dsheets has quit [Remote host closed the connection]
bbc has quit [Ping timeout: 260 seconds]
bbc has joined #ocaml
sdothum has joined #ocaml
ygrek has joined #ocaml
dsheets has joined #ocaml
orbifx-m2 has joined #ocaml
orbifx-m has quit [Ping timeout: 276 seconds]
dsheets has quit [Ping timeout: 272 seconds]
orbifx-m has joined #ocaml
orbifx-m2 has quit [Ping timeout: 272 seconds]
orbifx-m has quit [Quit: AtomicIRC: The nuclear option.]
darxun has left #ocaml ["Leaving"]
mrvn_ is now known as mrvn
orbifx-m has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
jrslepak_ is now known as jrslepak
connorjacobsen has joined #ocaml
connorjacobsen has quit [Ping timeout: 250 seconds]
silver has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 276 seconds]
sh0t has joined #ocaml
dsheets has joined #ocaml
orbifx-m2 has joined #ocaml
orbifx-m has quit [Read error: Connection reset by peer]
orbifx-m has joined #ocaml
dsheets has quit [Ping timeout: 276 seconds]
orbifx-m2 has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
pierpa has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
Bahman has quit [Quit: ave atque vale]
two_wheels has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
mbrock has joined #ocaml
|sir is now known as |2701
orbifx-m2 has joined #ocaml
orbifx-m has quit [Read error: Connection reset by peer]
orbifx-m3 has joined #ocaml
orbifx-m2 has quit [Ping timeout: 244 seconds]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
orbifx-m3 has quit [Ping timeout: 240 seconds]
malc_ has joined #ocaml
rgrinberg has quit [Ping timeout: 252 seconds]
orbifx-m has joined #ocaml
unbalancedparen has joined #ocaml
ygrek has joined #ocaml
Sorella has joined #ocaml
orbifx-m has quit [Ping timeout: 240 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
orbifx-m has joined #ocaml
Nahra has quit [Remote host closed the connection]
two_wheels has joined #ocaml
fedruantine has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Nahra has joined #ocaml
kolko has quit [Ping timeout: 276 seconds]
yunxing_ has joined #ocaml
yunxing_ has quit [Client Quit]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
kolko has joined #ocaml
simn__ has quit [Read error: Connection reset by peer]
Algebr`` has joined #ocaml
Algebr`` has quit [Remote host closed the connection]
Algebr has joined #ocaml
two_wheels has joined #ocaml
connorjacobsen has joined #ocaml
tane has quit [Ping timeout: 244 seconds]
connorjacobsen has quit [Ping timeout: 250 seconds]
|2701 has quit [Quit: Connection closed for inactivity]
shinnya has quit [Ping timeout: 246 seconds]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Sorella has quit [Quit: Connection closed for inactivity]
orbifx-m2 has joined #ocaml
orbifx-m has quit [Ping timeout: 240 seconds]
orbifx-m2 has quit [Ping timeout: 276 seconds]
demonimin_ has quit [Quit: No Ping reply in 180 seconds.]
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
demonimin has joined #ocaml
copy` has joined #ocaml
TheLemonMan has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
tautologico has quit [Quit: Connection closed for inactivity]
dsheets has joined #ocaml
darkf has joined #ocaml
fedruantine has quit [Quit: ZNC 1.7.x-nightly-20160225-9b31a077 - http://znc.in]
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
<MercurialAlchemi> companion_cube: I see qcheck is now merged in qtest
<MercurialAlchemi> however, the doc of qtest only talks about using tests in coments
<MercurialAlchemi> comments, even
<companion_cube> https://github.com/vincent-hugot/iTeML/blob/master/README.adoc#qcheck-the-library <-- no, you can still use the library independently
<MercurialAlchemi> yeah, I've seen that
<MercurialAlchemi> is this going to keep being supported in the future?
<companion_cube> as long as qtest is supported, yes
<MercurialAlchemi> ok
orbifx-m has joined #ocaml
dsheets has quit [Remote host closed the connection]
<MercurialAlchemi> though the linked doc doesn't seem quite up to date
<MercurialAlchemi> (eg, int_range has name parameters according to merlin which are not in the doc)
<companion_cube> it doesn't have named parameters for me, not on qtest 2.2
<MercurialAlchemi> ah, you may be right, I see I had an older version
<MercurialAlchemi> (though named parameters are nice :) )
regnat has quit [Ping timeout: 276 seconds]
tautologico has joined #ocaml
<MercurialAlchemi> no 'bracket' equivalent in qcheck?
Simn has joined #ocaml
<companion_cube> hmmm, no
<companion_cube> it's really for random testing, I never felt the urge for setup/teardown
<MercurialAlchemi> I want to do random testing with a database :)
<companion_cube> oh my
<companion_cube> well, PR welcome
<MercurialAlchemi> let me first see how practical that is, it's my first contact with quickcheck-likes
<MercurialAlchemi> I see I'm going to miss syntax for generating records if I need to use that for something more complex, but given the nature of ocaml, I guess it would need ppx
<companion_cube> you mean for the DB interface?
<MercurialAlchemi> no, I'm thinking in general
<MercurialAlchemi> my paid-for code is mostly Typescript, these days, with complex records
<companion_cube> ah you mean generating random records
<MercurialAlchemi> yeah
<companion_cube> well yeah, I wanted to do a ppx_deriving_random at some point, but never finished it
<MercurialAlchemi> :)
<MercurialAlchemi> but even with that, it'd be tricky
<MercurialAlchemi> because what I'd imagine would be like "write a test for the good path, and then take the 'good path' arbitrary and change parts of it to test the bad paths"
<MercurialAlchemi> (as opposed to copying it each time)
regnat has joined #ocaml
<companion_cube> hmmm if you want custom generators (that make good test cases), probably
<MercurialAlchemi> it would a billion times easier on the eye than traditional unit tests
Simn has quit [Quit: Leaving]
dakk has joined #ocaml
regnat has quit [Ping timeout: 276 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
mcc has joined #ocaml
khodzha1 has joined #ocaml
<khodzha1> hello everyone, is there a function in ocaml to call passed function n times (like n.times{puts "hello"} in ruby)?
khodzha has joined #ocaml
<khodzha> //help
regnat has joined #ocaml
<MercurialAlchemi> there is a for loop
dsheets has joined #ocaml
<Algebr> let f g n = for i = 0 to n do g () done
<khodzha> thanks
<malc_> Algebr: go pred n or n - 1 not n
<malc_> i suppose
<malc_> s;go;to
<mrvn> let rec f g = function 0 -> () | n -> g (); f g (n - 1)
<mrvn> although putting n before g sounds more usefull. So you can do: let twice = f 2
<TheLemonMan> is an updated version of RWO on the radar ?
<Algebr> yes
<TheLemonMan> is an approximative date available too ?
<Algebr> I don't know that.
ygrek has quit [Ping timeout: 264 seconds]
al-maisan_ is now known as al-maisan
two_wheels has joined #ocaml
al-maisan has quit [Changing host]
al-maisan has joined #ocaml
dsheets has quit [Remote host closed the connection]
pitastrudl has joined #ocaml
<pitastrudl> hello
<Algebr> Hi
MercurialAlchemi has quit [Ping timeout: 250 seconds]
copy` has quit [Quit: Connection closed for inactivity]
|2701 has joined #ocaml
rand__ has joined #ocaml
ncthom91 has joined #ocaml
Algebr has quit [Ping timeout: 250 seconds]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
connorjacobsen has joined #ocaml
ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]
data_hope has joined #ocaml
connorjacobsen has quit [Ping timeout: 250 seconds]
rand__ has quit [Quit: leaving]
groovy2shoes has joined #ocaml
two_wheels has joined #ocaml
Sorella has joined #ocaml
two_wheels has quit [Client Quit]
malc_ has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mbrock has quit [Quit: Connection closed for inactivity]
<pierpa> can someone explain in simple words what's the problem with this snippet: https://bpaste.net/show/c9e7fa086330 ? it works if I make v not a ref, or if I remove the `B branch in the match.
<Drup> pierpa: look for "value restriction" in RWO
<Drup> (probably in the imperative programming chapter)
<pierpa> k
rgrinberg has joined #ocaml
A19774941 has joined #ocaml
A1977494 has quit [Ping timeout: 260 seconds]
danieli has quit [Ping timeout: 260 seconds]
data_hope has quit [Read error: Connection reset by peer]
SomeDamnBody has joined #ocaml
<SomeDamnBody> Does anybody know why a depth first search on a graph would cause an "[ocamlgraph] iter_succ" exception
<SomeDamnBody> ?
A19774941 has quit [Remote host closed the connection]
<mrvn> too deep?
<SomeDamnBody> too deep?
danieli has joined #ocaml
<SomeDamnBody> Maybe it's that it's a Imperative.Digraph.ConcreteBidirectional
<SomeDamnBody> Maybe I should make it a marking...
<SomeDamnBody> I don't know how
|2701 has quit [K-Lined]
<SomeDamnBody> That's not going to fix it...
<SomeDamnBody> Ok, well can anybody tell me how to get oasis to compile dependency libraries with debug information?
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
<rgrinberg> SomeDamnBody: you mean findlib dependencies? those are already compiled with or without debug info
<rgrinberg> if you mean your oasis subproject depndencies, then I think there's the standard echo "debug: true" >> _tags
<SomeDamnBody> I put that into my _tags file and it didn't work
<SomeDamnBody> it says invalid globbing pattern debug
<SomeDamnBody> Is there an example somewhere?
<rgrinberg> aargh, it should be; true: debug
<rgrinberg> true is clearly the pattern here, while debug is the tag
<pierpa> ...still is not obvious what's the difference between the case pasted and the same case without the | `B -> branch ...hmmm