<def-lkb>
(the first | is optional, it's matter of taste but with the appropriate line returns I like the uniform look of the code with an | at every line)
ontologiae has quit [Ping timeout: 272 seconds]
nikki93 has quit [Remote host closed the connection]
<S11001001>
def-lkb: I should try to get over reading | as "or" and as "where" instead
talzeus_ has quit [Remote host closed the connection]
<erider>
thanks def-lkb and S11001001, now I need to figure out my type error
<def-lkb>
np
<def-lkb>
S11001001: well, | in ocaml should not be a read as a boolean or, but its meaning is not completely disconnected :)
nikki93 has joined #ocaml
<S11001001>
def-lkb: I've heard the "where" formulation and it is equally intellectually appealing as "or".
<S11001001>
C bias
manizzle has quit [Ping timeout: 276 seconds]
<def-lkb>
fine
<erider>
Error: This expression has type ('a * 'b) list but an expression was expected of type 'a list * 'b list * ('a * 'b) list
<erider>
def-lkb: I think it is the -> (vars, vals, bind (n, v, rho)) return
<def-lkb>
not in my code :)
<def-lkb>
you made some error while copy-pasting
<def-lkb>
(you probably forgot the recursive call to bindList)
<erider>
yeah I see it now
<def-lkb>
great. I have to go, bye
ollehar has quit [Ping timeout: 252 seconds]
<erider>
thanks
ollehar has joined #ocaml
talzeus_ has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
cdidd has joined #ocaml
mcclurmc has joined #ocaml
ousado has quit [Remote host closed the connection]
mcclurmc has quit [Ping timeout: 252 seconds]
watermind has quit [Quit: Konversation terminated!]
<Sfiv>
I was more wondering how it could destructure type constructors, but it's apparently tagged
Simn has joined #ocaml
<Sfiv>
So an entire word is wasted just on tag basically?
<companion_cube>
the header actually contains more information
<Sfiv>
Hmm, such as/
<failshell>
how can i get opam to install with the tarball i downloaded?
<companion_cube>
(for the GC, etc.)
<companion_cube>
so yes, there is an overhead
kyrylo has joined #ocaml
<ski>
(nitpick, s/type constructors/data constructors/ -- also, it's not exactly "union types", precisely because one needs tags to discriminate. some common names are "discriminated union types","sum types","variant types","coproduct types". "algebraic data types" are related, but not exactly the same)
<failshell>
where does opam download tarballs? trying to trick it with the one i downloaded
thomasga1 has quit [Quit: Leaving.]
<failshell>
ive put it in ~/.opam/packages.dev/ocamlnet.3.7.3 but it still tries to download it
<companion_cube>
ski: right
talzeus has quit [Remote host closed the connection]
jonludlam has quit [Remote host closed the connection]
ygrek has joined #ocaml
mcclurmc has joined #ocaml
ggole has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
<Sfiv>
companion_cube, nevertheless though, it can't take 32 or 64 bits to put all that info right?
darkf has quit [Quit: Leaving]
manizzle has quit [Ping timeout: 246 seconds]
<companion_cube>
Sfiv: I don't know exactly, but I think so, for alignment reasons
<Drup>
Sfiv: you will only slow stuff down if you want to access non aligned stuff
<adrien_oww>
Sfiv: it does
<adrien_oww>
Drup: not necessarily
<adrien_oww>
but definitely, "bool" in ocaml is not 1 bit
thomasga has joined #ocaml
<companion_cube>
in no language
<companion_cube>
even in C, bool is one byte
<companion_cube>
(unless you use bitfields)
<Sfiv>
It is in C-- but you can't store it in variable.
<companion_cube>
one word of waste for heap values is worse than nothing, but better than some other languages (java for instance)
<companion_cube>
and you need some overhead anyway, for the GC
yacks has joined #ocaml
Sfiv is now known as Mrevchez
<adrien_oww>
bool in 1 bit is awful for performance
<adrien_oww>
iirc ocaml cannot work with words less than 32b
<companion_cube>
well, it's one register per value anyway
sepp2k has joined #ocaml
_5kg has quit [Ping timeout: 248 seconds]
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
agarwal1975 has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
avsm has joined #ocaml
failshell has quit [Read error: Connection reset by peer]
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #ocaml
divyansr has quit [Remote host closed the connection]
<pippijn>
hi
<adrien_oww>
hi pippijn
shinnya has joined #ocaml
mcclurmc has joined #ocaml
<Mrevchez>
adrien_oww, say 'pippijntje', in my experience Dutch people like that
<Mrevchez>
Do it.
<pippijn>
adrien_oww: the answer to that is Mrevchez's gecos
watermind has joined #ocaml
<Mrevchez>
Gecos?
divyansr has joined #ocaml
<pippijn>
realname field
mcclurmc has quit [Ping timeout: 248 seconds]
<pippijn>
in irc
<Mrevchez>
pippijn, what does it say?
<Mrevchez>
Yours clearly betrays your Dutchness
<pippijn>
how so?
<Mrevchez>
Only the Dutch would have ij, + van + so many double letters
<pippijn>
right
<pippijn>
no betrayal
<Mrevchez>
Well, just make sure the republicans don't find out.
<pippijn>
I'm in france
<Mrevchez>
You would truly leave the vlaamsche frieten for the escargots?
<Mrevchez>
Also, France does not have this stroopwafel business.
arjunguha has joined #ocaml
Thooms has quit [Ping timeout: 252 seconds]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
divyansr has quit [Quit: Leaving...]
arjunguha has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
shinnya has quit [Read error: Operation timed out]
divyansr has joined #ocaml
phao has joined #ocaml
talzeus has joined #ocaml
agarwal1975 has joined #ocaml
arjunguh_ has joined #ocaml
saml has joined #ocaml
arjunguha has quit [Ping timeout: 246 seconds]
phao has left #ocaml []
mcclurmc has joined #ocaml
ousado has joined #ocaml
WraithM_ has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
lostcuaz has joined #ocaml
Thooms has joined #ocaml
mika1 has quit [Quit: Leaving.]
tnguyen has quit [Quit: tnguyen]
dant3 has quit [Remote host closed the connection]
thizanne has quit [Ping timeout: 252 seconds]
cynddl has quit [Ping timeout: 272 seconds]
dant3 has joined #ocaml
jbrown has joined #ocaml
dant3 has quit [Ping timeout: 252 seconds]
mreca has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
mhi^ has joined #ocaml
divyansr has quit [Remote host closed the connection]
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
_5kg has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
watermind has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
Kakadu_ has quit [Quit: Page closed]
watermind has joined #ocaml
agarwal1975 has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jbrown has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
thomasga has quit [Quit: Leaving.]
introom has quit [Ping timeout: 276 seconds]
amirmc has joined #ocaml
sillyotter has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
sillyotter has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 245 seconds]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
j0sh has quit [Quit: leaving]
j0sh has joined #ocaml
introom has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
rwmjones has quit [Ping timeout: 252 seconds]
introom has quit [Ping timeout: 245 seconds]
Thooms has quit [Ping timeout: 272 seconds]
dant3 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dant3 has quit [Ping timeout: 272 seconds]
Guest63687 has quit [Remote host closed the connection]
rwmjones has joined #ocaml
skchrko has quit [Remote host closed the connection]
Kakadu has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
arjunguh_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ulfdoz has joined #ocaml
arjunguha has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 252 seconds]
divyansr has joined #ocaml
ollehar has joined #ocaml
jwatzman|work has joined #ocaml
AltGr has left #ocaml []
Thooms has joined #ocaml
mreca has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ollehar has joined #ocaml
q66 has joined #ocaml
zpe has quit [Read error: Operation timed out]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
thomasga has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
Thooms has joined #ocaml
avsm has quit [Ping timeout: 272 seconds]
ollehar has quit [Ping timeout: 252 seconds]
dant3 has joined #ocaml
ollehar has joined #ocaml
divyansr has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ontologiae has joined #ocaml
yacks has quit [Quit: Leaving]
yacks has joined #ocaml
kyrylo has quit [Ping timeout: 272 seconds]
mhi^ has quit [Quit: Lost terminal]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dsheets has quit [Read error: Operation timed out]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
divyansr has joined #ocaml
ocp has quit [Ping timeout: 252 seconds]
divyansr has quit [Remote host closed the connection]
tane has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
S1100100` has joined #ocaml
ollehar has joined #ocaml
S11001001 has quit [Read error: Connection reset by peer]
S1100100` is now known as S11001001
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
tane has quit [Quit: Verlassend]
pango has quit [Ping timeout: 276 seconds]
pango has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
user__ has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
avsm has joined #ocaml
ulfdoz has quit [Ping timeout: 272 seconds]
divyansr has joined #ocaml
ggole has quit []
amirmc has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
sepp2k has quit [Quit: Konversation terminated!]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nlucaroni has joined #ocaml
arjunguha has joined #ocaml
_andre has quit [Quit: leaving]
vbv has joined #ocaml
divyansr has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 0.3.8]
Thooms has joined #ocaml
vbv has left #ocaml []
mhi^ has joined #ocaml
avsm has quit [Quit: Leaving.]
user__ is now known as SofiaLucifairy
Amanite has joined #ocaml
malo has joined #ocaml
wolfnn has joined #ocaml
manizzle has joined #ocaml
jonludlam has joined #ocaml
lostcuaz has joined #ocaml
jonludlam has quit [Ping timeout: 246 seconds]
mal`` has quit [Ping timeout: 276 seconds]
Snark has quit [Read error: Operation timed out]
csakatoku has joined #ocaml
<companion_cube>
it's quiet here
Kakadu has quit []
csakatoku has quit [Remote host closed the connection]
mreca has joined #ocaml
mal`` has joined #ocaml
csakatoku has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
<nlucaroni>
... too quiet?
<orbitz>
Hello
<orbitz>
companion_cube: do you use lwt or async?
<companion_cube>
orbitz: lwt, because I don't use core
<orbitz>
companion_cube: have any ideas for qcheck for monadic things?
<Drup>
That's tendentious, orbitz, careful with personal questions :3
agarwal1975 has quit [Quit: agarwal1975]
<companion_cube>
orbitz: hmmmmmmm, you mean qcheck on properties that would retunr bool Lwt.t?
peterbb has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
malo has quit [Quit: Leaving]
jonludlam has joined #ocaml
Eyyub has joined #ocaml
csakatoku has quit []
Amanite has quit [Quit: Lost terminal]
rgrinberg1 is now known as rgrinberg
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
nikki93 has joined #ocaml
ollehar has quit [Remote host closed the connection]
ollehar has joined #ocaml
<orbitz>
companion_cube: yessir
<companion_cube>
hmmm, use Lwt_main.run to exit the monad? ^^
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
<Drup>
running multiple Lwt_main.run is not a good idea.
<companion_cube>
no, sequentially
<companion_cube>
I mean each property could use it
<Drup>
that's still multiple of them
<companion_cube>
(unless you can't run Lwt_main.run several times sequentially?)
<Drup>
I think it's ok to do it on Unix but that's not intended
<companion_cube>
that's... weird
agarwal1975 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
rainbyte has joined #ocaml
Eyyub has quit [Ping timeout: 272 seconds]
Eyyub has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
gargaml has joined #ocaml
kyrylo has joined #ocaml
Eyyub has quit [Ping timeout: 272 seconds]
axiles has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Eyyub has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
dant3 has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ontologiae has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
manizzle is now known as WeLoveCP
ollehar has joined #ocaml
WeLoveCP is now known as manizzle
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
saml has quit [Quit: Leaving]
Eyyub_ has joined #ocaml
Eyyub has quit [Ping timeout: 252 seconds]
Eyyub_ has quit [Ping timeout: 245 seconds]
Eyyub has joined #ocaml
thomasga has joined #ocaml
nikki93 has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
darkf has joined #ocaml
gargaml has quit [Quit: WeeChat 0.4.2]
ollehar has quit [Ping timeout: 252 seconds]
agarwal1975 has quit [Quit: agarwal1975]
ollehar has joined #ocaml
wolfnn has quit [Ping timeout: 260 seconds]
WraithM_ has quit [Ping timeout: 246 seconds]
Eyyub has quit [Ping timeout: 245 seconds]
tristero has quit [Quit: tristero]
Eyyub has joined #ocaml
nikki93 has joined #ocaml
Simn has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
Eyyub has quit [Ping timeout: 245 seconds]
ohama has quit [Ping timeout: 252 seconds]
Eyyub has joined #ocaml
ohama has joined #ocaml
jonludlam has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
milosn has quit [Read error: No route to host]
milosn has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
jwatzman|work has joined #ocaml
csakatoku has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
arjunguha has joined #ocaml
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
RagingDave has joined #ocaml
RagingDave has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]