adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
gpietro has quit [Remote host closed the connection]
Enjolras has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
Haudegen has quit [Remote host closed the connection]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (hitchcock.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
cbot has joined #ocaml
lix has joined #ocaml
hdon has joined #ocaml
kino` has quit [Quit: WeeChat 2.1]
ziyourenxiang has joined #ocaml
zolk3ri has quit [Quit: leaving]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
pioneer42 has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
dtornabene has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
silver has quit [Read error: Connection reset by peer]
hdon has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
navaja has joined #ocaml
navaja has quit [Ping timeout: 255 seconds]
hdon has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 240 seconds]
hdon has quit [Ping timeout: 260 seconds]
pioneer42 has quit [Quit: Leaving.]
pierpa_ has quit [Quit: Page closed]
navaja has joined #ocaml
clog has quit [Ping timeout: 264 seconds]
mfp has quit [Ping timeout: 240 seconds]
navaja has quit [Ping timeout: 255 seconds]
govg has quit [Ping timeout: 240 seconds]
pierpa has joined #ocaml
huglovefan has quit [Quit: huglovefan]
dtornabene has quit [Quit: Leaving]
zv has quit [Ping timeout: 240 seconds]
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
Enjolras has quit [Ping timeout: 264 seconds]
mbuf has joined #ocaml
zv has joined #ocaml
govg has joined #ocaml
MercurialAlchemi has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
clog has joined #ocaml
gentauro has quit [Ping timeout: 248 seconds]
gentauro has joined #ocaml
TallerGhostWalt has quit [Ping timeout: 256 seconds]
TallerGhostWalt has joined #ocaml
cbot has quit [Quit: Leaving]
unyu has quit [Quit: unyu~]
whonion has joined #ocaml
onion has quit [Ping timeout: 255 seconds]
snhmib has joined #ocaml
whonion is now known as whoma
whoma is now known as whoman
whoman is now known as _onion
_onion is now known as on_ion
unyu has joined #ocaml
muelleme_ has joined #ocaml
Guest1452 has joined #ocaml
snhmib has quit [Ping timeout: 246 seconds]
snhmib has joined #ocaml
Guest74744 has quit []
JSharp has joined #ocaml
inr has quit [Ping timeout: 264 seconds]
inr has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
mbuf has quit [Quit: Leaving]
gtrak has quit [Ping timeout: 256 seconds]
snhmib has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
muelleme has joined #ocaml
muelleme_ has quit [Ping timeout: 260 seconds]
Onemorenickname has joined #ocaml
Guest1452 is now known as Haudegen
argent_smith has joined #ocaml
snhmib has joined #ocaml
snhmib has quit [Ping timeout: 255 seconds]
nicoo has quit [Ping timeout: 268 seconds]
soupault has joined #ocaml
nicoo has joined #ocaml
soupault has quit [Remote host closed the connection]
snhmib has joined #ocaml
snhmib has quit [Read error: Connection reset by peer]
snhmib has joined #ocaml
mfp has joined #ocaml
opios has joined #ocaml
opios has quit [Excess Flood]
opios has joined #ocaml
opios has joined #ocaml
opios has quit [Changing host]
opios has quit [Excess Flood]
Onemorenickname_ has joined #ocaml
opios has joined #ocaml
opios has quit [Changing host]
opios has joined #ocaml
opios has joined #ocaml
opios has quit [Excess Flood]
opios has joined #ocaml
opios has quit [Excess Flood]
opios has joined #ocaml
opios has quit [Excess Flood]
opios has joined #ocaml
opios has quit [Excess Flood]
Onemorenickname has quit [Ping timeout: 264 seconds]
opios has joined #ocaml
hdon has joined #ocaml
Mm_ has joined #ocaml
<Mm_> I am looking for remote job, part time
hdon has quit [Ping timeout: 268 seconds]
Mm_ has quit [Ping timeout: 260 seconds]
zolk3ri has joined #ocaml
opios has joined #ocaml
opios has quit [Excess Flood]
opios has joined #ocaml
opios has quit [Excess Flood]
opios has joined #ocaml
opios has quit [Changing host]
opios has joined #ocaml
opios has joined #ocaml
opios has quit [Excess Flood]
averell has quit [Quit: .]
dhil has joined #ocaml
jimmyrcom has quit [Ping timeout: 256 seconds]
stux|RC has joined #ocaml
deba5e12 has joined #ocaml
TarVanimelde has joined #ocaml
ousado_ has joined #ocaml
demonimin_ has joined #ocaml
demonimin_ has joined #ocaml
demonimin_ has quit [Changing host]
gargawel_ has joined #ocaml
Cypi_ has joined #ocaml
mrgrieve1 has joined #ocaml
cow-orker has joined #ocaml
darktena1bre has joined #ocaml
nopf_ has joined #ocaml
aegray_ has joined #ocaml
gtrak_1 has joined #ocaml
letoh_ has joined #ocaml
cthuluh_ has joined #ocaml
invrsi_ has joined #ocaml
tsani_ has joined #ocaml
TallerGh- has joined #ocaml
awalgarg has joined #ocaml
gtrak has quit [*.net *.split]
muelleme has quit [*.net *.split]
ousado has quit [*.net *.split]
mrgrieves has quit [*.net *.split]
lobo has quit [*.net *.split]
so has quit [*.net *.split]
Cypi has quit [*.net *.split]
cow-orke1 has quit [*.net *.split]
demonimin has quit [*.net *.split]
h11 has quit [*.net *.split]
stux|RC-only has quit [*.net *.split]
tg has quit [*.net *.split]
nopf has quit [*.net *.split]
aegray has quit [*.net *.split]
gikiam has quit [*.net *.split]
deba5e12_ has quit [*.net *.split]
darktenaibre has quit [*.net *.split]
TallerGhostWalt has quit [*.net *.split]
zv has quit [*.net *.split]
letoh has quit [*.net *.split]
bairui has quit [*.net *.split]
ahf has quit [*.net *.split]
invrsi has quit [*.net *.split]
cthuluh has quit [*.net *.split]
jimt has quit [*.net *.split]
tsani has quit [*.net *.split]
rbocquet has quit [*.net *.split]
dinosaure[s] has quit [*.net *.split]
gargawel has quit [*.net *.split]
awal has quit [*.net *.split]
h11 has joined #ocaml
bairui has joined #ocaml
lobo has joined #ocaml
zv has joined #ocaml
jimt has joined #ocaml
dinosaure[s] has joined #ocaml
tg has joined #ocaml
gikiam has joined #ocaml
rbocquet has joined #ocaml
ahf has joined #ocaml
awalgarg is now known as awal
kino has joined #ocaml
kino is now known as kino`
<kino`> Hi
<kino`> Does anybody know how can I change the sign bit with only logical operations?
kakadu has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
kakadu_ has joined #ocaml
kakadu has quit [*.net *.split]
invrsi_ is now known as invrsi
so has joined #ocaml
gtrak_1 has quit [Ping timeout: 255 seconds]
gtrak_1 has joined #ocaml
so has quit [Ping timeout: 260 seconds]
Haudegen has quit [Read error: Connection reset by peer]
so has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 256 seconds]
Enjolras has joined #ocaml
<lyxia> kino`: (lxor) min_int
snhmib has quit [Ping timeout: 246 seconds]
snhmib has joined #ocaml
mk9 has joined #ocaml
<kino`> Thanks.
hdon has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
Haudegen has joined #ocaml
averell has joined #ocaml
huglovefan has joined #ocaml
navaja has joined #ocaml
jimmyrcom has joined #ocaml
gtrak_1 has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
muelleme has joined #ocaml
sh0t has joined #ocaml
<Drup> But ... "lnot" exists ...
<lyxia> That flips more than the sign bit
<Drup> oh, er
* Drup goes back to bed
gentauro has left #ocaml [#ocaml]
freyr has joined #ocaml
letoh_ is now known as letoh
navaja has quit [Ping timeout: 260 seconds]
gtrak_1 has joined #ocaml
jimmyrcom has quit [Ping timeout: 255 seconds]
sh0t has quit [Remote host closed the connection]
pierpa has quit [Ping timeout: 260 seconds]
neubyi has quit [Remote host closed the connection]
hdon has joined #ocaml
averell has quit [Ping timeout: 246 seconds]
jmiven has quit [Quit: co'o]
hdon has quit [Ping timeout: 240 seconds]
mk9 has joined #ocaml
jimmyrcom has joined #ocaml
mk9 has quit [Client Quit]
jmiven has joined #ocaml
_andre has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
govg has quit [Quit: leaving]
averell has joined #ocaml
pierpa has joined #ocaml
Onemorenickname_ is now known as Onemorenickname
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
hdon has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
hdon has quit [Ping timeout: 240 seconds]
averell has quit [Quit: .]
shinnya has joined #ocaml
averell has joined #ocaml
jimmyrcom has quit [Ping timeout: 240 seconds]
demonimin_ is now known as demonimin
mk9 has joined #ocaml
companion_cube has quit [Ping timeout: 256 seconds]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
Denommus has joined #ocaml
freyr has quit [Remote host closed the connection]
mk9 has quit [Ping timeout: 240 seconds]
companion_cube has joined #ocaml
xutux has quit [Ping timeout: 248 seconds]
shinnya has quit [Ping timeout: 260 seconds]
tarptaeya has joined #ocaml
barcabuona has joined #ocaml
barcabuona has quit [Client Quit]
barcabuona has joined #ocaml
barcabuona has quit [Client Quit]
Haudegen has quit [Remote host closed the connection]
mfp has joined #ocaml
TC01 has quit [Read error: Connection reset by peer]
fds has quit [Changing host]
fds has joined #ocaml
TC01 has joined #ocaml
snhmib has quit [Ping timeout: 252 seconds]
snhmib has joined #ocaml
sepp2k has joined #ocaml
snhmib has quit [Ping timeout: 255 seconds]
<kino`> lyxia: Sorry to get back to you on this
<kino`> But lxor returns me a really big number?
<kino`> Ah no, sorry mixed things up
cthuluh_ is now known as cthuluh
Haudegen has joined #ocaml
webshinra has quit [Quit: Leaving]
webshinra has joined #ocaml
<kino`> In fact yeah, transforms 1 into -4611686018427387903
gtrak_1 has quit [Ping timeout: 246 seconds]
<Fardale> kino`: that normal because of the inter representation of negative number
<Fardale> -1 is not 1 with the sign bit flip
kalio has quit [Ping timeout: 276 seconds]
gtrak_1 has joined #ocaml
<kino`> Oh yeah
<kino`> Thanks.
cbot has joined #ocaml
hdon has joined #ocaml
snhmib has joined #ocaml
<kino`> But then, how can I know the sign of a two's complement number?
al-damiri has joined #ocaml
<Fardale> x < 0 ?
<Fardale> what are you trying to do ?
<kino`> Ah, but I only get operations and logical operators.
<kino`> I'm trying to implement >, actually :)
<kino`> -get +have available
<Fardale> what operations do you have ?
<kino`> I've got a nand, so `and, not, xor et al`, as well as (+ - /)
<Fardale> what is al ?
<companion_cube> the coauthor of far too many papers
<kino`> Hahaha
<kino`> I mean and so on
<Fardale> I'm not use to yet
<companion_cube> kino`: just use "etc."? :)
<zolk3ri> kino`: then you meant etc., I believe
<kino`> Yeah, I should have had :)
<kino`> Sorry for the confusion.
<Fardale> kino`: do you have any comparaison operation ?
<Fardale> <, > or = ?
<kino`> Yeah, I've got =, since it's a not xor.
<Fardale> You car do this by shifting to the right until you get only the sign bit
<Fardale> then compare with 1
<kino`> Ah, and shift is divide
<kino`> In Ocaml, the sign bit's the 31th, right?
<companion_cube> depends on your architecture
nunu has joined #ocaml
<companion_cube> you can use Sys.word_size to know though
<companion_cube> should be Sys.word_size-1, basically
kalio has joined #ocaml
<kino`> Oh, nice.
<kino`> Thanks a lot.
<Fardale> I think divide preserve the signe, so you need a real shift
<Fardale> lsr in ocaml
<kino`> Ah.
<kino`> Is there anyway to recode a divide that doesn't?
<kino`> (btw, for getting the sign bit, it should be lsr (word_size - 2). iirc Ocaml does something with the last bit)
<companion_cube> hannes: your https certificate is expird
<companion_cube> +e
yourtash has joined #ocaml
<yourtash> Hey folks! My name is Tash and I'm looking for women and people of color here who are oCaml experts - I have an immediate opportunity to fill and would LOVE to see if you'd be interested. Pls msg me here!
<Drup> yourtash: you might want to make a post on discuss and/or the mailing list, you should reach more people
FreeBirdLjj has joined #ocaml
<yourtash> Hi Drup - Great suggestions - how would I do that? How do I reach the mailing list operator?
<kit_ty_kate> yourtash: https://discuss.ocaml.org/
<yourtash> Thanks Drup and kit_ty_kate! Heading there now :D
nunu has quit [Quit: Page closed]
huglovefan_ has joined #ocaml
huglovefan has quit [Disconnected by services]
huglovefan_ is now known as huglovefan
FreeBirdLjj has quit [Remote host closed the connection]
<reynir> awesome! \o/
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
huglovefan has quit [Quit: huglovefan]
sgnb has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
<hannes> companion_cube: thanks for reporting, sorry for the inconvience... i should really get this let's encrypt automation deployed
kino` has quit [Quit: WeeChat 2.1]
FreeBird_ has quit [Remote host closed the connection]
<companion_cube> :D
<companion_cube> I have something based on acme-tiny + a small makefile, it's quite doable
<companion_cube> but ofc it always takes time to setup properly
pierpa_ has joined #ocaml
dhil has quit [Ping timeout: 264 seconds]
muelleme has joined #ocaml
jnavila has joined #ocaml
Haudegen has quit [Remote host closed the connection]
kakadu_ has quit [Quit: Konversation terminated!]
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
Jesin has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
xuanrui has joined #ocaml
kakadu has joined #ocaml
Cale has joined #ocaml
<Cale> Hi, I've been trying to nixify a build of a project that uses opam. I've been using/extending opam2nix (which converts the opam package descriptions into nix derivations) and am running into a situation while trying to build the base64 package, where it seems that ocamlfind knows about the bytes package, but jbuilder doesn't, and complains that it's missing. Any idea what I might try?
<Cale> (I'm using the 4.06.1 compiler if it helps)
jnavila has quit [Ping timeout: 256 seconds]
argent_smith has quit [Read error: Connection reset by peer]
argent_smith has joined #ocaml
jnavila has joined #ocaml
Jesin has quit [Quit: Leaving]
navaja has joined #ocaml
spew has quit [Disconnected by services]
navaja is now known as spew
<octachron> Cale, if it helps the bytes package is a compatibility package that is essentially empty on all OCaml version supported by jbuilder
<Cale> octachron: I kinda noticed that... makes it slightly more annoying that jbuilder is complaining about it being missing :D
<Cale> I suppose a more concrete question I could ask would be: where does jbuilder installed-libraries collect its list of packages from? It gives me a different (somewhat shorter) list from ocamlfind list
zmt01 has joined #ocaml
zmt01 has quit [Remote host closed the connection]
<Cale> maybe I can just hack the jbuild file...
<Cale> yeah, that seems to work... sed it is :D
zmt00 has quit [Ping timeout: 264 seconds]
jnavila has quit [Remote host closed the connection]
muelleme has quit [Ping timeout: 268 seconds]
<octachron> Cale, normally jbuilder uses the same mechanism than ocamlfind for finding libraries, so the two outputs should agree
<Cale> Yeah, I don't know what's going on
kino has joined #ocaml
<Cale> It could just be something weird about the environment that opam2nix-packages is constructing. For now, sed -i -e 's/(libraries (bytes))//' src/jbuild is enough to get the thing to actually build, but perhaps I'll run into something where that kind of hackery is insufficient, and then I'll really need to sort out what's happening.
<Cale> http://lpaste.net/364417 -- okay, looks like that time has come almost immediately. Here's some terminal logs showing the situation with ocaml-migrate-parsetree -- ocamlfind list shows all its dependencies are installed okay, but jbuilder doesn't see them.
<Cale> Of course, the same cheesy hack doesn't work here, because we actually need the modules from the result package
Denommus has quit [Ping timeout: 265 seconds]
<Cale> (annotated that paste with the result of ocamlfind printconf path which admittedly produces an unusual result, though it is correct, and the path to result is available there)
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
nk has quit [Remote host closed the connection]
hdon has quit [Ping timeout: 246 seconds]
snhmib has quit [Ping timeout: 256 seconds]
snhmib has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
gtrak_1 has quit [Ping timeout: 276 seconds]
sepp2k has quit [Quit: Leaving.]
snhmib has quit [Ping timeout: 255 seconds]
snhmib has joined #ocaml
Onemorenickname has quit [Read error: Connection reset by peer]
Haudegen has quit [Remote host closed the connection]
shinnya has joined #ocaml
tarptaeya has quit [Quit: Byeeeeeee!]
neubyi has joined #ocaml
isd has joined #ocaml
argent_smith1 has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
<kino> How can I implement C's not operator? e.g. | 0 -> x with x <> 0 | x -> 0
<kino> (With only nands)
<kino> Nevermind, figured I could do it some other way.
<dinosaure> ( lnot ) ?
<kino> But lnot 1 is -2, no?
<dinosaure> ah yeah, nvm
<kino> (In fact, that one was not relational, and could do it with anoter operator - cmov)
<kino> But thanks for your input!
kakadu has quit [Remote host closed the connection]
al-damiri has quit [Quit: Connection closed for inactivity]
spew has quit [Ping timeout: 260 seconds]
yourtash has quit [Quit: Page closed]