00:02
bronsen has quit [Ping timeout: 240 seconds]
00:08
cobreadmonster has joined #ocaml
00:12
andreas_ has quit [Quit: Connection closed for inactivity]
00:15
shinnya has joined #ocaml
00:23
trysound has quit [Quit: Connection closed for inactivity]
00:30
ygrek has quit [Ping timeout: 268 seconds]
00:35
silver_ has joined #ocaml
00:38
silver has quit [Ping timeout: 256 seconds]
00:39
infinity0_ has joined #ocaml
00:39
infinity0_ has quit [Changing host]
00:39
infinity0_ has joined #ocaml
00:39
infinity0 is now known as Guest98891
00:46
micro has joined #ocaml
00:58
navaja has joined #ocaml
00:59
navaja has quit [Read error: Connection reset by peer]
01:04
navaja has joined #ocaml
01:04
spew has quit [Quit: Connection closed for inactivity]
01:05
navaja has quit [Client Quit]
01:08
spew has joined #ocaml
01:22
silver_ has quit [Read error: Connection reset by peer]
01:28
zmt01 has quit [Quit: Leaving]
01:28
zmt00 has joined #ocaml
01:37
pierpa has joined #ocaml
01:44
nicooo has quit [Remote host closed the connection]
01:45
nicooo has joined #ocaml
02:10
jimmyrcom has joined #ocaml
02:12
al-damiri has quit [Quit: Connection closed for inactivity]
02:15
an-tuan has quit [Quit: WeeChat 2.0]
02:24
wagle has quit [Remote host closed the connection]
02:25
wagle has joined #ocaml
02:30
shinnya has quit [Ping timeout: 276 seconds]
02:38
mfp has quit [Ping timeout: 256 seconds]
02:41
FreeBirdLjj has joined #ocaml
02:46
FreeBirdLjj has quit [Ping timeout: 248 seconds]
02:48
sz0_ has joined #ocaml
02:49
sz0_ is now known as sz0
02:51
FreeBirdLjj has joined #ocaml
02:56
FreeBirdLjj has quit [Ping timeout: 276 seconds]
03:07
kakadu_ has joined #ocaml
03:10
kakadu has quit [Ping timeout: 260 seconds]
03:13
kakadu has joined #ocaml
03:17
kakadu_ has quit [Ping timeout: 276 seconds]
03:17
cobreadmonster has quit [Quit: Connection closed for inactivity]
03:54
spew has quit [Read error: Connection reset by peer]
04:02
govg has joined #ocaml
04:19
jimmyrcom has quit [Ping timeout: 240 seconds]
04:23
shinnya has joined #ocaml
04:46
cbot has joined #ocaml
05:23
jao has quit [Ping timeout: 240 seconds]
05:33
mbuf has joined #ocaml
05:36
FreeBirdLjj has joined #ocaml
05:37
pierpa has quit [Quit: Page closed]
05:41
FreeBirdLjj has quit [Ping timeout: 264 seconds]
05:48
govg has quit [Ping timeout: 248 seconds]
05:50
govg has joined #ocaml
06:29
govg has quit [Ping timeout: 268 seconds]
06:30
govg has joined #ocaml
06:37
sonologico has quit [Quit: WeeChat 1.9.1]
06:43
freyr has joined #ocaml
06:44
MercurialAlchemi has joined #ocaml
06:48
KeyJoo has joined #ocaml
07:25
freyr has quit [Remote host closed the connection]
07:29
whoman has quit [Ping timeout: 255 seconds]
07:34
jmiven has quit [Quit: co'o]
07:36
jmiven has joined #ocaml
07:37
Haudegen has joined #ocaml
07:38
govg has quit [Ping timeout: 256 seconds]
07:40
govg has joined #ocaml
07:43
solrize is now known as Arbitrary
07:43
cbot has quit [Quit: Leaving]
07:44
Arbitrary is now known as solrize
07:47
whoman has joined #ocaml
07:49
jimmyrcom has joined #ocaml
08:21
argent_smith has joined #ocaml
08:23
okeuday_bak has quit [Ping timeout: 248 seconds]
08:33
shinnya has quit [Ping timeout: 268 seconds]
08:38
webshinra has quit [Ping timeout: 276 seconds]
08:44
Soni has quit [Ping timeout: 260 seconds]
08:45
Soni has joined #ocaml
08:52
webshinra has joined #ocaml
08:53
ia0 has quit [Quit: reboot]
08:56
ia0 has joined #ocaml
09:00
barcabuona has quit [Ping timeout: 256 seconds]
09:13
webshinra has quit [Remote host closed the connection]
09:14
barcabuona has joined #ocaml
09:15
webshinra has joined #ocaml
09:21
jimmyrcom has quit [Ping timeout: 276 seconds]
09:28
maufred is now known as ipfix
09:29
sepp2k has joined #ocaml
09:35
rbocquet has quit [Quit: WeeChat 1.0.1]
09:36
rbocquet has joined #ocaml
09:36
rbocquet has quit [Client Quit]
09:36
rbocquet has joined #ocaml
09:37
rbocquet has quit [Client Quit]
09:38
rbocquet has joined #ocaml
09:44
rbocquet has quit [Quit: WeeChat 1.0.1]
09:44
rbocquet has joined #ocaml
09:55
kakadu has quit [Quit: Konversation terminated!]
09:55
kakadu has joined #ocaml
10:05
bramford has quit [Quit: leaving]
10:07
bramford has joined #ocaml
10:15
ziyourenxiang has joined #ocaml
10:16
TarVanimelde has joined #ocaml
10:21
MercurialAlchemi has quit [Ping timeout: 265 seconds]
10:22
MercurialAlchemi has joined #ocaml
10:23
_andre has joined #ocaml
10:24
KeyJoo has quit [Ping timeout: 248 seconds]
10:24
solrize has quit [Ping timeout: 265 seconds]
10:31
maattdd has joined #ocaml
10:40
zolk3ri has joined #ocaml
10:44
BitPuffin has joined #ocaml
10:45
ziyourenxiang has quit [Ping timeout: 248 seconds]
10:45
ziyourenxiang has joined #ocaml
10:54
mfp has joined #ocaml
11:10
mk9 has joined #ocaml
11:12
kerrhau has quit [Ping timeout: 265 seconds]
11:13
mk9 has quit [Client Quit]
11:22
mk9 has joined #ocaml
11:25
silver has joined #ocaml
11:29
TarVanimelde has quit [Quit: TarVanimelde]
11:40
andreas_ has joined #ocaml
11:54
okeuday_bak has joined #ocaml
11:56
an-tuan has joined #ocaml
11:58
okeuday_bak has quit [Ping timeout: 248 seconds]
12:07
KeyJoo has joined #ocaml
12:08
mbuf has quit [Quit: Leaving]
12:19
kakadu has quit [Read error: No route to host]
12:19
kakadu has joined #ocaml
12:22
mfp has quit [Ping timeout: 240 seconds]
12:25
IbnFirnas has quit [Ping timeout: 256 seconds]
12:27
ninegrid has quit [Remote host closed the connection]
12:27
ninegrid has joined #ocaml
12:27
salc has quit [Remote host closed the connection]
12:27
salc has joined #ocaml
12:49
jun has joined #ocaml
13:05
govg has quit [Ping timeout: 264 seconds]
13:08
ShalokShalom has joined #ocaml
13:11
ShalokShalom has quit [Remote host closed the connection]
13:13
govg has joined #ocaml
13:16
shinnya has joined #ocaml
13:22
madroach has quit [Ping timeout: 265 seconds]
13:23
madroach has joined #ocaml
13:29
freusque has quit [Ping timeout: 246 seconds]
13:32
bronsen has joined #ocaml
13:32
spew has joined #ocaml
13:38
freusque has joined #ocaml
13:42
Haudegen has quit [Remote host closed the connection]
13:59
jbrown has joined #ocaml
14:07
okeuday_bak has joined #ocaml
14:20
aciniglio has joined #ocaml
14:21
IbnFirnas has joined #ocaml
14:35
shinnya has quit [Ping timeout: 240 seconds]
14:36
freusque has quit [Ping timeout: 256 seconds]
14:40
an-tuan has quit [Ping timeout: 252 seconds]
14:42
an-tuan has joined #ocaml
14:46
Haudegen has joined #ocaml
14:53
zolk3ri has quit [Remote host closed the connection]
14:55
zolk3ri has joined #ocaml
14:56
mk9 has quit [Quit: mk9]
15:04
MercurialAlchemi has quit [Ping timeout: 240 seconds]
15:31
aciniglio has quit [Ping timeout: 256 seconds]
15:31
trysound has joined #ocaml
15:41
spew has quit [Quit: Connection closed for inactivity]
15:54
BitPuffin has quit [Remote host closed the connection]
16:04
MercurialAlchemi has joined #ocaml
16:08
ygrek has joined #ocaml
16:10
dtornabene has joined #ocaml
16:34
solrize has joined #ocaml
16:47
nahra has quit [Remote host closed the connection]
16:54
<
kakadu >
Folks, is merlin's autocomplete in emacs asynchronous?
16:54
<
kakadu >
it is lagging very much. It's annoying
16:54
<
haesbaert >
asynchronous in respect to what ?
16:54
<
kakadu >
in respect of asking backend and populating a list of completions
16:55
<
haesbaert >
hmm I'd expect it to be synchronous but never checked
16:55
<
haesbaert >
I mean, when you request the completions, I'd expect it to be synchronous
16:56
<
kakadu >
Do you expect it to be slow also? :)
16:56
<
haesbaert >
other than that it be asychronous
16:56
<
haesbaert >
mine is ok
16:56
<
haesbaert >
it's not slow for me at all
16:56
<
kakadu >
company-mode?
16:56
<
haesbaert >
dunno what's that so I'm assuming no
16:56
<
haesbaert >
no I use ac-complete
16:56
<
haesbaert >
and hook on merln
16:56
<
haesbaert >
*merlin
16:57
* kakadu
should probably try it....
16:57
<
haesbaert >
screenshot-wise seems to be very similar to company mode
16:57
<
haesbaert >
takes like 1s to popup I'd say
16:57
<
haesbaert >
on my mchine
17:00
kakadu has left #ocaml ["Konversation terminated!"]
17:01
kakadu has joined #ocaml
17:01
<
kakadu >
does it popups automatically or you invoke it when needed?
17:01
<
haesbaert >
both, it invokes after N seconds, or when I press a key
17:02
MercurialAlchemi has quit [Ping timeout: 256 seconds]
17:02
ziyourenxiang has quit [Ping timeout: 260 seconds]
17:02
<
kakadu >
Is this N second delay a mrelin config or someone's else?
17:03
<
haesbaert >
an ac config
17:03
<
haesbaert >
trying to find, 1s
17:03
<
haesbaert >
ac-auto-show-menu
17:04
<
haesbaert >
check auto-complete.el
17:04
<
haesbaert >
I think I have it disabled, worked at some point
17:04
<
haesbaert >
always use the key in the end
17:05
<
haesbaert >
but the timeout works, if that's what you're concerned
17:15
jao has joined #ocaml
17:22
<
lyxia >
x is free in (let g u = x + u in ...)
17:23
<
orbifx[m] >
but it's bound from the context lyxia ?
17:25
<
orbifx[m] >
I see though. Does anyone else find it a bit of a misnomer?
17:26
<
lyxia >
I don't find it confusing.
17:38
_andre has quit [Quit: leaving]
17:56
superherointj has joined #ocaml
18:05
superherointj has quit [Quit: Leaving]
18:06
<
octachron >
orbifx[m], variable freeness is by nature context-dependent: x is free in "x" and bound in "fun x -> x"
18:10
ygrek_ has joined #ocaml
18:11
ygrek has quit [Remote host closed the connection]
18:21
kakadu has quit [Quit: Konversation terminated!]
18:21
<
Leonidas >
aantron: Just wanted to say "thank you" for #453, I'll be porting my code to be compatible with Lwt >= 3.2.0
18:34
Haudegen has quit [Remote host closed the connection]
18:36
Jesin has joined #ocaml
18:46
Haudegen has joined #ocaml
19:02
zolk3ri has quit [Ping timeout: 268 seconds]
19:04
Anarchos has joined #ocaml
19:05
zolk3ri has joined #ocaml
19:07
kakadu has joined #ocaml
19:11
solrize has quit [Remote host closed the connection]
19:11
solrize has joined #ocaml
19:11
malc_ has joined #ocaml
19:23
mk9 has joined #ocaml
19:41
ygrek_ has quit [Ping timeout: 240 seconds]
19:52
anmol has joined #ocaml
20:04
KeyJoo has quit [Read error: Connection reset by peer]
20:05
anmol has quit [Quit: Leaving]
20:05
KeyJoo has joined #ocaml
20:16
emliunix has quit [Quit: No Ping reply in 180 seconds.]
20:18
emliunix has joined #ocaml
20:21
<
Leonidas >
rgrinberg: the jbuilder sexp format makes it enticing to do programmatic changes to build files. Is there any plans for jbuilder to supply a tool to edit jbuild files?
20:22
<
Leonidas >
Specifically, I am wondering whether there is an elegant way to add bisect_ppx to my build conditionally and doing that my editing jbuild files from some kind of script seems like my best bet.
20:24
mfp has joined #ocaml
20:34
Armael has joined #ocaml
20:36
<
Armael >
I wanted to quickly get started using it and had to ask Drup
21:24
jmiven has quit [Quit: co'o]
21:29
jmiven has joined #ocaml
21:47
sepp2k has quit [Quit: Leaving.]
21:49
Jesin has quit [Ping timeout: 255 seconds]
22:10
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
22:13
cbot has joined #ocaml
22:18
zolk3ri has quit [Quit: Lost terminal]
22:22
argent_smith has quit [Quit: Leaving.]
22:28
solrize has quit [Ping timeout: 276 seconds]
22:30
solrize has joined #ocaml
22:31
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]
22:35
KeyJoo has quit [Ping timeout: 248 seconds]
22:35
solrize has quit [Ping timeout: 240 seconds]
22:50
Jesin has joined #ocaml
22:50
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
22:52
pitastrudl has quit [Ping timeout: 276 seconds]
22:54
pitastrudl has joined #ocaml
22:57
troydm has joined #ocaml
22:58
dedgrant has quit [Ping timeout: 276 seconds]
23:17
dtornabene has quit [Remote host closed the connection]
23:19
<
orbifx[m] >
octachron: thanks
23:19
<
orbifx[m] >
are there any modules for parsing addresses of "name <user@host>" strings?
23:20
<
orbifx[m] >
are there any modules for parsing addresses of `"name <user@host>"` strings?
23:23
sh0t has quit [Remote host closed the connection]
23:40
<
Fardale >
orbifx[m]: look at an email library if there is any
23:40
solrize has joined #ocaml
23:41
<
Fardale >
As it is a standard form of address in email
23:42
<
orbifx[m] >
Fardale: I did :P
23:42
<
Fardale >
then I don't know
23:48
<
orbifx[m] >
thanks thizanne
23:49
<
thizanne >
(ping dinosaure, never tried it, I stumbled upon it a few weeks ago while looking for another thing)
23:49
kakadu has quit [Remote host closed the connection]
23:51
<
orbifx[m] >
thizanne: will do. Any idea why not in OPAM?
23:53
<
thizanne >
no, as I said I only know this library for being an unsuccessful result of my own research
23:54
<
thizanne >
there seems to be an opam file though, I guess pinning it would work
23:57
<
orbifx[m] >
thanks thizanne
23:59
dedgrant has joined #ocaml