00:05
mengu has quit [Remote host closed the connection]
00:20
ziyourenxiang has quit [Ping timeout: 276 seconds]
00:22
connorjacobsen has joined #ocaml
00:26
connorjacobsen has quit [Ping timeout: 252 seconds]
00:33
enterprisey has quit [Quit: Leaving]
00:33
enterprisey has joined #ocaml
00:41
bruce_r has joined #ocaml
00:42
raphaelss has quit [Ping timeout: 240 seconds]
00:48
ygrek has quit [Ping timeout: 255 seconds]
00:53
mfp__ has quit [Ping timeout: 276 seconds]
01:16
sam_ has quit [Ping timeout: 248 seconds]
01:23
KeyJoo has quit [Remote host closed the connection]
01:30
jao has quit [Ping timeout: 248 seconds]
02:15
olle has joined #ocaml
02:18
olle_ has quit [Ping timeout: 240 seconds]
02:34
ygrek has joined #ocaml
02:46
bsima has quit [Quit: Bye!]
02:48
ncthom91 has joined #ocaml
02:49
ncthom91 has quit [Client Quit]
02:52
Associat0r_ has quit [Ping timeout: 252 seconds]
02:59
tautologico has quit [Quit: Connection closed for inactivity]
03:05
jimmyrcom_ has joined #ocaml
03:09
joncfoo has joined #ocaml
03:12
harrisonx has joined #ocaml
03:12
sam_ has joined #ocaml
03:14
harrisonx is now known as moneymonkey
03:17
sam_ has quit [Ping timeout: 252 seconds]
03:17
nomicflux has quit [Quit: nomicflux]
03:17
joncfoo has quit [Ping timeout: 248 seconds]
03:21
BitPuffin|osx has quit [Ping timeout: 248 seconds]
03:28
mbuf has joined #ocaml
03:29
MercurialAlchemi has joined #ocaml
03:35
joncfoo has joined #ocaml
03:59
moneymonkey has quit [Quit: Leaving]
04:01
jlam__ has joined #ocaml
04:02
jlam_ has quit [Ping timeout: 252 seconds]
04:13
sam_ has joined #ocaml
04:17
sam_ has quit [Ping timeout: 248 seconds]
04:26
MercurialAlchemi has quit [Ping timeout: 240 seconds]
04:31
bruce_r has quit [Ping timeout: 246 seconds]
04:39
samrat_ has joined #ocaml
04:56
freusque has quit [Ping timeout: 255 seconds]
04:58
<
Khady >
↻ recompile cstruct 3.1.1 [uses jbuilder]
04:58
<
Khady >
↻ recompile stdio v0.9.0 [uses jbuilder]
04:58
<
Khady >
↻ recompile typerep v0.9.0 [uses jbuilder]
04:58
<
Khady >
using opam2 I have this during an upgrade
04:58
<
Khady >
is it expected to have recompilation of some packages because of a build dep?
04:59
<
Khady >
I thought it was not necessary to recompile a package when a build dep was updated
05:08
enterprisey has quit [Ping timeout: 260 seconds]
05:10
niris is now known as h11
05:17
raphaelss has joined #ocaml
05:21
bruce_r has joined #ocaml
05:36
MercurialAlchemi has joined #ocaml
05:39
joncfoo has quit [Quit: Leaving.]
05:40
bruce_r has quit [Ping timeout: 246 seconds]
05:49
enterprisey has joined #ocaml
06:01
enterprisey has quit [Remote host closed the connection]
06:02
bsima has joined #ocaml
06:13
sam_ has joined #ocaml
06:14
cbot has quit [Quit: Leaving]
06:17
sam_ has quit [Ping timeout: 248 seconds]
06:20
enterprisey has joined #ocaml
06:24
underscore has joined #ocaml
06:24
bruce_r has joined #ocaml
06:34
underscore has quit [Ping timeout: 260 seconds]
06:41
freusque has joined #ocaml
06:46
underscore has joined #ocaml
06:50
Simn has joined #ocaml
06:54
raphaelss has quit [Quit: Lost terminal]
06:57
freusque has quit [Ping timeout: 246 seconds]
07:01
underscore has quit [Ping timeout: 240 seconds]
07:11
andreas__ has joined #ocaml
07:11
freusque has joined #ocaml
07:13
jimmyrcom has quit [Ping timeout: 252 seconds]
07:33
bruce_r has quit [Ping timeout: 252 seconds]
07:38
olle has quit [Ping timeout: 246 seconds]
07:39
BitPuffin|osx has joined #ocaml
07:50
wklm has joined #ocaml
07:51
wklm has quit [Client Quit]
07:52
wklm has joined #ocaml
07:56
enterprisey has quit [Remote host closed the connection]
08:05
sepp2k has joined #ocaml
08:13
sam_ has joined #ocaml
08:17
sam_ has quit [Ping timeout: 248 seconds]
08:28
mbuf has quit [Quit: Leaving]
08:37
Sim_n has joined #ocaml
08:40
Simn has quit [Ping timeout: 246 seconds]
08:42
<
Leonidas >
Khady: no, it is probably not necessary, but I believe opam is stupid in this regard and does it anyway.
08:42
mfp__ has joined #ocaml
08:47
connorjacobsen has joined #ocaml
08:51
connorjacobsen has quit [Ping timeout: 248 seconds]
09:09
_whitelogger has joined #ocaml
09:20
mbuf has joined #ocaml
09:23
dhil has joined #ocaml
09:24
argent_smith has joined #ocaml
09:45
ygrek has quit [Ping timeout: 252 seconds]
09:47
nicooo has joined #ocaml
09:48
nicoo has quit [Remote host closed the connection]
09:48
trevorriles_ has quit [Ping timeout: 246 seconds]
09:49
trevorriles has joined #ocaml
09:50
KeyJoo has joined #ocaml
09:53
<
Khady >
I don't get the point of the build deps then
10:13
copy_ has joined #ocaml
10:13
sam_ has joined #ocaml
10:18
sam_ has quit [Ping timeout: 248 seconds]
10:41
<
Drup >
that's weird
10:41
<
Drup >
if you have the full trace, you should write a bug report
10:42
jao has joined #ocaml
10:47
samrat_ has quit [Ping timeout: 252 seconds]
10:59
jao has quit [Ping timeout: 276 seconds]
11:00
underscore has joined #ocaml
11:07
underscore has quit [Ping timeout: 240 seconds]
11:13
_andre has joined #ocaml
11:13
<
Khady >
how do I get a trace Drup?
11:27
<
Drup >
I meant the complete output
11:28
_andre has quit [Ping timeout: 264 seconds]
11:35
_andre has joined #ocaml
11:54
<
Leonidas >
what is the logic behind the letters in dbunzli's libraries? why ist it uuidM but Rresult and Astring?
11:54
<
Drup >
It's his artistic sense talking, mostly.
12:03
nicooo is now known as nicoo
12:04
nomicflux has joined #ocaml
12:07
<
Leonidas >
hmm, where can I find the documentation on how the whole `pp`/`pp_string`/`Format` machinery is supposed to be used?
12:07
<
Leonidas >
I keep on forgetting how it works
12:10
<
companion_cube >
!format
12:10
<
companion_cube >
!format_blogpost > Leonidas
12:10
<
companion_cube >
(one possibility)
12:10
<
companion_cube >
there's the manual page, too, of course
12:11
<
Leonidas >
companion_cube: yep, that's exactly what I was looking for (and I have googled for it, without luck)
12:11
<
Leonidas >
companion_cube: maybe you could submit it to ocaml.org? I think it would be a valuable resource
12:12
<
companion_cube >
you think so? maybe just a pointer…
12:13
sam_ has joined #ocaml
12:17
<
Leonidas >
hmm, it's strange. When I try to use it with Format.printf it works
12:17
<
Leonidas >
But when I use Format.sprintf "%a" it requires a different signature for the custom formatters
12:18
sam_ has quit [Ping timeout: 276 seconds]
12:20
<
octachron >
Leonidas, you need Format.asprintf if you are using "%a" specifiers
12:21
<
Leonidas >
octachron: ha, yes, that solved it. I tried Format.sprintf with (fun () v -> Uuidm.to_string) but that completely defeats the purpose
12:23
<
Drup >
Leonidas: if you can, just use Fmt always, and never Format
12:23
<
Drup >
it'll give you the right defaults, instead of the horrendous Format API
12:24
<
companion_cube >
or CCFormat ;)
12:24
<
Drup >
No, actually, use Fmt ;p
12:26
<
Drup >
Ah, yes, you use unit printers for seps now, ok, CCFormat is fine too :3
12:26
<
companion_cube >
:p
12:26
<
companion_cube >
is nested color handling in Fmt fixed now?
12:26
<
companion_cube >
(iirc it was not restoring previous colors?)
12:26
<
Drup >
Eh, color handling :/
12:27
<
Drup >
tags are such a mess in Format
12:27
dhil has quit [Ping timeout: 260 seconds]
12:28
jao has joined #ocaml
12:30
<
Leonidas >
Drup: I'll end up depending on every single of Dan's libs eventually
12:45
rossberg_ has quit [Remote host closed the connection]
12:47
nomicflux has quit [Quit: nomicflux]
12:48
rossberg has joined #ocaml
12:49
freusque has quit [Quit: WeeChat 1.7.1]
12:51
dhil has joined #ocaml
12:51
freusque has joined #ocaml
12:52
nightmared has quit [Read error: Connection reset by peer]
13:00
<
dakk >
which is the best way to convert a 4bytes string representing a 4bytes native float (single precision) to an ocaml float?
13:04
nullx002 has quit [Ping timeout: 260 seconds]
13:04
samrat_ has joined #ocaml
13:06
nullx002 has joined #ocaml
13:07
Kakadu has joined #ocaml
13:09
<
copy_ >
dakk: One option would be using ocplib-endian
13:09
Kakadu has quit [Remote host closed the connection]
13:13
aciniglio has joined #ocaml
13:13
sam_ has joined #ocaml
13:14
bacam has quit [Quit: Reconnecting]
13:14
bacam has joined #ocaml
13:15
dhil has quit [Ping timeout: 248 seconds]
13:16
malina has joined #ocaml
13:18
sam_ has quit [Ping timeout: 240 seconds]
13:19
nightmared has joined #ocaml
13:20
<
dakk >
copy_, and does it convert C native floats or the ocaml binary representation of it (maybe it's the same)?
13:24
<
drsmkl[m] >
what about `Int32.float_of_bits` ?
13:28
enterprisey has joined #ocaml
13:28
BitPuffin|osx has quit [Read error: Connection reset by peer]
13:34
BitPuffin|osx has joined #ocaml
13:34
samrat_ has quit [Ping timeout: 240 seconds]
13:35
dhil has joined #ocaml
13:39
<
dakk >
drsmkl[m], thanks, it's what I was looking for
13:41
sh0t has joined #ocaml
13:47
enterprisey has quit [Remote host closed the connection]
13:54
sepp2k has quit [Remote host closed the connection]
13:58
troydm has quit [Ping timeout: 255 seconds]
14:00
malina has quit [Ping timeout: 240 seconds]
14:03
joncfoo has joined #ocaml
14:03
dhil has quit [Ping timeout: 240 seconds]
14:03
sepp2k has joined #ocaml
14:08
MercurialAlchemi has quit [Ping timeout: 240 seconds]
14:13
samrat_ has joined #ocaml
14:29
<
orbifx[m] >
Deja vu
14:33
sepp2k has quit [Ping timeout: 248 seconds]
14:35
dhil has joined #ocaml
14:35
al-damiri has joined #ocaml
14:40
joncfoo has left #ocaml [#ocaml]
14:44
sam___ has joined #ocaml
14:47
sepp2k has joined #ocaml
14:47
aantron_ has joined #ocaml
14:50
aantron_ has quit [Client Quit]
14:50
jlam__ is now known as jlam
14:56
sam___ has quit [Ping timeout: 248 seconds]
15:16
malina has joined #ocaml
15:17
MercurialAlchemi has joined #ocaml
15:21
ziyourenxiang has joined #ocaml
15:21
dhil has quit [Ping timeout: 240 seconds]
15:23
dhil has joined #ocaml
15:38
malina has quit [Read error: Connection reset by peer]
15:39
FreeBirdLjj has joined #ocaml
15:45
bsima has quit [Quit: Bye!]
15:45
pzp has joined #ocaml
15:46
sam___ has joined #ocaml
15:47
argent_smith has quit [Quit: Leaving.]
15:48
bsima has joined #ocaml
15:53
bruce_r has joined #ocaml
16:11
olle has joined #ocaml
16:18
bruce_r has quit [Ping timeout: 246 seconds]
16:27
connorjacobsen has joined #ocaml
16:37
dhil has quit [Ping timeout: 240 seconds]
16:46
sam___ has quit [Ping timeout: 248 seconds]
16:51
dhil has joined #ocaml
16:51
kolko has joined #ocaml
17:00
jbrown has joined #ocaml
17:06
govg has joined #ocaml
17:09
connorjacobsen has quit []
17:11
tane has joined #ocaml
17:16
SomeDamnBody has joined #ocaml
17:16
<
SomeDamnBody >
How can I get a C resource .a file to link into a cma?
17:16
<
SomeDamnBody >
I tried putting it in CCLib...
17:16
tokomak has joined #ocaml
17:33
peterpp has joined #ocaml
17:36
bsima has quit [Quit: Bye!]
17:41
tautologico has joined #ocaml
17:41
troydm has joined #ocaml
17:43
sam____ has joined #ocaml
17:43
jbrown has left #ocaml ["Leaving"]
17:46
FreeBirdLjj has quit [Remote host closed the connection]
17:47
FreeBirdLjj has joined #ocaml
17:48
kolko has joined #ocaml
17:48
sam____ has quit [Ping timeout: 240 seconds]
17:49
olle has quit [Remote host closed the connection]
17:50
FreeBirdLjj has quit [Remote host closed the connection]
17:50
FreeBirdLjj has joined #ocaml
17:53
kolko_ has joined #ocaml
17:54
kolko has quit [Read error: Connection reset by peer]
17:58
TheLemonMan has joined #ocaml
18:04
enterprisey has joined #ocaml
18:06
peterpp has quit [Read error: Connection reset by peer]
18:19
leah2 has quit [Ping timeout: 240 seconds]
18:19
SomeDamnBody has quit [Remote host closed the connection]
18:20
keep_learning has quit [Remote host closed the connection]
18:21
kolko_ has quit [Ping timeout: 240 seconds]
18:21
enterprisey has quit [Remote host closed the connection]
18:22
leah2 has joined #ocaml
18:26
samrat_ has quit [Ping timeout: 248 seconds]
18:32
FreeBirdLjj has quit [Remote host closed the connection]
18:35
dhil has quit [Ping timeout: 260 seconds]
18:37
peterpp has joined #ocaml
18:39
leah2 has quit [Ping timeout: 252 seconds]
18:45
sam___ has joined #ocaml
18:47
foo_ has joined #ocaml
18:48
dhil has joined #ocaml
18:50
sam___ has quit [Ping timeout: 252 seconds]
18:50
jimmyrcom has joined #ocaml
18:56
antron[m] has joined #ocaml
18:57
bruce_r has joined #ocaml
18:58
bsima has joined #ocaml
18:59
antron[m] is now known as aantron
19:02
foo_ has quit [Quit: Page closed]
19:09
mbuf has quit [Quit: Leaving]
19:12
leah2 has joined #ocaml
19:13
peterpp has quit [Quit: Ex-Chat]
19:13
peterpp has joined #ocaml
19:14
foo_ has joined #ocaml
19:15
foo_ has quit [Client Quit]
19:18
Orion3k has joined #ocaml
19:24
copy_ has quit [Quit: Connection closed for inactivity]
19:25
malina has joined #ocaml
19:28
peterpp has quit [Ping timeout: 240 seconds]
19:28
argent_smith has joined #ocaml
19:33
ygrek has joined #ocaml
19:39
dhil has quit [Ping timeout: 240 seconds]
19:46
sam___ has joined #ocaml
19:51
sam___ has quit [Ping timeout: 276 seconds]
19:54
KeyJoo has quit [Quit: Good luck! Have a nice Day!]
19:56
igstan has joined #ocaml
19:57
igstan has quit [Client Quit]
20:00
theblatte has quit [Ping timeout: 240 seconds]
20:02
theblatte has joined #ocaml
20:03
malc_ has joined #ocaml
20:08
MercurialAlchemi has quit [Ping timeout: 240 seconds]
20:30
sepp2k has quit [Quit: Leaving.]
20:30
peterpp has joined #ocaml
20:30
peterpp has quit [Read error: Connection reset by peer]
20:32
ayxih has joined #ocaml
20:32
enterprisey has joined #ocaml
20:34
coventry has joined #ocaml
20:35
SomeDamnBody has joined #ocaml
20:38
<
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
20:39
<
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...
20:41
bruce_r has quit [Ping timeout: 255 seconds]
20:41
<
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.
20:43
<
malc_ >
coventry: type ('a, 'b) p = 'a -> 'b -> ('a * 'b) ?
20:44
<
coventry >
Thanks, malc_.
20:47
sam_ has joined #ocaml
20:49
tane has quit [Quit: Leaving]
20:51
sam_ has quit [Ping timeout: 252 seconds]
21:08
<
Drup >
coventry: the record is used to introduced forall types
21:09
<
coventry >
So it's that putting it in a record allows you to include abstract local types?
21:10
<
Drup >
those are not really abstract local types, just universally quantified type variables
21:11
<
coventry >
How is that different from "type ('a, 'b) p = 'a -> 'b -> ('a * 'b)"? Aren't those universally quantified too?
21:11
<
coventry >
"those" ==> 'a and 'b.
21:14
<
coventry >
So there's no way to express such universal quantification in a straight function type?
21:14
<
Drup >
No, you need a record
21:14
<
coventry >
(Explains the error messages I was getting, too.)
21:15
<
coventry >
OK, thanks.
21:15
<
Drup >
(or an object)
21:16
enterprisey has quit [Remote host closed the connection]
21:21
eh_eff has joined #ocaml
21:27
enterprisey has joined #ocaml
21:31
SomeDamnBody has quit [Remote host closed the connection]
21:34
aciniglio has quit [Ping timeout: 240 seconds]
21:37
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
21:48
sam_ has joined #ocaml
21:52
sam_ has quit [Ping timeout: 255 seconds]
21:59
peterpp has joined #ocaml
22:06
Soni has quit [Ping timeout: 240 seconds]
22:07
Soni has joined #ocaml
22:11
tautologico has quit [Quit: Connection closed for inactivity]
22:13
Sim_n has quit [Quit: Leaving]
22:15
enterprisey has quit [Remote host closed the connection]
22:15
cbot has joined #ocaml
22:31
sillyotter has joined #ocaml
22:33
sillyotter has quit [Client Quit]
22:41
CrazedProgrammer has joined #ocaml
22:48
sam_ has joined #ocaml
22:53
sam_ has quit [Ping timeout: 240 seconds]
23:01
andreas__ has quit [Quit: Connection closed for inactivity]
23:06
peterpp has quit [Ping timeout: 276 seconds]
23:10
copy_ has joined #ocaml
23:10
argent_smith has quit [Quit: Leaving.]
23:14
al-damiri has quit [Quit: Connection closed for inactivity]
23:15
pzp has quit [Quit: Connection closed for inactivity]
23:16
sh0t has quit [Remote host closed the connection]
23:20
ayxih has quit [Quit: Leaving]
23:25
bruce_r has joined #ocaml
23:31
ziyourenxiang has quit [Ping timeout: 264 seconds]
23:36
sz0 has joined #ocaml
23:48
cbot_ has joined #ocaml
23:49
sam_ has joined #ocaml
23:51
cbot has quit [Ping timeout: 240 seconds]
23:52
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
23:54
sam_ has quit [Ping timeout: 240 seconds]