<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
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]
<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
<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?