companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
mengu has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 276 seconds]
connorjacobsen has joined #ocaml
connorjacobsen has quit [Ping timeout: 252 seconds]
enterprisey has quit [Quit: Leaving]
enterprisey has joined #ocaml
bruce_r has joined #ocaml
raphaelss has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 255 seconds]
mfp__ has quit [Ping timeout: 276 seconds]
sam_ has quit [Ping timeout: 248 seconds]
KeyJoo has quit [Remote host closed the connection]
jao has quit [Ping timeout: 248 seconds]
olle has joined #ocaml
olle_ has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
bsima has quit [Quit: Bye!]
ncthom91 has joined #ocaml
ncthom91 has quit [Client Quit]
Associat0r_ has quit [Ping timeout: 252 seconds]
tautologico has quit [Quit: Connection closed for inactivity]
jimmyrcom_ has joined #ocaml
joncfoo has joined #ocaml
harrisonx has joined #ocaml
sam_ has joined #ocaml
harrisonx is now known as moneymonkey
sam_ has quit [Ping timeout: 252 seconds]
nomicflux has quit [Quit: nomicflux]
joncfoo has quit [Ping timeout: 248 seconds]
BitPuffin|osx has quit [Ping timeout: 248 seconds]
mbuf has joined #ocaml
MercurialAlchemi has joined #ocaml
joncfoo has joined #ocaml
moneymonkey has quit [Quit: Leaving]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 252 seconds]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
bruce_r has quit [Ping timeout: 246 seconds]
samrat_ has joined #ocaml
freusque has quit [Ping timeout: 255 seconds]
<Khady> ↻ recompile cstruct 3.1.1 [uses jbuilder]
<Khady> ↻ recompile stdio v0.9.0 [uses jbuilder]
<Khady> ↻ recompile typerep v0.9.0 [uses jbuilder]
<Khady> using opam2 I have this during an upgrade
<Khady> is it expected to have recompilation of some packages because of a build dep?
<Khady> I thought it was not necessary to recompile a package when a build dep was updated
enterprisey has quit [Ping timeout: 260 seconds]
niris is now known as h11
raphaelss has joined #ocaml
bruce_r has joined #ocaml
MercurialAlchemi has joined #ocaml
joncfoo has quit [Quit: Leaving.]
bruce_r has quit [Ping timeout: 246 seconds]
enterprisey has joined #ocaml
enterprisey has quit [Remote host closed the connection]
bsima has joined #ocaml
sam_ has joined #ocaml
cbot has quit [Quit: Leaving]
sam_ has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
underscore has joined #ocaml
bruce_r has joined #ocaml
underscore has quit [Ping timeout: 260 seconds]
freusque has joined #ocaml
underscore has joined #ocaml
Simn has joined #ocaml
raphaelss has quit [Quit: Lost terminal]
freusque has quit [Ping timeout: 246 seconds]
underscore has quit [Ping timeout: 240 seconds]
andreas__ has joined #ocaml
freusque has joined #ocaml
jimmyrcom has quit [Ping timeout: 252 seconds]
bruce_r has quit [Ping timeout: 252 seconds]
olle has quit [Ping timeout: 246 seconds]
BitPuffin|osx has joined #ocaml
wklm has joined #ocaml
wklm has quit [Client Quit]
wklm has joined #ocaml
enterprisey has quit [Remote host closed the connection]
sepp2k has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
mbuf has quit [Quit: Leaving]
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 246 seconds]
<Leonidas> Khady: no, it is probably not necessary, but I believe opam is stupid in this regard and does it anyway.
mfp__ has joined #ocaml
connorjacobsen has joined #ocaml
connorjacobsen has quit [Ping timeout: 248 seconds]
_whitelogger has joined #ocaml
mbuf has joined #ocaml
dhil has joined #ocaml
argent_smith has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
nicooo has joined #ocaml
nicoo has quit [Remote host closed the connection]
trevorriles_ has quit [Ping timeout: 246 seconds]
trevorriles has joined #ocaml
KeyJoo has joined #ocaml
<Khady> I don't get the point of the build deps then
copy_ has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 248 seconds]
<Drup> that's weird
<Drup> if you have the full trace, you should write a bug report
jao has joined #ocaml
samrat_ has quit [Ping timeout: 252 seconds]
jao has quit [Ping timeout: 276 seconds]
underscore has joined #ocaml
underscore has quit [Ping timeout: 240 seconds]
_andre has joined #ocaml
<Khady> how do I get a trace Drup?
<Drup> I meant the complete output
_andre has quit [Ping timeout: 264 seconds]
_andre has joined #ocaml
<Leonidas> what is the logic behind the letters in dbunzli's libraries? why ist it uuidM but Rresult and Astring?
<Drup> It's his artistic sense talking, mostly.
nicooo is now known as nicoo
nomicflux has joined #ocaml
<Leonidas> hmm, where can I find the documentation on how the whole `pp`/`pp_string`/`Format` machinery is supposed to be used?
<Leonidas> I keep on forgetting how it works
<companion_cube> !format
<companion_cube> !format_blogpost > Leonidas
<companion_cube> (one possibility)
<companion_cube> there's the manual page, too, of course
<Leonidas> companion_cube: yep, that's exactly what I was looking for (and I have googled for it, without luck)
<Leonidas> companion_cube: maybe you could submit it to ocaml.org? I think it would be a valuable resource
<companion_cube> you think so? maybe just a pointer…
sam_ has joined #ocaml
<Leonidas> hmm, it's strange. When I try to use it with Format.printf it works
<Leonidas> But when I use Format.sprintf "%a" it requires a different signature for the custom formatters
sam_ has quit [Ping timeout: 276 seconds]
<octachron> Leonidas, you need Format.asprintf if you are using "%a" specifiers
<Leonidas> octachron: ha, yes, that solved it. I tried Format.sprintf with (fun () v -> Uuidm.to_string) but that completely defeats the purpose
<Leonidas> thansk!
<Drup> Leonidas: if you can, just use Fmt always, and never Format
<Drup> it'll give you the right defaults, instead of the horrendous Format API
<companion_cube> or CCFormat ;)
<Drup> No, actually, use Fmt ;p
<Drup> Ah, yes, you use unit printers for seps now, ok, CCFormat is fine too :3
<companion_cube> :p
<companion_cube> is nested color handling in Fmt fixed now?
<companion_cube> (iirc it was not restoring previous colors?)
<Drup> Eh, color handling :/
<Drup> tags are such a mess in Format
dhil has quit [Ping timeout: 260 seconds]
jao has joined #ocaml
<Leonidas> Drup: I'll end up depending on every single of Dan's libs eventually
rossberg_ has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
rossberg has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
dhil has joined #ocaml
freusque has joined #ocaml
nightmared has quit [Read error: Connection reset by peer]
<dakk> which is the best way to convert a 4bytes string representing a 4bytes native float (single precision) to an ocaml float?
nullx002 has quit [Ping timeout: 260 seconds]
samrat_ has joined #ocaml
nullx002 has joined #ocaml
Kakadu has joined #ocaml
<copy_> dakk: One option would be using ocplib-endian
Kakadu has quit [Remote host closed the connection]
aciniglio has joined #ocaml
sam_ has joined #ocaml
bacam has quit [Quit: Reconnecting]
bacam has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
malina has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
nightmared has joined #ocaml
<dakk> copy_, and does it convert C native floats or the ocaml binary representation of it (maybe it's the same)?
<drsmkl[m]> what about `Int32.float_of_bits` ?
enterprisey has joined #ocaml
BitPuffin|osx has quit [Read error: Connection reset by peer]
BitPuffin|osx has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
<dakk> drsmkl[m], thanks, it's what I was looking for
sh0t has joined #ocaml
enterprisey has quit [Remote host closed the connection]
sepp2k has quit [Remote host closed the connection]
troydm has quit [Ping timeout: 255 seconds]
malina has quit [Ping timeout: 240 seconds]
joncfoo has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
samrat_ has joined #ocaml
<orbifx[m]> Deja vu
sepp2k has quit [Ping timeout: 248 seconds]
dhil has joined #ocaml
al-damiri has joined #ocaml
joncfoo has left #ocaml [#ocaml]
sam___ has joined #ocaml
sepp2k has joined #ocaml
aantron_ has joined #ocaml
aantron_ has quit [Client Quit]
jlam__ is now known as jlam
sam___ has quit [Ping timeout: 248 seconds]
malina has joined #ocaml
MercurialAlchemi has joined #ocaml
ziyourenxiang has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
malina has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
bsima has quit [Quit: Bye!]
pzp has joined #ocaml
sam___ has joined #ocaml
argent_smith has quit [Quit: Leaving.]
bsima has joined #ocaml
bruce_r has joined #ocaml
olle has joined #ocaml
bruce_r has quit [Ping timeout: 246 seconds]
connorjacobsen has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
sam___ has quit [Ping timeout: 248 seconds]
dhil has joined #ocaml
kolko has joined #ocaml
jbrown has joined #ocaml
govg has joined #ocaml
connorjacobsen has quit []
tane has joined #ocaml
SomeDamnBody has joined #ocaml
<SomeDamnBody> How can I get a C resource .a file to link into a cma?
<SomeDamnBody> I tried putting it in CCLib...
tokomak has joined #ocaml
nullx002 has quit [Quit: EliteBNC - http://elitebnc.org (Auto-Removal: idle account/not being used)]
peterpp has joined #ocaml
bsima has quit [Quit: Bye!]
tautologico has joined #ocaml
troydm has joined #ocaml
sam____ has joined #ocaml
jbrown has left #ocaml ["Leaving"]
kolko has quit [Quit: ZNC - http://znc.in]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kolko has joined #ocaml
sam____ has quit [Ping timeout: 240 seconds]
olle has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kolko_ has joined #ocaml
kolko has quit [Read error: Connection reset by peer]
TheLemonMan has joined #ocaml
enterprisey has joined #ocaml
peterpp has quit [Read error: Connection reset by peer]
leah2 has quit [Ping timeout: 240 seconds]
SomeDamnBody has quit [Remote host closed the connection]
keep_learning has quit [Remote host closed the connection]
kolko_ has quit [Ping timeout: 240 seconds]
enterprisey has quit [Remote host closed the connection]
leah2 has joined #ocaml
samrat_ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 260 seconds]
peterpp has joined #ocaml
leah2 has quit [Ping timeout: 252 seconds]
sam___ has joined #ocaml
foo_ has joined #ocaml
dhil has joined #ocaml
sam___ has quit [Ping timeout: 252 seconds]
jimmyrcom has joined #ocaml
antron[m] has joined #ocaml
bruce_r has joined #ocaml
bsima has joined #ocaml
antron[m] is now known as aantron
foo_ has quit [Quit: Page closed]
mbuf has quit [Quit: Leaving]
leah2 has joined #ocaml
peterpp has quit [Quit: Ex-Chat]
peterpp has joined #ocaml
foo_ has joined #ocaml
foo_ has quit [Client Quit]
Orion3k has joined #ocaml
copy_ has quit [Quit: Connection closed for inactivity]
malina has joined #ocaml
peterpp has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
ygrek has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 276 seconds]
KeyJoo has quit [Quit: Good luck! Have a nice Day!]
igstan has joined #ocaml
igstan has quit [Client Quit]
theblatte has quit [Ping timeout: 240 seconds]
theblatte has joined #ocaml
malc_ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sepp2k has quit [Quit: Leaving.]
peterpp has joined #ocaml
peterpp has quit [Read error: Connection reset by peer]
ayxih has joined #ocaml
enterprisey has joined #ocaml
coventry has joined #ocaml
SomeDamnBody has joined #ocaml
<SomeDamnBody> I can't get oasis/opam to link to a .a archive file with some C objects. I have a library target, but it doesn't appear to include all the symbols it needs
<SomeDamnBody> I know the file that contains what is requested. I have specified this at CCLib, but it doesn't appear to get linked to the .cma that I am trying to load...
bruce_r has quit [Ping timeout: 255 seconds]
<coventry> How can I represent a function type with abstract types in it? Like "type p = 'a -> 'b -> ('a * 'b)", for use in constraint expressions.
<malc_> coventry: type ('a, 'b) p = 'a -> 'b -> ('a * 'b) ?
<coventry> Thanks, malc_.
sam_ has joined #ocaml
tane has quit [Quit: Leaving]
sam_ has quit [Ping timeout: 252 seconds]
<coventry> Is wrapping a function type up in a record type like this an idiom for dealing with GADT's? If I replace it with a straight function type, I get a cascade of mysterious typing errors. https://github.com/tezos/tezos/blob/c18ee3fc3f71566415cd2d23b1a3aae02ff59df5/src/minutils/data_encoding.ml#L217
<Drup> coventry: the record is used to introduced forall types
<coventry> So it's that putting it in a record allows you to include abstract local types?
<Drup> those are not really abstract local types, just universally quantified type variables
<coventry> How is that different from "type ('a, 'b) p = 'a -> 'b -> ('a * 'b)"? Aren't those universally quantified too?
<coventry> "those" ==> 'a and 'b.
<coventry> Oh, this explains it well: https://bryangarza.github.io/universal-quantification-in-ocaml.html . Thanks again, Drup.
<coventry> So there's no way to express such universal quantification in a straight function type?
<Drup> No, you need a record
<coventry> (Explains the error messages I was getting, too.)
<coventry> OK, thanks.
<Drup> (or an object)
enterprisey has quit [Remote host closed the connection]
eh_eff has joined #ocaml
enterprisey has joined #ocaml
SomeDamnBody has quit [Remote host closed the connection]
aciniglio has quit [Ping timeout: 240 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 255 seconds]
peterpp has joined #ocaml
Soni has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
Sim_n has quit [Quit: Leaving]
enterprisey has quit [Remote host closed the connection]
cbot has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
CrazedProgrammer has joined #ocaml
sam_ has joined #ocaml
sam_ has quit [Ping timeout: 240 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
peterpp has quit [Ping timeout: 276 seconds]
copy_ has joined #ocaml
argent_smith has quit [Quit: Leaving.]
al-damiri has quit [Quit: Connection closed for inactivity]
pzp has quit [Quit: Connection closed for inactivity]
sh0t has quit [Remote host closed the connection]
ayxih has quit [Quit: Leaving]
bruce_r has joined #ocaml
ziyourenxiang has quit [Ping timeout: 264 seconds]
sz0 has joined #ocaml
cbot_ has joined #ocaml
sam_ has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
sam_ has quit [Ping timeout: 240 seconds]