00:00
reem has joined #ocaml
00:05
rgrinberg has joined #ocaml
00:08
<
SomeDamnBody >
thizanne, now that I've installed the package I still can't load the libraries
00:08
<
SomeDamnBody >
in utop
00:08
<
SomeDamnBody >
or even baptop
00:10
reem has quit [Ping timeout: 256 seconds]
00:16
badon_ has joined #ocaml
00:16
badon has quit [Disconnected by services]
00:16
bytbox has joined #ocaml
00:16
badon_ is now known as badon
00:17
jao has quit [Ping timeout: 250 seconds]
00:17
nullcat has quit [Quit: gone...]
00:17
reem has joined #ocaml
00:24
Flakers has quit [Quit: Page closed]
00:25
<
SomeDamnBody >
oh wait, installation didn't complete
00:33
ghostpl_ has joined #ocaml
00:34
madroach has quit [Ping timeout: 264 seconds]
00:34
Guest94374 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
00:35
madroach has joined #ocaml
00:36
ptc has joined #ocaml
00:37
ptc is now known as Guest66520
00:38
reem has quit [Remote host closed the connection]
00:38
ghostpl_ has quit [Ping timeout: 252 seconds]
00:39
reem has joined #ocaml
00:44
reem has quit [Ping timeout: 256 seconds]
00:46
waneck has joined #ocaml
00:46
swistak35 has left #ocaml [#ocaml]
00:48
jwatzman|work has quit [Quit: jwatzman|work]
00:50
contempt has quit [Ping timeout: 250 seconds]
00:52
contempt has joined #ocaml
00:57
Algebr has quit [Remote host closed the connection]
01:00
bytbox has quit [Remote host closed the connection]
01:01
Guest66520 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
01:07
reem has joined #ocaml
01:12
yminsky has joined #ocaml
01:14
ptc_ has joined #ocaml
01:24
rgrinberg has quit [Ping timeout: 240 seconds]
01:27
WraithM has joined #ocaml
01:28
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
01:35
paolooo has joined #ocaml
01:38
MrScout_ has quit [Ping timeout: 256 seconds]
01:39
rgrinberg has joined #ocaml
01:39
yminsky has quit [Quit: yminsky]
01:48
reem has quit [Remote host closed the connection]
01:54
reem has joined #ocaml
01:55
WraithM has quit [Quit: leaving]
01:56
reem has quit [Remote host closed the connection]
01:58
yminsky has joined #ocaml
02:00
yminsky has quit [Client Quit]
02:01
yminsky has joined #ocaml
02:02
yminsky has quit [Client Quit]
02:03
shinnya has quit [Ping timeout: 245 seconds]
02:18
wagle_ has joined #ocaml
02:20
haesbaer1 has joined #ocaml
02:20
darkf has joined #ocaml
02:21
fraggle-boate_ has joined #ocaml
02:21
BitPuffin has quit [Ping timeout: 250 seconds]
02:21
fraggle-boate__ has quit [Ping timeout: 250 seconds]
02:21
axiles has quit [Ping timeout: 250 seconds]
02:21
wagle has quit [Ping timeout: 250 seconds]
02:21
Drup has quit [Ping timeout: 250 seconds]
02:21
haesbaert has quit [Ping timeout: 250 seconds]
02:21
tristero has quit [Ping timeout: 250 seconds]
02:21
trystero has joined #ocaml
02:21
Druup has joined #ocaml
02:22
wagle_ is now known as wagle
02:22
ghostpl_ has joined #ocaml
02:26
antkong has quit [Quit: antkong]
02:26
ghostpl_ has quit [Ping timeout: 245 seconds]
02:27
axiles has joined #ocaml
02:34
paolooo has quit [Quit: Page closed]
02:34
SomeDamnBody has quit [Ping timeout: 272 seconds]
02:35
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
02:35
paolooo has joined #ocaml
02:36
antkong has joined #ocaml
02:38
ygrek has joined #ocaml
02:39
yminsky has joined #ocaml
02:51
reem has joined #ocaml
02:52
reem has quit [Remote host closed the connection]
02:52
travisbrady has joined #ocaml
02:55
reem has joined #ocaml
02:56
monoprotic has joined #ocaml
03:03
reem has quit [Remote host closed the connection]
03:06
yminsky has quit [Quit: yminsky]
03:09
reem has joined #ocaml
03:16
claudiuc has quit [Remote host closed the connection]
03:20
ptc has joined #ocaml
03:20
ptc is now known as Guest43565
03:28
reem has quit [Remote host closed the connection]
03:36
WraithM has joined #ocaml
03:37
reem has joined #ocaml
03:40
hilquias has quit [Ping timeout: 264 seconds]
03:41
reem has quit [Remote host closed the connection]
03:43
reem has joined #ocaml
03:46
yminsky has joined #ocaml
03:49
yminsky has quit [Client Quit]
03:49
keen__________78 has joined #ocaml
03:51
keen__________77 has quit [Ping timeout: 264 seconds]
03:53
reem has quit [Remote host closed the connection]
03:54
swgillespie has joined #ocaml
03:55
nullcat has joined #ocaml
03:56
keen__________78 has quit [Read error: Connection reset by peer]
03:58
keen__________78 has joined #ocaml
04:00
reem has joined #ocaml
04:02
reem has quit [Remote host closed the connection]
04:02
larhat1 has joined #ocaml
04:04
larhat has quit [Ping timeout: 245 seconds]
04:11
ghostpl_ has joined #ocaml
04:13
Guest43565 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
04:14
BitPuffin has joined #ocaml
04:15
ptc has joined #ocaml
04:15
ptc is now known as Guest39913
04:16
ghostpl_ has quit [Ping timeout: 272 seconds]
04:18
reem_ has joined #ocaml
04:22
larhat1 has quit [Quit: Leaving.]
04:22
reem_ has quit [Remote host closed the connection]
04:24
Guest39913 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
04:28
bytbox has joined #ocaml
04:34
SomeDamnBody has joined #ocaml
04:38
divyansh_ has joined #ocaml
04:39
SomeDamnBody has quit [Ping timeout: 244 seconds]
04:43
ptc_ has joined #ocaml
04:44
divyansh_ has quit [Ping timeout: 245 seconds]
04:47
divyansh_ has joined #ocaml
04:48
reem has joined #ocaml
04:48
divyansh_ has quit [Client Quit]
04:51
reem has quit [Remote host closed the connection]
04:55
reem has joined #ocaml
04:56
travisbrady has quit [Quit: travisbrady]
04:57
ygrek_ has joined #ocaml
04:59
ygrek has quit [Ping timeout: 264 seconds]
05:00
reem has quit [Remote host closed the connection]
05:05
reem_ has joined #ocaml
05:08
mcc has joined #ocaml
05:08
rgrinberg has quit [Ping timeout: 245 seconds]
05:08
mcc has quit [Client Quit]
05:18
jbrown has quit [Ping timeout: 244 seconds]
05:19
reem_ has quit [Remote host closed the connection]
05:20
rgrinberg has joined #ocaml
05:22
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
05:31
reem has joined #ocaml
05:31
divyansh_ has joined #ocaml
05:32
WraithM has quit [Quit: leaving]
05:33
reem has quit [Remote host closed the connection]
05:37
reem has joined #ocaml
05:39
paolooo has quit [Ping timeout: 246 seconds]
05:39
reem has quit [Remote host closed the connection]
05:41
MercurialAlchemi has joined #ocaml
05:44
reem has joined #ocaml
05:47
reem has quit [Remote host closed the connection]
05:59
ghostpl_ has joined #ocaml
06:04
ghostpl_ has quit [Ping timeout: 255 seconds]
06:04
ebzzry has quit [Ping timeout: 255 seconds]
06:06
reem has joined #ocaml
06:08
reem has quit [Remote host closed the connection]
06:10
reem has joined #ocaml
06:14
reem has quit [Ping timeout: 245 seconds]
06:35
reem has joined #ocaml
06:35
ygrek_ has quit [Ping timeout: 252 seconds]
06:38
Submarine has joined #ocaml
06:39
reem has quit [Remote host closed the connection]
06:42
antkong has quit [Quit: antkong]
06:46
ptc has joined #ocaml
06:47
ptc is now known as Guest74134
06:47
reem has joined #ocaml
06:57
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
06:57
Submarine has quit [Quit: Leaving]
06:59
swgillespie has joined #ocaml
07:01
Simn has joined #ocaml
07:07
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
07:11
ygrek_ has joined #ocaml
07:15
ghostpl_ has joined #ocaml
07:15
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
07:19
Guest74134 has quit [Ping timeout: 252 seconds]
07:20
ghostpl_ has quit [Ping timeout: 246 seconds]
07:20
oscar_toro has quit [Quit: Lost terminal]
07:21
larhat has joined #ocaml
07:21
reem has quit [Remote host closed the connection]
07:21
reem has joined #ocaml
07:25
reem has quit [Remote host closed the connection]
07:30
reem has joined #ocaml
07:32
avsm has joined #ocaml
07:36
MrScout_ has joined #ocaml
07:37
reem has quit [Remote host closed the connection]
07:39
nullcat has joined #ocaml
07:42
reem has joined #ocaml
07:44
reem has quit [Remote host closed the connection]
07:47
reem has joined #ocaml
07:49
Haudegen has quit [Ping timeout: 246 seconds]
07:50
sol__ has quit [Ping timeout: 240 seconds]
07:52
reem has quit [Remote host closed the connection]
07:53
sol__ has joined #ocaml
07:54
avsm has quit [Quit: Leaving.]
07:55
Haudegen has joined #ocaml
07:58
ggole has joined #ocaml
08:00
reem has joined #ocaml
08:02
ontologiae_ has joined #ocaml
08:10
WraithM has joined #ocaml
08:11
MercurialAlchemi has quit [Remote host closed the connection]
08:11
MercurialAlchemi has joined #ocaml
08:12
reem has quit [Remote host closed the connection]
08:12
rgrinberg has quit [Ping timeout: 272 seconds]
08:14
Pepe_ has quit [Remote host closed the connection]
08:16
ghostpl_ has joined #ocaml
08:17
Pepe_ has joined #ocaml
08:22
ghostpl_ has quit [Ping timeout: 264 seconds]
08:28
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
08:31
reem has joined #ocaml
08:33
ygrek_ has quit [Ping timeout: 264 seconds]
08:35
reem has quit [Remote host closed the connection]
08:37
Kakadu has joined #ocaml
08:37
reem has joined #ocaml
08:44
martintrojer has quit [Max SendQ exceeded]
08:44
martintrojer has joined #ocaml
08:44
sol__ has quit [Ping timeout: 246 seconds]
08:44
sol__ has joined #ocaml
08:45
laughing-octo-sh has joined #ocaml
08:47
reem has quit [Remote host closed the connection]
08:48
tane has joined #ocaml
08:48
freling has joined #ocaml
08:49
antkong has joined #ocaml
08:51
reem has joined #ocaml
08:56
moei has quit [Quit: Leaving...]
08:57
reem has quit [Remote host closed the connection]
08:58
moei has joined #ocaml
09:00
badon_ has joined #ocaml
09:00
badon has quit [Disconnected by services]
09:00
badon_ is now known as badon
09:01
reem has joined #ocaml
09:03
antkong has quit [Ping timeout: 265 seconds]
09:06
laughing-octo-sh has quit [Ping timeout: 246 seconds]
09:07
zpe has joined #ocaml
09:08
reem has quit [Remote host closed the connection]
09:09
rgrinberg has joined #ocaml
09:13
reem has joined #ocaml
09:13
rgrinberg has quit [Ping timeout: 244 seconds]
09:15
reem has quit [Remote host closed the connection]
09:21
ygrek_ has joined #ocaml
09:26
ghostpl_ has joined #ocaml
09:32
reem has joined #ocaml
09:33
antkong has joined #ocaml
09:36
dsheets has quit [Ping timeout: 245 seconds]
09:43
arj has joined #ocaml
09:46
ghostpl_ has quit [Remote host closed the connection]
09:53
antkong has quit [Ping timeout: 246 seconds]
09:54
mort___ has joined #ocaml
10:00
dav has quit [Ping timeout: 255 seconds]
10:00
dav__ has joined #ocaml
10:02
zpe has quit [Remote host closed the connection]
10:05
dsheets has joined #ocaml
10:08
Haudegen has quit [Ping timeout: 244 seconds]
10:10
MrScout_ has quit [Remote host closed the connection]
10:14
Haudegen has joined #ocaml
10:18
ghostpl_ has joined #ocaml
10:23
avsm has joined #ocaml
10:34
avsm has quit [Quit: Leaving.]
10:36
leowzukw has joined #ocaml
10:38
rand000 has joined #ocaml
10:46
mcclurmc_ has joined #ocaml
10:46
Haudegen has quit [Ping timeout: 252 seconds]
10:48
mcclurmc has quit [Ping timeout: 256 seconds]
10:48
reem has quit [Remote host closed the connection]
10:50
Haudegen has joined #ocaml
10:55
avsm has joined #ocaml
10:58
rgrinberg has joined #ocaml
11:00
avsm has quit [Client Quit]
11:01
_andre has joined #ocaml
11:03
rgrinberg has quit [Ping timeout: 272 seconds]
11:06
yminsky has joined #ocaml
11:09
avsm has joined #ocaml
11:12
avsm has quit [Client Quit]
11:21
haesbaer1 has quit [Quit: leaving]
11:22
haesbaert has joined #ocaml
11:29
Fullma has joined #ocaml
11:36
seangrov` has quit [Ping timeout: 264 seconds]
11:41
waneck has quit [Ping timeout: 264 seconds]
11:44
reem has joined #ocaml
11:49
reem has quit [Ping timeout: 256 seconds]
11:52
AlexRussia has quit [Ping timeout: 264 seconds]
11:56
tane has quit [Quit: Verlassend]
11:56
yomimono has joined #ocaml
11:56
ygrek_ has quit [Ping timeout: 250 seconds]
12:01
yminsky has quit [Quit: yminsky]
12:03
dsheets has quit [Ping timeout: 264 seconds]
12:04
yomimono has quit [Ping timeout: 264 seconds]
12:09
matason has joined #ocaml
12:11
ghostpl_ has quit [Remote host closed the connection]
12:13
rgrinberg has joined #ocaml
12:18
rgrinberg has quit [Ping timeout: 252 seconds]
12:20
AlexRussia has joined #ocaml
12:24
paradoja has joined #ocaml
12:45
reem has joined #ocaml
12:50
reem has quit [Ping timeout: 272 seconds]
12:51
avsm has joined #ocaml
12:52
<
freling >
Is there a way to print a variant value (for logging purpose)?
12:53
<
dmbaturin >
freling: You can make a formatter for it (or just a string_of_foo function).
12:53
<
freling >
Right now I have a function that matches | Foo -> "Foo" | Bar -> "Bar"
12:53
<
dmbaturin >
Or use a syntax extension that produces pretty printers for you.
12:54
<
freling >
Where should I look to do that?
12:59
<
tizoc >
does anyone know how to use lwt's ppx extension (or ppx in general) with merlin?
13:00
avsm has quit [Quit: Leaving.]
13:00
shinnya has joined #ocaml
13:01
<
thizanne >
with PKG ppx_deriving.std in my .merlin, I can use this syntax extension
13:01
keen__________79 has joined #ocaml
13:01
<
companion_cube >
or, to try just once: :Use ppx_deriving.std
13:03
keen__________78 has quit [Ping timeout: 256 seconds]
13:04
<
tizoc >
adding "FLG -ppx ppx_lwt" to .merlin works, but looking at the source it seems it should be able to find .ppx subpackages by itself?
13:06
ghostpl_ has joined #ocaml
13:12
moviuro has quit [Quit: ZNC on a FreeBSD jail, from an Archlinux laptop and OpenBSD openVPN server... what else?]
13:12
<
def` >
tizoc: don't use flag, do as thizanne and companion_cube said
13:14
rgrinberg has joined #ocaml
13:17
<
tizoc >
that worked (I think I didn't restart the process before)
13:18
<
companion_cube >
:Reload is very useful
13:19
<
tizoc >
M-x merlin-restart-process in my case
13:19
rossberg has quit [Ping timeout: 265 seconds]
13:20
rgrinberg has quit [Ping timeout: 246 seconds]
13:21
moviuro has joined #ocaml
13:21
<
companion_cube >
yes, sorry
13:27
moviuro has quit [Remote host closed the connection]
13:31
moviuro has joined #ocaml
13:31
rossberg has joined #ocaml
13:40
rgrinberg has joined #ocaml
13:41
sol__ has quit [Ping timeout: 244 seconds]
13:41
matason has quit [Quit: leaving]
13:44
dsheets has joined #ocaml
13:44
sol__ has joined #ocaml
13:45
rgrinberg has quit [Ping timeout: 264 seconds]
13:50
lordkryss has joined #ocaml
13:52
zpe has joined #ocaml
14:02
mort___ has quit [Ping timeout: 265 seconds]
14:04
rgrinberg has joined #ocaml
14:07
yomimono has joined #ocaml
14:09
jbrown has joined #ocaml
14:21
yminsky has joined #ocaml
14:21
struktured has joined #ocaml
14:21
`eeks has joined #ocaml
14:24
mort___ has joined #ocaml
14:32
Algebr has joined #ocaml
14:33
psy_ has quit [Ping timeout: 244 seconds]
14:39
gargaml has quit [Quit: WeeChat 1.1.1]
14:40
leowzukw has quit [Remote host closed the connection]
14:44
ghostpl_ has quit [Remote host closed the connection]
14:48
ghostpl_ has joined #ocaml
14:50
rgrinberg has quit [Ping timeout: 256 seconds]
14:54
rgrinberg has joined #ocaml
14:55
mort___ has quit [Quit: Leaving.]
14:55
`eeks has quit [Ping timeout: 246 seconds]
14:56
shinnya has quit [Ping timeout: 246 seconds]
14:58
mort___ has joined #ocaml
14:58
badkins has joined #ocaml
15:12
Druup is now known as Drup
15:13
mort___ has quit [Quit: Leaving.]
15:20
`eeks has joined #ocaml
15:20
yminsky has quit [Quit: yminsky]
15:25
rgrinberg has quit [Ping timeout: 244 seconds]
15:27
larhat has quit [Quit: Leaving.]
15:29
slash^ has joined #ocaml
15:33
mort___1 has joined #ocaml
15:36
ghostpl_ has quit [Remote host closed the connection]
15:36
mort___2 has joined #ocaml
15:36
mort___1 has quit [Read error: Connection reset by peer]
15:40
mort___2 has quit [Ping timeout: 246 seconds]
15:42
ghostpl_ has joined #ocaml
15:46
struktured has quit [Ping timeout: 244 seconds]
15:55
psy_ has joined #ocaml
15:58
arj has quit [Quit: Leaving.]
16:00
darkf has quit [Quit: Leaving]
16:00
tnguyen has quit [Quit: tnguyen]
16:03
MercurialAlchemi has quit [Remote host closed the connection]
16:03
paradoja has quit [Ping timeout: 240 seconds]
16:04
MercurialAlchemi has joined #ocaml
16:05
sol__ has quit [Ping timeout: 272 seconds]
16:05
AlexRussia has quit [Ping timeout: 256 seconds]
16:05
travisbrady has joined #ocaml
16:18
ddosia has quit [Quit: Connection closed for inactivity]
16:18
lordkryss has quit [Quit: Connection closed for inactivity]
16:21
rgrinberg has joined #ocaml
16:22
nicoo has quit [Ping timeout: 256 seconds]
16:26
rgrinberg has quit [Ping timeout: 252 seconds]
16:28
AlexRussia has joined #ocaml
16:28
travisbrady has quit [Quit: travisbrady]
16:28
travisbrady has joined #ocaml
16:30
yomimono has quit [Ping timeout: 252 seconds]
16:40
yomimono has joined #ocaml
16:41
bjorkintosh has quit [Ping timeout: 245 seconds]
16:41
<
seliopou >
is there any way to make the type checker recognize a class type parameter as being a polymorphic variant?
16:41
fedjo has quit [Remote host closed the connection]
16:41
<
Drup >
how would that work ?
16:41
<
companion_cube >
you mean, you have class ['a] foo = .... ?
16:41
<
Drup >
ok, I got it
16:42
<
seliopou >
yeah so i wanna do something like this
16:42
<
Drup >
no, there is not
16:42
<
companion_cube >
you can add constraint 'a = [> `foo | `bar]
16:42
<
seliopou >
class ['a constraint [> `Empty] = 'a] foo = ...
16:42
<
companion_cube >
unless you mean, any poly variant
16:42
<
seliopou >
but that doesn't work :/
16:42
<
companion_cube >
put the constraint outside
16:42
<
seliopou >
in the mli?
16:42
<
seliopou >
Drup: D:
16:43
<
Drup >
seliopou: actually, if you have a minimal poly variant, you can
16:43
<
seliopou >
yup I have the minimal one
16:43
<
Drup >
you can't say "any poly variant, as long as it's a poly variant"
16:43
<
seliopou >
[> `Empty] is what I
16:43
<
seliopou >
m looking for
16:43
jbrown has quit [Quit: Client exiting]
16:44
<
seliopou >
what's the syntax look like tho? I've tried a few things with no luck
16:44
<
companion_cube >
class virtual ['a] ref = object constraint 'a = [>`foo | `bar] method virtual set: 'a -> unit method virtual get: 'a end ;;
16:44
<
seliopou >
ok gonna try
16:44
<
seliopou >
companion_cube:
_within_ the object?
16:44
seangrove has joined #ocaml
16:44
<
companion_cube >
apparently
16:44
<
seliopou >
thanks guys!
16:45
<
seliopou >
it works
16:45
<
seliopou >
(so far)
16:45
<
seliopou >
this is gonna be amazing
16:45
<
companion_cube >
:D
16:45
<
Drup >
All the most fabulous disaster started like that.
16:46
<
seliopou >
Drup: knock on wood for me :)
16:49
paradoja has joined #ocaml
16:52
seangrove has quit [Ping timeout: 272 seconds]
16:55
rand000 has quit [Ping timeout: 250 seconds]
16:58
Nahra has quit [Remote host closed the connection]
16:58
seangrove has joined #ocaml
17:01
nicoo has joined #ocaml
17:04
bjorkintosh has joined #ocaml
17:05
arj has joined #ocaml
17:06
ptc has joined #ocaml
17:06
ptc is now known as Guest54767
17:14
<
nlucaroni >
opps this isn't postgres
17:15
zpe has quit [Remote host closed the connection]
17:20
rgrinberg has joined #ocaml
17:24
hilquias has joined #ocaml
17:33
igitoor has quit [Ping timeout: 250 seconds]
17:34
igitoor has joined #ocaml
17:34
Muzer has quit [Ping timeout: 256 seconds]
17:35
jwatzman|work has joined #ocaml
17:37
ghostpl_ has quit [Remote host closed the connection]
17:40
mort___ has joined #ocaml
17:40
yomimono has quit [Ping timeout: 265 seconds]
17:42
ptc_ has joined #ocaml
17:42
Guest54767 has quit [Read error: Connection reset by peer]
17:43
Muzer has joined #ocaml
17:45
igitoor has joined #ocaml
17:45
igitoor has quit [Changing host]
17:46
arj has quit [Quit: Leaving.]
17:46
yomimono has joined #ocaml
17:57
ontologiae_ has quit [Ping timeout: 272 seconds]
17:59
Kakadu has quit [Quit: Page closed]
18:07
jprakash has joined #ocaml
18:08
jao has joined #ocaml
18:08
jao has quit [Changing host]
18:08
jao has joined #ocaml
18:21
TheLemonMan has joined #ocaml
18:26
zpe has joined #ocaml
18:27
nullcat has joined #ocaml
18:28
travisbrady has quit [Quit: travisbrady]
18:31
zpe has quit [Ping timeout: 245 seconds]
18:37
`eeks has quit [Read error: Connection reset by peer]
18:41
MrScout has joined #ocaml
18:45
Submarine has joined #ocaml
18:45
Submarine has joined #ocaml
18:45
travisbrady has joined #ocaml
18:49
Kakadu has joined #ocaml
18:52
netABCs has joined #ocaml
18:58
`eeks has joined #ocaml
19:06
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
19:07
mort___ has quit [Quit: Leaving.]
19:14
tnguyen has joined #ocaml
19:16
nlucaroni has quit [Quit: leaving]
19:17
ptc has joined #ocaml
19:17
ptc is now known as Guest75711
19:18
ghostpl_ has joined #ocaml
19:22
nullcat has quit [Read error: Connection reset by peer]
19:27
ghostpl__ has joined #ocaml
19:31
ghostpl_ has quit [Ping timeout: 255 seconds]
19:32
MrScout has quit [Ping timeout: 256 seconds]
19:33
mort___ has joined #ocaml
19:33
paradoja has quit [Ping timeout: 272 seconds]
19:34
<
haesbaert >
what are my options for network library ? should I just use sockets directly ?
19:34
<
haesbaert >
I want to build something with lwt and udp
19:35
<
_obad_ >
haesbaert: I myself just use Lwt_unix
19:36
<
haesbaert >
will try that, one less library
19:38
yomimono has quit [Ping timeout: 255 seconds]
19:40
ollehar1 has joined #ocaml
19:40
<
haesbaert >
hmm does lwt actually spawns pthreads ?
19:40
<
haesbaert >
ahh no, read the documentation, wrong, it says "for syscalls that cannot be made asynchronously"
19:42
<
_obad_ >
haesbaert: I'm using Lwt_preemptive to do just that but it's a very specific case (I'm just lazy to update a kernel driver with non-blocking calls)
19:42
<
_obad_ >
you usually don't need that
19:43
<
haesbaert >
nah I totally don't want it
19:43
<
haesbaert >
I'd be fine just using poll/select directly, but learning lwt seems like a good thing
19:44
bytbox has quit [Remote host closed the connection]
19:45
<
adrien >
lwt is way better than epoll() which is way better than poll() which is way better than select()
19:45
<
haesbaert >
which is all worse than libevent(3) :D
19:46
<
adrien >
I'm not sure libevent beats lwt :)
19:46
<
haesbaert >
if you're coding C, libevent is really awesome, I mean really awesome
19:46
<
adrien >
reminds me: lwt uses libeve
19:47
<
adrien >
so you get OCaml and more than libev
19:47
<
adrien >
shouldn't be limitating :)
19:48
<
adrien >
(the fact that it uses libev is completely invisible)
19:48
<
haesbaert >
I want to implement a netcat clone, just for learning
19:48
<
haesbaert >
it makes sense, having a backend for poll/select/epoll/kevent instead of just using libev would be a pain for lwt I guess
19:49
<
adrien >
especially the windows support ;-)
19:49
<
haesbaert >
ohh, did not think of that
19:49
<
flux >
haesbaert, btw, though this doesn't affect your project goal ;-), socat it great
19:49
rand000 has joined #ocaml
19:50
<
haesbaert >
ahh I've heard of
19:50
<
haesbaert >
seems to be a good improvement over gnu's netcat
19:50
<
haesbaert >
which kinda sucks
19:51
<
haesbaert >
I use the openbsd rewrite which is pretty ok imho
19:51
AlexRussia has quit [Ping timeout: 255 seconds]
19:51
<
adrien >
socat is netcat on steroids
19:52
<
adrien >
you can listen on a port and open a connectiong to another host upon receiving a connection
19:52
<
adrien >
possibly forking for doing so
19:52
<
adrien >
it can do soooo many things
19:52
<
flux >
I suppose the concept could be extended even further
19:52
nullcat has joined #ocaml
19:52
<
flux >
connect unix domain socket with a builtin web server ;-)
19:53
<
adrien >
I think it does ;-)
19:53
<
haesbaert >
no clock_gettime() in Unix :(
19:53
AlexRussia has joined #ocaml
19:53
<
adrien >
well, it isn't built-in
19:53
<
haesbaert >
how do I get monotonic time ?
19:53
<
adrien >
haesbaert: no, it's very "light"
19:53
<
adrien >
haesbaert: have a look at ExtUnix or maybe somewhere in lwt
19:54
oriba has joined #ocaml
19:55
<
haesbaert >
hmm not in ExtUnix, might have found my first diff to send
19:55
<
flux >
well, I
_think_ Core has it
19:56
slash^ has quit [Read error: Connection reset by peer]
19:56
<
adrien >
I'm fairly sure I've seen it in extunis
19:57
dsheets has quit [Ping timeout: 256 seconds]
19:58
alkoma has joined #ocaml
19:58
AlexRussia has quit [Quit: WeeChat 1.2-dev]
19:59
AlexRussia has joined #ocaml
20:02
jprakash has quit [Ping timeout: 264 seconds]
20:02
rgrinberg has quit [Ping timeout: 265 seconds]
20:03
laughing-octo-sh has joined #ocaml
20:03
Guest75711 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
20:04
rgrinberg has joined #ocaml
20:04
Submarine has quit [Quit: Leaving]
20:04
swgillespie has joined #ocaml
20:07
mort___ has quit [Quit: Leaving.]
20:08
_andre has quit [Quit: leaving]
20:11
MrScout has joined #ocaml
20:12
MrScout has quit [Remote host closed the connection]
20:12
MrScout has joined #ocaml
20:15
monod has joined #ocaml
20:16
dsheets has joined #ocaml
20:17
MrScout has quit [Ping timeout: 246 seconds]
20:18
jbalint has quit [Ping timeout: 245 seconds]
20:21
AlexRussia has quit [Ping timeout: 245 seconds]
20:28
enquora has joined #ocaml
20:33
MrScout has joined #ocaml
20:33
MrScout has quit [Client Quit]
20:37
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
20:40
ptc has joined #ocaml
20:40
ptc is now known as Guest98304
20:41
antkong has joined #ocaml
20:43
claudiuc has joined #ocaml
20:44
claudiuc has quit [Remote host closed the connection]
20:44
claudiuc has joined #ocaml
20:45
jbalint has joined #ocaml
20:45
jbalint has joined #ocaml
20:57
bytbox has joined #ocaml
20:58
antkong has quit [Quit: antkong]
20:58
nullcat has quit [Read error: Connection reset by peer]
20:59
antkong has joined #ocaml
21:03
travisbrady has quit [Quit: travisbrady]
21:05
travisbrady has joined #ocaml
21:06
jprakash has joined #ocaml
21:07
antkong has quit [Quit: antkong]
21:14
<
ollehar1 >
can I force the structure of a type on type level, e.g. a list where the first element always is type a?
21:19
enquora has quit [Remote host closed the connection]
21:22
Guest98304 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
21:26
swgillespie has joined #ocaml
21:30
tnguyen has quit [Ping timeout: 256 seconds]
21:31
ptc_ has joined #ocaml
21:51
netABCs has quit [Ping timeout: 250 seconds]
21:55
tnguyen has joined #ocaml
22:00
struktured has joined #ocaml
22:01
<
haesbaert >
hi, stupid question, hi do I test for the optional value of something with "if", not match ?
22:02
<
haesbaert >
insteach of: match foo with | Some foo -> gotfoo | _ -> nofoo
22:02
<
haesbaert >
if Some foo then...
22:03
<
Drup >
haesbaert: why would you want to do that ?
22:03
Fullma has quit [Ping timeout: 245 seconds]
22:03
dwoos has joined #ocaml
22:04
<
haesbaert >
Drup: I was just making some tests and wanting to print something if the argument was passed
22:04
<
haesbaert >
nothing real, but got me puzzled
22:04
Kakadu has quit [Remote host closed the connection]
22:04
<
haesbaert >
something tells me it is not possible
22:06
Fullma has joined #ocaml
22:07
<
`eeks >
Option.Monad_infix if you want a one-liner
22:07
<
Drup >
haesbaert: you can get Option functions in various libraries
22:08
<
Drup >
In your case, Option.iter
22:09
Anarchos has joined #ocaml
22:11
tnguyen has quit [Quit: tnguyen]
22:13
claudiuc has quit [Quit: Leaving...]
22:15
monod has quit [Quit: Sto andando via]
22:15
claudiuc has joined #ocaml
22:20
antkong has joined #ocaml
22:21
BitPuffin has quit [Ping timeout: 244 seconds]
22:30
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
22:33
Muzer has quit [Ping timeout: 256 seconds]
22:34
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
22:36
reem has joined #ocaml
22:40
MrScout_ has joined #ocaml
22:41
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
22:41
arj has joined #ocaml
22:42
arj has quit [Client Quit]
22:44
travisbrady has quit [Quit: travisbrady]
22:45
Muzer has joined #ocaml
22:45
pyon has left #ocaml ["test"]
22:46
hilquias has quit [Ping timeout: 264 seconds]
22:47
netABCs has joined #ocaml
22:52
netABCs has quit [Ping timeout: 272 seconds]
22:54
ptc has joined #ocaml
22:54
ptc is now known as Guest28295
22:55
swgillespie has joined #ocaml
22:56
ghostpl__ has quit [Remote host closed the connection]
22:58
bytbox has quit [Remote host closed the connection]
23:11
TheLemonMan has quit [Remote host closed the connection]
23:11
bytbox has joined #ocaml
23:13
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
23:16
pyon has joined #ocaml
23:17
jprakash has quit [Ping timeout: 250 seconds]
23:18
ebzzry has joined #ocaml
23:25
ollehar1 has quit [Ping timeout: 252 seconds]
23:26
claudiuc has quit [Remote host closed the connection]
23:26
claudiuc has joined #ocaml
23:29
nullcat has joined #ocaml
23:30
shinnya has joined #ocaml
23:36
travisbrady has joined #ocaml
23:39
laughing-octo-sh has quit [Ping timeout: 245 seconds]
23:48
swgillespie has joined #ocaml
23:55
freling has quit [Quit: Leaving.]
23:55
oriba has quit [Quit: Verlassend]
23:57
ghostpl_ has joined #ocaml