adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 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
R0B_ROD has joined #ocaml
rand000_ has quit [Quit: leaving]
AltGr has joined #ocaml
R0B_ROD has quit [Quit: leaving]
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tennix has joined #ocaml
grouzen has quit [Ping timeout: 245 seconds]
higgs has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 256 seconds]
segmond has quit [Ping timeout: 244 seconds]
adrien_znc has quit [Ping timeout: 252 seconds]
adrien_znc has joined #ocaml
contempt has quit [Ping timeout: 240 seconds]
bendiken has quit []
shinnya has quit [Ping timeout: 250 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ncthom91 has joined #ocaml
sigjuice has quit [Ping timeout: 265 seconds]
sigjuice has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
manizzle has quit [Ping timeout: 250 seconds]
tmtwd has joined #ocaml
luigy has quit [Ping timeout: 264 seconds]
contempt has joined #ocaml
luigy has joined #ocaml
ncthom91 has joined #ocaml
ncthom91 has quit [Client Quit]
psy_ has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
tnguyen has quit [Quit: tnguyen]
pyon has quit [Quit: Stupid Emacs.]
pyon has joined #ocaml
manizzle has quit [Ping timeout: 260 seconds]
Algebr` has joined #ocaml
ggherdov has quit [Ping timeout: 246 seconds]
lambdahands has quit [Ping timeout: 246 seconds]
mcc has quit [Ping timeout: 246 seconds]
cschneid has quit [Ping timeout: 246 seconds]
mcc has joined #ocaml
sigjuice has quit [Ping timeout: 246 seconds]
lambdahands has joined #ocaml
cball has quit [Ping timeout: 246 seconds]
bitbckt has quit [Ping timeout: 246 seconds]
_habnabit has quit [Ping timeout: 246 seconds]
bitbckt has joined #ocaml
pyon has quit [Quit: Damn you, Emacs.]
pyon has joined #ocaml
cschneid has joined #ocaml
cball has joined #ocaml
sigjuice has joined #ocaml
_habnabit has joined #ocaml
manizzle has joined #ocaml
tnguyen has joined #ocaml
psy_ has joined #ocaml
darkf has joined #ocaml
ggherdov has joined #ocaml
samrat has joined #ocaml
Algebr` has quit [Ping timeout: 246 seconds]
mcc has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
samrat has quit [Ping timeout: 264 seconds]
tmtwd has quit [Ping timeout: 252 seconds]
samrat has joined #ocaml
MrScout has joined #ocaml
mea-culpa has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
nopf has quit [Remote host closed the connection]
vpm has quit [Ping timeout: 264 seconds]
jeffmo has quit [Quit: jeffmo]
samrat has quit [Ping timeout: 244 seconds]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
manizzle has quit [Ping timeout: 244 seconds]
noplamodo has quit [Ping timeout: 250 seconds]
noplamodo has joined #ocaml
jeffmo has joined #ocaml
manizzle has joined #ocaml
jeffmo has quit [Remote host closed the connection]
jeffmo has joined #ocaml
xificurC has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
keen___________6 has joined #ocaml
keen___________5 has quit [Ping timeout: 264 seconds]
johnf_ has quit [Read error: Connection reset by peer]
jeffmo has quit [Ping timeout: 246 seconds]
kolko has joined #ocaml
<gasche> Algebr: BatList.find_map : ('a -> 'b option) -> 'a list -> 'b
<gasche> (or the Exceptionless variant)
cross_ has quit [Ping timeout: 260 seconds]
cross has joined #ocaml
MrScout has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
nopf has joined #ocaml
zpe has quit [Remote host closed the connection]
ely-se has joined #ocaml
thomasga has joined #ocaml
sh0t has joined #ocaml
grouzen has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
yomimono has joined #ocaml
Haudegen has joined #ocaml
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
jonludlam has joined #ocaml
jonludlam has quit [Client Quit]
manizzle has quit [Ping timeout: 240 seconds]
rand000 has joined #ocaml
mort___ has joined #ocaml
<tobiasBora> Hello !
<tobiasBora> I can read in the documentation that Ocamlbuild can generated odoc files (I think it's link to documentation) but I tried to generate such a file and it generate a dirty binary file. How can I use this file to generate for example a pretty html page ?
ely-se has quit [Quit: leaving]
dsheets has quit [Ping timeout: 244 seconds]
nullcatxxx_ has joined #ocaml
octachron has joined #ocaml
jc1 has joined #ocaml
jc1 has left #ocaml [#ocaml]
ely-se has joined #ocaml
ely-se has quit [Client Quit]
<tobiasBora> I found a solution with a creation of a file .odocl, it generates html (but I don't understand yet the syntax of odoc, maybe it's not needed...)
<tobiasBora> However when I try it with an eliom file, it fails (it tries to generate a .mli file, but I have only .eliomi files). Do you know if it's easy to use ocamlbuild to generate documentation for eliom files ?
zaquest has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
claudiuc has quit [Remote host closed the connection]
kakadu has joined #ocaml
whirm has joined #ocaml
ollehar has quit [Quit: ollehar]
nullcatxxx_ has joined #ocaml
abbe has quit [*.net *.split]
cschneid has quit [*.net *.split]
bitbckt has quit [*.net *.split]
AltGr has quit [*.net *.split]
nicoo has quit [*.net *.split]
igitoor has quit [*.net *.split]
lupine has quit [*.net *.split]
mawuli has quit [*.net *.split]
Khady has quit [*.net *.split]
acieroid`` has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
neferty has quit [*.net *.split]
gustav_ has quit [*.net *.split]
SHODAN has quit [*.net *.split]
gasche has quit [*.net *.split]
tianon has quit [*.net *.split]
pollux has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
fds has quit [*.net *.split]
mort___ has quit [*.net *.split]
noplamodo has quit [*.net *.split]
darkf has quit [*.net *.split]
sigjuice has quit [*.net *.split]
cball has quit [*.net *.split]
alpen has quit [*.net *.split]
orbitz has quit [*.net *.split]
sgnb` has quit [*.net *.split]
mehdi has quit [*.net *.split]
johnelse has quit [*.net *.split]
rossberg has quit [*.net *.split]
jrslepak has quit [*.net *.split]
MasseR has quit [*.net *.split]
Enjolras has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
WanderingGlitch has quit [*.net *.split]
struk|desk has quit [*.net *.split]
srax has quit [*.net *.split]
abbe has joined #ocaml
Algebr has quit [Remote host closed the connection]
mort___ has joined #ocaml
noplamodo has joined #ocaml
darkf has joined #ocaml
sigjuice has joined #ocaml
cball has joined #ocaml
alpen has joined #ocaml
orbitz has joined #ocaml
sgnb` has joined #ocaml
jrslepak has joined #ocaml
rossberg has joined #ocaml
johnelse has joined #ocaml
MasseR has joined #ocaml
mehdi has joined #ocaml
Enjolras has joined #ocaml
jpdeplaix has joined #ocaml
WanderingGlitch has joined #ocaml
struk|desk has joined #ocaml
srax has joined #ocaml
neferty has joined #ocaml
Pepe_ has joined #ocaml
acieroid`` has joined #ocaml
lupine has joined #ocaml
gustav_ has joined #ocaml
SHODAN has joined #ocaml
bitbckt has joined #ocaml
Khady has joined #ocaml
igitoor has joined #ocaml
mawuli has joined #ocaml
pollux has joined #ocaml
Asmadeus has joined #ocaml
cschneid has joined #ocaml
AltGr has joined #ocaml
nicoo has joined #ocaml
gasche has joined #ocaml
tianon has joined #ocaml
fds has joined #ocaml
Algebr` has joined #ocaml
cschneid has quit [*.net *.split]
bitbckt has quit [*.net *.split]
AltGr has quit [*.net *.split]
nicoo has quit [*.net *.split]
igitoor has quit [*.net *.split]
lupine has quit [*.net *.split]
mawuli has quit [*.net *.split]
Khady has quit [*.net *.split]
acieroid`` has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
neferty has quit [*.net *.split]
gustav_ has quit [*.net *.split]
SHODAN has quit [*.net *.split]
gasche has quit [*.net *.split]
tianon has quit [*.net *.split]
pollux has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
fds has quit [*.net *.split]
tobiasBora has quit [Ping timeout: 252 seconds]
Asmadeus has joined #ocaml
mawuli has joined #ocaml
acieroid`` has joined #ocaml
pollux has joined #ocaml
cschneid has joined #ocaml
Khady has joined #ocaml
tianon has joined #ocaml
SHODAN has joined #ocaml
gustav_ has joined #ocaml
bitbckt has joined #ocaml
lupine has joined #ocaml
AltGr has joined #ocaml
gasche has joined #ocaml
neferty has joined #ocaml
igitoor has joined #ocaml
nicoo has joined #ocaml
Pepe_ has joined #ocaml
fds has joined #ocaml
tobiasBora has joined #ocaml
Fleurety has quit [Ping timeout: 260 seconds]
Fleurety has joined #ocaml
vpm has joined #ocaml
enjolras_ has joined #ocaml
<enjolras_> I've just read the white paper about modular implicits, and I am amazed
ely-se has joined #ocaml
ely-se has quit [Client Quit]
mort___ has left #ocaml [#ocaml]
enjolras_ has left #ocaml [#ocaml]
Anarchos has joined #ocaml
ely-se has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
ely-se has quit [Quit: leaving]
R0B_ROD has joined #ocaml
ely-se has joined #ocaml
ely-se has quit [Quit: leaving]
grouzen has quit [Ping timeout: 245 seconds]
tennix has quit [Ping timeout: 256 seconds]
R0B_ROD has quit [Quit: leaving]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
ely-se has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
ely-se has quit [Client Quit]
yomimono has quit [Ping timeout: 264 seconds]
BitPuffin has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
yomimono has joined #ocaml
jtfmumm has joined #ocaml
ryanartecona has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
ggole has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
yomimono has joined #ocaml
<flux> reading the recent larger stdlib-discussion on the ml an idea comes to my mind: A Standard Type Library!
<flux> it would define no more than the types. everyone gets to implement the meat under them :)
<flux> but at least the types wouldn't then be incompatible among modules (ie. Core, Batteries, Containers, ..)
tennix has joined #ocaml
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Haudegen has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
ely-se has joined #ocaml
ely-se has quit [Client Quit]
Anarchos has joined #ocaml
thomasga has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
<mrvn> would that be just a bunch of mli files?
grouzen has joined #ocaml
jtfmumm has joined #ocaml
ely-se has joined #ocaml
<flux> probably yes
ely-se has quit [Client Quit]
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
<flux> the downside I'm thinking might be that it would expose too much to the casual user of the library
<flux> or would there be a way around it?
<flux> on the other hand, if the types are really fixed then perhaps it doesn't matter.
<flux> or could there be a polymorphic part in the types to allow hiding the specifics better, but still allowing some form of standard conversion between different representations..
<mrvn> Other than that you could use (would have to use) the .mli files for your own lib what would be the point?
troydm has joined #ocaml
Haudegen has joined #ocaml
troydm has quit [Remote host closed the connection]
<mrvn> You can already copy the mli files from the stdlib and implement the meat yourself.
<flux> well, if two libraries were to use the same module path for the same type, they would be compile time compatible
<flux> not unlike using polymorphic variants, perhaps
troydm has joined #ocaml
<mrvn> which would prevent installing the compiled modules unless you compile them for every flavour
<flux> opam now already recompiles everything every now and then ;-)
<mrvn> opasm is a source distribution though
<mrvn> -s
troydm has quit [Remote host closed the connection]
troydm has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
<ggole> Hmm: at first I couldn't see the point, but structural typing for modules means that if everybody made modules that were that interface + some other stuff, there would be some compatibility benefit.
<mrvn> could would be to get them link time compatible.
<ggole> And you could write module L : StdList = JaneStEnormousListOhGod to make sure that you didn't use nonstandard bits by accident
<mrvn> open (JaneStEnormousListOhGod : StdList)
<ggole> But then it's open.
<mrvn> which list usualy is
<ggole> Er
<mrvn> at least [], :: and @
<ggole> Oh, I see
<mrvn> I think currently you would have to compile ocamlc/opt againt JaneStEnormousListOhGod to make it replace List and the pervasives for it.
<ggole> If there were a standard .mli you could just use the constructors from that (if constructors were available)
<flux> open (StandardLibraryReplaceent : STANDARD_LIBRARY)
<flux> (actually StandardLibrary.S ;-))
<mrvn> I would prefer if that would be a compiler option.
<mrvn> ocamlc --with-std-lib=JaneSt ... and you get JaneSt.
<flux> and what if you need to deal with two such libraries?
<ggole> Buy a box of tissues
<mrvn> flux: how would you mix them? Their internal representation of types would likely be incompatible.
<flux> extract information from one and put it into other
<flux> using an intermediate representation such as an iterator function
<mrvn> then the code has to explicitly use/open them
<mrvn> --with-std-lib would change what [], ::, @, ^, ... is
<mrvn> or List.iter
cball has quit [Quit: Leaving]
kakadu has quit [Quit: Page closed]
JuggleTux has quit [Remote host closed the connection]
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ryanartecona has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
cball has joined #ocaml
Anarchos has joined #ocaml
sgeisenh has joined #ocaml
yomimono has quit [Ping timeout: 272 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ryanartecona has quit [Quit: ryanartecona]
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 244 seconds]
dsheets has quit [Ping timeout: 260 seconds]
nullcatxxx_ has joined #ocaml
thomasga1 has quit [Quit: Leaving.]
jtfmumm has joined #ocaml
ely-se has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
Haudegen has joined #ocaml
AltGr has left #ocaml [#ocaml]
ely-se has quit [Quit: leaving]
nullcatxxx_ has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
thomasga has joined #ocaml
nullcatxxx_ has quit [Client Quit]
Guest38 has joined #ocaml
thomasga has quit [Client Quit]
Guest38 has quit [Ping timeout: 256 seconds]
Guest38 has joined #ocaml
<haesbaert> is there a way to extend a module ?
<haesbaert> s/module/record
<haesbaert> say I have type x = { x : int }, and now I want a type xy = { x : int; y: int} can I make record type xy compatible with record type x ?
<haesbaert> I'm guessing no
<haesbaert> I think I solved my issue, nvm
struk|work has joined #ocaml
kolko has quit [Quit: ZNC - http://znc.in]
kolko has joined #ocaml
<ggole> haesbaert: objects can do that
<ggole> Records, no.
thomasga has joined #ocaml
thomasga has quit [Client Quit]
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<flux> this may be applicaple at times: type 'a base = { x : int } type x = unit base type xy = int base
<flux> ..if you can plan ahead and the additional field doesn't matter
MercurialAlchemi has joined #ocaml
JuggleTux has joined #ocaml
<haesbaert> flux: ah I see, that would solve indeed
<flux> except I mistyped the key part ;-)
<flux> type 'a base = { x : int: y : 'a }
<ggole> Additional field?
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
grouzen has quit [Ping timeout: 250 seconds]
nullcatxxx_ has joined #ocaml
pyon has quit [Quit: Damn you, Emacs. F...ix yourself.]
nullcatxxx_ has quit [Client Quit]
thomasga has quit [Quit: Leaving.]
nullcatxxx_ has joined #ocaml
pyon has joined #ocaml
nullcatxxx_ has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
<flux> sometimes a 'partial record' is useful when you just don't have all the data at that point, and on the other hand you don't want to deal with an option field
ryanartecona has joined #ocaml
tennix has quit [Ping timeout: 245 seconds]
rand000 has joined #ocaml
tennix has joined #ocaml
Anarchos has joined #ocaml
tennix has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
tennix has joined #ocaml
shinnya has joined #ocaml
MrScout has joined #ocaml
tennix has quit [Ping timeout: 250 seconds]
JuggleTux has quit [Quit: Lost terminal]
tennix has joined #ocaml
johnf_ has joined #ocaml
tennix has quit [Ping timeout: 272 seconds]
tennix has joined #ocaml
tennix has quit [Changing host]
tennix has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
gpietro has quit [Quit: Leaving]
whirm has quit [Ping timeout: 250 seconds]
tennix has joined #ocaml
kolko has quit [Ping timeout: 240 seconds]
whirm has joined #ocaml
tennix has quit [Ping timeout: 240 seconds]
tennix has joined #ocaml
ygrek_ has joined #ocaml
tennix has quit [Ping timeout: 272 seconds]
larhat has joined #ocaml
xet7_ has quit [Read error: Connection reset by peer]
ygrek_ has quit [Ping timeout: 250 seconds]
xet7_ has joined #ocaml
jtfmumm has joined #ocaml
tennix has joined #ocaml
tennix has quit [Ping timeout: 240 seconds]
tennix has joined #ocaml
obadz has quit [Quit: leaving]
tennix has quit [Ping timeout: 250 seconds]
<MercurialAlchemi> flux: you could just use a curried function with named arguments
mea-culpa has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
<flux> mercurialalchemi, not if you need to retrieve values from the partially constructed record
nullcatxxx_ has joined #ocaml
<flux> well I suppose you still could, but it's not a simpler solution?-)
kolko has joined #ocaml
MrScout_ has joined #ocaml
nullcatxxx_ has quit [Client Quit]
MrScout has quit [Ping timeout: 244 seconds]
nullcatxxx_ has joined #ocaml
tennix has joined #ocaml
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tennix has quit [Ping timeout: 246 seconds]
raichoo has joined #ocaml
tane has joined #ocaml
tennix has joined #ocaml
dsheets has joined #ocaml
kolko has quit [Quit: ZNC - http://znc.in]
thomasga has joined #ocaml
kolko has joined #ocaml
tennix has quit [Ping timeout: 265 seconds]
bendiken has joined #ocaml
sh0t has quit [Quit: Leaving]
<MercurialAlchemi> flux: well, it does depend on what you want to do, certainly
<MercurialAlchemi> the curried function solution is the Builder pattern
<MercurialAlchemi> and typically, builders don't let you access the values you put in them
<MercurialAlchemi> if you really need to process "partially created" records, maybe you need real records instead :)
<sgeisenh> I can't find any documentation on the use of partial records. Could you send me in the right direction?
MrScout_ has quit [Remote host closed the connection]
yomimono has joined #ocaml
MrScout has joined #ocaml
<sgeisenh> I know that you can specify a partial record pattern using something like {a;b;_}. But I thought it bound the pattern to the most recently declared record type with those fields.
BitPuffin has quit [Ping timeout: 240 seconds]
MrScout_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
MrScout has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Connection closed for inactivity]
jtfmumm has joined #ocaml
MercurialAlchemi has joined #ocaml
whirm has quit [Quit: WeeChat 1.3]
rgrinberg has joined #ocaml
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Algebr`> Why aren't floats like ints in the runtime, why are they allocated
ygrek_ has joined #ocaml
kakadu has joined #ocaml
<ggole> On 32-bit systems, they wouldn't fit
<ggole> On other systems you could probably use NaN boxing
<bendiken> Algebr`: some good info on that, and other performance notes, at: https://janestreet.github.io/ocaml-perf-notes.html
jteg has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
<mrvn> ggole: That isn't the reason
<mrvn> Algebr`: floats on't have spare bits for a tag
<mrvn> don't
<ggole> They do in practice, which is why NaN boxing schemes are a thing
<mrvn> ggole: which bit is free for a tag? bit 0 isn't and bit 1 isn't eigther and the rest aren't free in pointers
<ggole> You are aware that there is a large space of possible NaN values, right?
<ggole> And that hardware and software only use one in practice? There's your space.
<mrvn> ggole: doesn't matter. You have to tag 1.0 so it doesn't get confused as a pointer
<ggole> People have been using tagged-float schemes for decades. Arguing that it doesn't work is silly.
<mrvn> ggole: tell me how it is supposed to work. Neither bit 0 nor 1 is free for a tag.
mea-culpa has joined #ocaml
<ggole> Sigh, I'll dig up a reference
nullcatxxx_ has quit [Remote host closed the connection]
nullcatxxx_ has joined #ocaml
<mrvn> ggole: "NaN-boxing is a technique based on the fact that in IEEE-754 there are 2**47 different bit patterns that all represent NaN."
<mrvn> ggole: that boxed non floats in NaN. You can't use that with 6bit intes
<mrvn> 63bit ints
<ggole> True, you only get so much space.
<mrvn> And on 32bit that would make value 64bit and double the memory
<ggole> Like I said: on other platforms you could use NaN boxing
<ggole> Probably not a great idea for OCaml, though
<ggole> Where float performance is a secondary concern
<mrvn> It would limit the range of ints and assumes that pointers fit in 47 bit. That only holds true on amd64.
nullcatxxx_ has quit [Ping timeout: 244 seconds]
<mrvn> So basically it only works for amd64.
<ggole> The JS (and luajit) people use it everywhere
<ggole> Er, everywhere 64-bit.
<ggole> Perhaps they limit their heaps to that area
<mrvn> must be
<mrvn> they might even limit the address space ft 32bit. Because there is a flag for that.
<ggole> Possible
<mrvn> I wonder how much slower ocaml would be if it uses NaN boxing. You would have to unbox nearly every value every time.
<ggole> But floats would be so fast!
<ggole> I agree, not a good choice.
ryanartecona has quit [Quit: ryanartecona]
<mrvn> does ocaml support 64bit ARMv6 already?
ryanartecona has joined #ocaml
<mrvn> ARMv8 even
octachron has quit [Quit: Leaving]
pyon has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
pyon has quit [Remote host closed the connection]
pyon has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
rand000 has quit [Ping timeout: 255 seconds]
averell has joined #ocaml
enquora has joined #ocaml
nullcatxxx_ has joined #ocaml
xet7_ is now known as xet7bot
claudiuc has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
ggole has quit []
Haudegen has joined #ocaml
grouzen has joined #ocaml
jtfmumm has joined #ocaml
<haesbaert> is there a way to kill an ocaml process and force a backtrace ?
<haesbaert> I want to know where the cpu is
cball has quit [Quit: Leaving]
<MercurialAlchemi> is there a way to convince merlin to lookup package sources in opam?
<Algebr`> ggole, mrvn : thanks
Denommus has joined #ocaml
cball has joined #ocaml
<zozozo> haesbaert: you could set a handler for sigint that raises an exception not handled by your code, and then use the functions in Printexc to print the backtrace when you handle the raised exception
<haesbaert> hmm cool, will try that
<haesbaert> thanks :D
<zozozo> haesbaert: even better you can use the Printexc.get_callstack to print the current stack without exiting the program
Rebelion has joined #ocaml
ygrek_ has quit [Ping timeout: 256 seconds]
MrScout has joined #ocaml
MrScout_ has quit [Read error: Connection reset by peer]
rand000 has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
Unhammer has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
agocorona has joined #ocaml
Haudegen has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
grouzen has quit [Ping timeout: 244 seconds]
xificurC has quit [Ping timeout: 250 seconds]
nullcatxxx_ has joined #ocaml
ygrek_ has joined #ocaml
nullcatxxx_ has quit [Client Quit]
ryanartecona has quit [Quit: ryanartecona]
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jtfmumm has joined #ocaml
Muzer has quit [Read error: Connection reset by peer]
Denommus has quit [Quit: going home]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
Muzer has joined #ocaml
thomasga has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 240 seconds]
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
tennix has joined #ocaml
Anarchos has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Quit: Connection closed for inactivity]
Muzer has quit [Excess Flood]
tristero has quit [Quit: tristero]
Muzer has joined #ocaml
<Drup> Is anyone in vancouver now already ? :D
larhat has quit [Quit: Leaving.]
nullcatxxx_ has joined #ocaml
enquora has quit [Quit: enquora]
tane has quit [Quit: Verlassend]
Muzer has quit [Excess Flood]
nullcatx_ has joined #ocaml
nullcatxxx_ has quit [Ping timeout: 250 seconds]
Muzer has joined #ocaml
tennix has quit [Ping timeout: 244 seconds]
nullcatx_ has quit [Ping timeout: 244 seconds]
tristero has joined #ocaml
BitPuffin|osx has joined #ocaml
kakadu has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
MrScout has quit [Remote host closed the connection]
apache2_ has joined #ocaml
apache2 has quit [Read error: Connection reset by peer]
srcerer_ has joined #ocaml
Intensity has quit [Ping timeout: 244 seconds]
Intensity has joined #ocaml
Intensity has quit [Changing host]
Intensity has joined #ocaml
srcerer has quit [Ping timeout: 244 seconds]
dsheets has quit [Ping timeout: 250 seconds]
<haesbaert> can I have a functor that takes a normal value (say a list) as argument and returns me a module ?
<haesbaert> or the input must always be another module ?
madroach has quit [Ping timeout: 264 seconds]
mea-culp` has joined #ocaml
madroach has joined #ocaml
mea-culpa has quit [Ping timeout: 244 seconds]
tennix has joined #ocaml
raichoo has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml