KeyJoo has quit [Remote host closed the connection]
Hrundi_V_Bakshi has quit [Quit: No Ping reply in 180 seconds.]
Hrundi_V_Bakshi has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 256 seconds]
muskan has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 265 seconds]
kleisli has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
_whitelogger has joined #ocaml
kamog has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
mbuf has joined #ocaml
_whitelogger has joined #ocaml
narimiran has joined #ocaml
kamog has quit [Remote host closed the connection]
kamog has joined #ocaml
delysin has joined #ocaml
_whitelogger has joined #ocaml
tane_ has joined #ocaml
ggole has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 256 seconds]
dump has joined #ocaml
sarna has quit [Quit: bye]
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 252 seconds]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
bartholin has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
kleisli has quit [Remote host closed the connection]
ear-the-art has quit [Remote host closed the connection]
ear-the-art has joined #ocaml
kleisli has joined #ocaml
orbifx has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
orbifx has quit [Ping timeout: 265 seconds]
kamog has quit [Remote host closed the connection]
kleisli has quit [Ping timeout: 265 seconds]
Haudegen has joined #ocaml
<kindaro>
An expression like `fun x y -> x = y`
<kindaro>
…has type int -> int -> bool
<kindaro>
…in top level.
<kindaro>
How, if at all, can I make it polymorphic?
<kindaro>
I understand that only some types are comparable.
copy_ has quit [Ping timeout: 260 seconds]
copy_ has joined #ocaml
<kindaro>
Is anyone here?
<hannes>
kindaro: for me, this is polymorphic:
<hannes>
# let f = (fun a b -> a = b);;
<hannes>
val f : 'a -> 'a -> bool = <fun>
<kindaro>
How does it work?
<hannes>
the "=" (equal) uses the polymorphic compare (which type is 'a -> 'a -> int)
<Drup>
kindaro: you are using Core, I suppose
<kindaro>
Oh, I do.
<kindaro>
It makes difference?
<Drup>
yes, it shadows = to be only on ints
<kindaro>
Oh, I see.
<kindaro>
Thank you.
wingsorc has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
Anarchos has joined #ocaml
KeyJoo has joined #ocaml
<kindaro>
I have a small project with 3 files and Dune configuration. When I run `dune utop`, I can open the module associated with one file, but not the other two. What am I doing wrong?
<kindaro>
The dependency graph looks like A → B → C. I can open in utop only B.
<kindaro>
I can access A by saying `#use "a.ml"` though.
<Anarchos>
kindaro how do you type those arrows in irc ??
<kindaro>
I have them bound to a key on my keyboard.
<Anarchos>
kindaro so unicode char ?
<kindaro>
Yes.
<hannes>
kindaro: dune by default "wraps" other modules -- can you access B.A? without your dune file, debugging is pretty hard. is B mentioned in the dune file (i.e. is the library name B)?
<kindaro>
Dune file is trivial. It does not mention anything specific about the other files.
<kindaro>
I suppose I should configure something about it.
<kindaro>
Oh, I can access stuff by `Library.A`
<kindaro>
I wonder why it lets me open some files as simply `A`…
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
ear-the-art has quit [Ping timeout: 252 seconds]
<kindaro>
Turns out I had files such as `B.cmi` and `B.cmo` lying around. Cleaning them up resolves the issue.
sonologico has quit [Remote host closed the connection]
jao has joined #ocaml
jao is now known as Guest90002
orbifx has joined #ocaml
Guest90002 has quit [Remote host closed the connection]
jao- has joined #ocaml
cartwright has quit [Read error: Connection reset by peer]
cartwright has joined #ocaml
Anarchos has quit [Remote host closed the connection]
sonologico has joined #ocaml
ygrek has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Remote host closed the connection]
mbuf has quit [Quit: Leaving]
Anarchos has joined #ocaml
sonologico__ has joined #ocaml
kleisli has joined #ocaml
sonologico has quit [Ping timeout: 256 seconds]
sonologico__ has quit [Remote host closed the connection]
leah2 has quit [Remote host closed the connection]
sonologico has joined #ocaml
leah2 has joined #ocaml
sonologico has quit [Remote host closed the connection]
sonologico has joined #ocaml
sonologico has quit [Remote host closed the connection]
sonologico has joined #ocaml
kindaro has quit [Quit: leaving]
sonologico has quit [Remote host closed the connection]
Anarchos has left #ocaml [#ocaml]
kleisli has quit [Remote host closed the connection]
orbifx has quit [Read error: Connection reset by peer]
orbifx1 has joined #ocaml
orbifx1 is now known as orbifx
_whitelogger has joined #ocaml
nullcone has joined #ocaml
orbifx has quit [Ping timeout: 256 seconds]
mbuf has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 264 seconds]
mbuf has quit [Quit: Leaving]
TheLemonMan has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
dump has quit [Quit: Leaving]
Anarchos has joined #ocaml
kleisli has joined #ocaml
sonologico has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
rosterok has joined #ocaml
sonologico has quit [Remote host closed the connection]
sonologico has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
sonologico has quit [Remote host closed the connection]
Haudegen has joined #ocaml
sonologico has joined #ocaml
orbifx has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Hrundi_V_Bakshi_ has joined #ocaml
sonologico__ has joined #ocaml
sonologico has quit [Ping timeout: 272 seconds]
andreas303 has joined #ocaml
sonologico__ has quit [Remote host closed the connection]
Niamkik has quit [Ping timeout: 265 seconds]
Niamkik has joined #ocaml
ggole has quit [Quit: Leaving]
narimiran has quit [Quit: leaving]
nullcone has joined #ocaml
Niamkik has quit [Ping timeout: 265 seconds]
orbifx has quit [Ping timeout: 258 seconds]
Niamkik has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
orbifx has joined #ocaml
tane_ has quit [Quit: Leaving]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
ec is now known as super_annoyued
super_annoyued is now known as ec
amiloradovsky has joined #ocaml
breitenj has quit [Quit: Quit]
breitenj has joined #ocaml
sonologico has joined #ocaml
sonologico has quit [Remote host closed the connection]
prsafont[m] has quit [Read error: Connection timed out]
prsafont[m] has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
Hrundi_V_Bakshi_ has quit [Ping timeout: 252 seconds]
Hrundi_V_Bakshi has quit [Ping timeout: 264 seconds]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
Haudegen has quit [Ping timeout: 252 seconds]
bglm[m] has quit [Ping timeout: 246 seconds]
orbifx has quit [Ping timeout: 252 seconds]
sepp2k has joined #ocaml
bglm[m] has joined #ocaml
wingsorc has quit [Quit: Leaving]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]