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
jeffmo has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
dsheets has joined #ocaml
d0nn1e has quit [Ping timeout: 246 seconds]
dsheets has quit [Ping timeout: 252 seconds]
d0nn1e has joined #ocaml
thomasga has quit [Quit: Leaving.]
johnf_ has quit [Ping timeout: 244 seconds]
solrize has quit [Ping timeout: 250 seconds]
dsheets has joined #ocaml
johnf has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
Kakadu has quit [Remote host closed the connection]
sh0t has joined #ocaml
dsheets has joined #ocaml
Vintila has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
mistermetaphor has quit [Remote host closed the connection]
christoph_debian has joined #ocaml
<christoph_debian> Hi! what happens if I modify a Hashtbl from within Hashtbl.iter?
<christoph_debian> afair this is essentially disallowed both in Java and C++ and may result in funny results
<christoph_debian> but it's not documented wrt ocaml
silver has quit [Read error: Connection reset by peer]
<copy`> christoph_debian: It's disallowed
<christoph_debian> makes sense.
<copy`> 4.03 will come with updated documentation and a new method for changing a hashtbl while iterating
<christoph_debian> (-:
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
badon has joined #ocaml
pyon has quit [Remote host closed the connection]
manizzle has joined #ocaml
tmtwd has joined #ocaml
Vintila has quit [Ping timeout: 244 seconds]
pyon has joined #ocaml
jeffmo has quit [Quit: jeffmo]
solrize has joined #ocaml
Vintila has joined #ocaml
solrize has quit [Ping timeout: 248 seconds]
ohama has quit [Ping timeout: 250 seconds]
ohama has joined #ocaml
ohama has quit [Ping timeout: 250 seconds]
mcint has joined #ocaml
ohama has joined #ocaml
johnelse has quit [Ping timeout: 260 seconds]
orbitz_ has joined #ocaml
orbitz has quit [Ping timeout: 250 seconds]
vbmithr has quit [Ping timeout: 244 seconds]
sh0t has quit [Ping timeout: 268 seconds]
MercurialAlchemi has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 248 seconds]
tmtwd has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 260 seconds]
Guest28764 has joined #ocaml
johnf has quit [Read error: Connection reset by peer]
mcint has quit [Quit: hibernating...]
johnf has joined #ocaml
mcint has joined #ocaml
mcint has quit [Quit: hibernating...]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tennix has joined #ocaml
solrize has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 244 seconds]
mcint has joined #ocaml
mcint has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
mcint has joined #ocaml
kushal has quit [Ping timeout: 240 seconds]
A1977494 has joined #ocaml
kushal has joined #ocaml
hunteriam has joined #ocaml
pierpa has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
cdidd has quit [Ping timeout: 248 seconds]
kolko has quit [Quit: ZNC - http://znc.in]
kolko has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
cdidd has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
vbmithr has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
kushal has quit [Ping timeout: 246 seconds]
kushal has joined #ocaml
badon has quit [Disconnected by services]
thomasga has joined #ocaml
cdidd has quit [Ping timeout: 264 seconds]
badon has joined #ocaml
cdidd has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
darkf_ is now known as darkf
cdidd has quit [Remote host closed the connection]
xyh has joined #ocaml
cdidd has joined #ocaml
mcint has quit [Quit: hibernating...]
averell has joined #ocaml
nicholasf has quit [Ping timeout: 260 seconds]
larhat has quit [Quit: Leaving.]
snhmib has joined #ocaml
cdidd has quit [Remote host closed the connection]
AlexRussia has quit [Ping timeout: 260 seconds]
Guest28764 is now known as johnelse
hunteriam has quit [Quit: Connection closed for inactivity]
thomasga has quit [Quit: Leaving.]
mcint has joined #ocaml
cdidd has joined #ocaml
mcint has quit [Quit: hibernating...]
A19774941 has joined #ocaml
A1977494 has quit [Ping timeout: 260 seconds]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
ygrek has joined #ocaml
julien_t has joined #ocaml
julien_t has quit [Client Quit]
ontologiae has joined #ocaml
Simn has joined #ocaml
dwillems has joined #ocaml
jwatzman|work has joined #ocaml
beginner has joined #ocaml
Vintila has quit [Ping timeout: 276 seconds]
<beginner> are the ocaml bindings in the official llvm repo sufficient to add debug information, or would that require to extend the set of bindings?
AltGr has joined #ocaml
larhat has joined #ocaml
manizzle has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
foetus has joined #ocaml
foetus has quit [Client Quit]
foetus has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
foetus has quit [Ping timeout: 250 seconds]
silver has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
arquebus has joined #ocaml
Vintila has joined #ocaml
FreeBirdLjj has joined #ocaml
seangrove has quit [Ping timeout: 252 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
nicholasf has joined #ocaml
leyyin has joined #ocaml
xyh has quit [Quit: ChatZilla 0.9.92 [Firefox 45.0.1/20160319124722]]
<companion_cube> it would be really nice if opam was installed with aspcud or packup by default...
demonimin has joined #ocaml
arquebus has quit [Quit: Textual IRC Client: www.textualapp.com]
<fds> Why haven't we got a CUDF solver written in OCaml? :-)
ontologiae has quit [Ping timeout: 244 seconds]
AltGr has left #ocaml [#ocaml]
ggole has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
dhil has joined #ocaml
demonimin has quit [Ping timeout: 260 seconds]
<flux> they are slow enough as is :)
sepp2k has joined #ocaml
yomimono has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<fds> Heh
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
dwillems has quit [Ping timeout: 244 seconds]
cdidd has quit [Ping timeout: 260 seconds]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
freehck has joined #ocaml
jwatzman|work has joined #ocaml
nicholasf has quit []
dsheets has quit [Remote host closed the connection]
Vintila has quit [Ping timeout: 244 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dwillems has joined #ocaml
xyh has joined #ocaml
xyh is now known as for-the-lich-kin
cdidd has joined #ocaml
BitPuffin has joined #ocaml
AltGr has joined #ocaml
for-the-lich-kin is now known as ForTheLichKing
dhil has quit [Ping timeout: 268 seconds]
chindy has joined #ocaml
ForTheLichKing is now known as xyh
dinosaure has quit [Quit: WeeChat 0.3.8]
cdidd has quit [Remote host closed the connection]
jeffmo has joined #ocaml
dinosaure has joined #ocaml
sgronblo has quit [Ping timeout: 276 seconds]
cdidd has joined #ocaml
noddy has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
<companion_cube> fds: it's a lot of work
cdidd has quit [Remote host closed the connection]
AltGr has left #ocaml [#ocaml]
<fds> companion_cube: I'll add it to my list of fantasy projects.
yomimono has quit [Ping timeout: 268 seconds]
seangrove has joined #ocaml
dhil has joined #ocaml
dwillems has quit [Ping timeout: 248 seconds]
A19774941 has quit [Remote host closed the connection]
cdidd has joined #ocaml
seangrove has quit [Ping timeout: 244 seconds]
Maelan has quit [Quit: Ce n’est pas une blague, ça, c’est une corde.]
_y has joined #ocaml
jeffmo_ has joined #ocaml
jeffmo has quit [Ping timeout: 276 seconds]
jeffmo_ is now known as jeffmo
noddy has quit [Ping timeout: 240 seconds]
seangrove has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
seangrove has quit [Ping timeout: 260 seconds]
jeffmo has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
freehck has quit [Remote host closed the connection]
freehck has joined #ocaml
cdidd has quit [Remote host closed the connection]
leyyin has quit [Quit: So Long, and Thanks for All the Fish]
sh0t has joined #ocaml
jeffmo has quit [Ping timeout: 260 seconds]
jeffmo has joined #ocaml
hcarty has joined #ocaml
BitPuffin has quit [Ping timeout: 252 seconds]
jeffmo has quit [Ping timeout: 268 seconds]
jeffmo has joined #ocaml
darkf has quit [Quit: Leaving]
hcarty has quit [Ping timeout: 244 seconds]
Sorella has joined #ocaml
tennix has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
BitPuffin has joined #ocaml
jeffmo has quit [Ping timeout: 244 seconds]
malina has joined #ocaml
gpietro_ has joined #ocaml
sh0t has quit [Ping timeout: 248 seconds]
gpietro_ has quit [Ping timeout: 250 seconds]
sz0 has joined #ocaml
sh0t has joined #ocaml
nicholasf has joined #ocaml
j0sh has joined #ocaml
djellemah has quit [Remote host closed the connection]
djellemah has joined #ocaml
Kakadu has joined #ocaml
djellemah has quit [Quit: Leaving]
djellemah has joined #ocaml
MercurialAlchemi has joined #ocaml
jeffmo has joined #ocaml
uberTaco has joined #ocaml
j_king_ is now known as j_king
tennix has joined #ocaml
chindy has quit [Quit: Leaving]
slash^ has joined #ocaml
AlexRussia has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
FreeBird_ has quit [Ping timeout: 244 seconds]
hcarty has joined #ocaml
tennix has quit [Ping timeout: 276 seconds]
tennix has joined #ocaml
pierpa has joined #ocaml
mistermetaphor has joined #ocaml
nicholasf has quit [Ping timeout: 244 seconds]
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
M-Illandan has quit [Remote host closed the connection]
A1977494 has joined #ocaml
copy` has joined #ocaml
jfntn has joined #ocaml
sh0t has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
beginner has quit [Quit: Leaving]
spintronic has quit [Quit: rcirc on GNU Emacs 24.5.1]
jwatzman|work has quit [Quit: jwatzman|work]
shinnya has joined #ocaml
M-Illandan has joined #ocaml
dsheets has quit [Remote host closed the connection]
larhat has quit [Quit: Leaving.]
kushal has quit [Read error: Connection reset by peer]
dwillems has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
sh0t has joined #ocaml
<flux> so I have a dependency bug in my ocamlbuild configuration
Yarillo has joined #ocaml
<flux> I manage to build an archive in directory X, and then build code in directory Y using it and it works fine
<Yarillo> Is it allowed to ask some dumb questions here or are you guys fed up with students already ? c:
<flux> but if I modify source in directory X, it builds the archive fine (though I only say to build the program in directory Y) but it doesn't actually rebuild the binary
<flux> yarillo, I think we're still pretty tolerant ;)
<Yarillo> \o/
octachron has joined #ocaml
tennix has quit [Ping timeout: 244 seconds]
<hcarty> Can you make opam ignore a .install file in a package? I'm trying to add some of dbuenzli's packages to whitequark's opam-cross-windows repository and opam-installer doesn't play well with the cross compiler directory structure.
noddy has joined #ocaml
jgjl has joined #ocaml
<hcarty> Never mind... there are instructions right in the README for the opam-cross-windows repository
<Yarillo> Alright here's what I'm having trouble with
<Yarillo> I don't get the syntax line 7
<Yarillo> type rule = state * Tape.symbol * state * Tape.symbol * Tape.direction
<Yarillo> "Tape" is defined nowhere
sh0t has quit [Ping timeout: 268 seconds]
<Yarillo> Well that's easier
ygrek has joined #ocaml
<Yarillo> Alright i just can't use github then cool
<Yarillo> Thanks :'D
hcarty1 has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
hcarty has quit [Ping timeout: 248 seconds]
dsheets has joined #ocaml
Yarillo_ has joined #ocaml
Yarillo has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Kakadu has quit [Quit: Page closed]
dsheets has quit [Ping timeout: 246 seconds]
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<flux> ygrek, there is something ounit2 could do re. core dumps: detect that they are generated and move to nice "testname.core" names, and indicate the core dump name in the log file
<ygrek> sounds like a great hack
<ygrek> esp. that ounit cannot know in general case what filename the core file will have
<flux> it can (in Linux), assuming the core pattern covers the process id
jgjl has joined #ocaml
M-Illandan has quit [Remote host closed the connection]
noddy has quit [Ping timeout: 240 seconds]
Yarillo_ has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<flux> it seems there isn't a way to produce ocamlbuild's dependency graph?
<flux> in particular I would like to know what ocamlbuild thinks are the binary's dependencies
malc_ has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Yarillo has joined #ocaml
<Yarillo> Does anyone know the proper syntax for something like
<Yarillo> type tape = fun int -> int;;
<flux> type tape = int -> int
alpen- has quit [Ping timeout: 248 seconds]
<Yarillo> thanks flux c:
<flux> you almost got it ;)
giing3r97 has joined #ocaml
<pierpa> you had too much fun in it
M-Illandan has joined #ocaml
<flux> exactly. remove fun and you'll get results.
<pierpa> :)
<Yarillo> pls irc
alpen has joined #ocaml
jfntn has quit [Remote host closed the connection]
dwillems has quit [Ping timeout: 248 seconds]
alpen has quit [Ping timeout: 240 seconds]
alpen has joined #ocaml
ggole has quit []
Kakadu has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
TheLemonMan has joined #ocaml
d0nn1e has quit [Ping timeout: 248 seconds]
d0nn1e has joined #ocaml
<Yarillo> Now I have a rec function in which I have to both print something, and after that, for the function to call itself again
<Yarillo> "Syntax error: operator expected." near the if
<Yarillo> Does anyone have an idea of what's causing it ?
<Yarillo> I tried with a single ; instead of "begin" but it seems like the problem occurs before that
Yarillo has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Yarillo has joined #ocaml
<Algebr`> 1) Please no images, pastebin or somethig that we can copy paste into editor. 2) It might be because the record's . access needs the full access, so where the type of that record comes, aka it's module, you can try eg.That_module.Ruban or do a let open That_module in before you use stuff from it. (I think)
<Algebr`> Yarillo: oh doh, actually it looks like you're only giving print_helper just one argument
<Algebr`> maybe try print_helper eg (post + 1)
dwillems has joined #ocaml
sh0t has joined #ocaml
octachron has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Quit: Lost terminal]
MercurialAlchemi has joined #ocaml
<Yarillo> Algebr`: Thanks for helping
<Yarillo> I fixed the argument problem but that didn't fix it
<Yarillo> After some troubleshooting, seems like the "+" is really freaking it out
<Yarillo> Even writing "pos <= (10 + 10)" triggers "Syntax error: operator expected."
MercurialAlchemi has quit [Quit: Lost terminal]
MercurialAlchemi has joined #ocaml
<fds> Yarillo: Where's your `else'?
<Yarillo> fds: There's none since the function isn't supposed to return anything
<giing3r97> no need fds
<fds> Oh, I see.
<Yarillo> It added nothing when I added it anyway
<fds> The old implicit unit.
<Yarillo> exactly
<giing3r97> you say it's working without the + 10 ?
<fds> I didn't actually read the code because I'm scared of French. :-P
<Yarillo> giing3r97: I didn't try without, i'm going to try that
<Yarillo> giing3r97: Oooh it uncovered the real error
<zozozo> Yarillo: I don't think 'Pos' is a valid field name for a record
<ygrek> flux, _build/*.depends?
<giing3r97> eg isn't his own type ?
<fds> Is the problem having capitalised field names?
<Yarillo> Here's the full thing sorry for not translating
<Yarillo> The problem is actually occuring near "pos" in print_char (eg.Ruban pos);
<Yarillo> line 30
<giing3r97> In the end, it's working without the + 10 or not ?
<Yarillo> No
<giing3r97> ok
<Yarillo> But the error is different
<Yarillo> Like, same message, but different place
<Yarillo> "operator expected"
<zozozo> Yarillo: what do you think eg.Ruban means ?
<zozozo> because it's not a valid construct
<Yarillo> zozozo: It's a function that takes a position and returns a symbol
noddy has joined #ocaml
<giing3r97> yeah it's fine
BitPuffin has quit [Remote host closed the connection]
<Yarillo> that part I was pretty sure it was okay
<zozozo> Yarillo: when you define the type "atat_global" you say that it is either a state of type "etat", or a ruban of type ruban, or a position of type position
<Yarillo> I'd have written it in english but the university is adamant about french
<zozozo> I think you actually want to say that is a a record wontaining the tree things
<zozozo> *containing
<Yarillo> zozozo: Is that not what I meant ?
<zozozo> it's not what your code does
<Yarillo> Oh you're right
<Yarillo> That's probably it
<zozozo> yup
<Yarillo> I did the same mistake multiple times then
<zozozo> ^^
<zozozo> when you define direction, it is correct because a direction is either left or right, but in the case of you global state, you want a record, or a triple
<Yarillo> Triple it is then
<zozozo> well, record might be better because it is cleaner and more readable (in my opinion)
<Yarillo> Record it is then :D
<zozozo> specially when you have the same types more than once (which is not your case, but I still find it better practice)
<zozozo> :)
jgjl has joined #ocaml
<Yarillo> It compiles y_y
<zozozo> yay
<Yarillo> <3
octachron has joined #ocaml
<Yarillo> The language is pretty strange but now that I've been at it for a while it's really well made
<zozozo> Yarillo: what languages did you try/know before doing ocaml ?
<Yarillo> AutoIt, Lua, python, C, C#
<Yarillo> Only imperative ones
<Yarillo> it's been quite a shock
MercurialAlchemi has quit [Ping timeout: 252 seconds]
<zozozo> what parts did shock you the most ?
Anarchos has joined #ocaml
t4nk060 has joined #ocaml
<Yarillo> When I tried to make a function that deleted the n'th element of a list
<zozozo> ah, indeed, lists are not mutable, :p
octachron has quit [Quit: Leaving]
<Yarillo> It was a syntax like
<Yarillo> match list with head::tail -> head::(function tail)
<zozozo> seems right
<Yarillo> completly foreign, the "head::(recursive thingy)"
<Yarillo> completely
<zozozo> ah, so it's more the recursive/persistent aspect of things ?
<Yarillo> I had to do some recursive functions for things like exploring a file system
<Yarillo> I was kind of trained to unwrap the consecutive returns of recursive functions in my brain
<Yarillo> but by doing "head::(recursive thingy)" you concatenate the last result with the next one so you have to unwrap it in both directions
<Yarillo> it's kind of abstract
<Yarillo> but my brain definetely didn't like it at first
dhil has joined #ocaml
<fs4lv1n1> Can I compile something with PGOcaml if the database is available only online?
Yarillo has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Yarillo has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
rwmjones_hols is now known as rwmjones
<Yarillo> Thanks again caml wizards, I might be able to finish that turing machine tomorrow now
<Yarillo> o/
Yarillo has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
nicholasf has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
A19774941 has joined #ocaml
A1977494 has quit [Ping timeout: 248 seconds]
nicholasf has quit [Remote host closed the connection]
malc_ has quit [Remote host closed the connection]
sepp2k has quit [Quit: Leaving.]
Algebr` has quit [Ping timeout: 250 seconds]
xyh is now known as tomato
hcarty1 has quit [Ping timeout: 244 seconds]
nicholasf has joined #ocaml
darkf has joined #ocaml
dwillems has quit [Ping timeout: 248 seconds]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 268 seconds]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
A19774941 has quit [Quit: Leaving.]
silver_ has joined #ocaml
Simn has quit [Quit: Leaving]
silver has quit [Ping timeout: 276 seconds]
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
uberTaco has quit [Quit: And away!]
silver_ has quit [Quit: rakede]
Algebr` has joined #ocaml
Kakadu has quit [Remote host closed the connection]