00:17
bluestorm_ has quit [Read error: 113 (No route to host)]
00:24
ulfdoz has quit [Read error: 110 (Connection timed out)]
00:31
jbms has left #ocaml []
01:04
Morphous has joined #ocaml
01:05
seafood has joined #ocaml
01:20
Amorphous has quit [Read error: 110 (Connection timed out)]
01:25
Ched- has quit [Read error: 101 (Network is unreachable)]
01:25
Ched- has joined #ocaml
01:48
ulfdoz has joined #ocaml
02:28
coucou747 has quit ["bye ca veut dire tchao en anglais"]
02:29
coucou747 has joined #ocaml
03:56
elparo_continua is now known as manitAway
05:05
seafood has quit []
05:07
seafood has joined #ocaml
05:13
seafood has quit []
05:35
manitAway has quit [Client Quit]
05:36
manitAway has joined #ocaml
05:41
seafood has joined #ocaml
05:42
manitAway is now known as banlist
05:42
banlist is now known as ^
05:42
^ is now known as \banlist
05:55
ozzloy has joined #ocaml
06:04
seafood has quit [Read error: 104 (Connection reset by peer)]
06:05
seafood has joined #ocaml
06:06
ygrek has joined #ocaml
06:30
seafood_ has joined #ocaml
06:30
seafood has quit [Read error: 104 (Connection reset by peer)]
07:00
pango has quit [Remote closed the connection]
07:01
pango has joined #ocaml
07:04
seafood_ has quit []
07:16
asmanur has joined #ocaml
07:21
tsuyoshi has quit ["Lost terminal"]
07:28
tsuyoshi has joined #ocaml
07:30
ygrek has quit [Remote closed the connection]
07:36
bluestorm has joined #ocaml
07:38
Jedai has joined #ocaml
07:58
filp has joined #ocaml
08:04
seafood has joined #ocaml
08:04
Snark has joined #ocaml
08:11
ygrek has joined #ocaml
08:13
Associat0r has joined #ocaml
08:29
Yoric[DT] has joined #ocaml
08:35
<
bla >
Hi Yoric[DT].
08:37
* Yoric[DT]
returns into deadline mode.
08:48
ygrek has quit [Remote closed the connection]
09:01
filp has quit ["Bye"]
09:12
asmanur has quit [Read error: 110 (Connection timed out)]
09:36
hkBst has joined #ocaml
10:24
Spiwack has joined #ocaml
10:26
damg has joined #ocaml
10:28
Jedai has quit [Read error: 113 (No route to host)]
10:59
Linktim has joined #ocaml
11:07
<
Yoric[DT] >
Does anyone remember the name of the syntax extension which permits pattern-matching upon objects?
11:08
<
bluestorm >
pa_oo ?
11:09
<
bluestorm >
seems it doesn't handle pattern matching
11:12
<
Yoric[DT] >
No, not pa_oo.
11:16
<
Yoric[DT] >
Perhaps it's an application of Patterns.
11:16
<
Yoric[DT] >
Yeah, thanks.
11:17
coucou747 has quit [Read error: 113 (No route to host)]
11:21
det_ has joined #ocaml
11:21
det has quit [Read error: 104 (Connection reset by peer)]
11:21
Jedai has joined #ocaml
11:22
asmanur has joined #ocaml
11:22
<
mfp >
I didn't expect this: let a = `A let () = ignore (a : [`A | `B]) -> a inferred as [> `A], not [`A | `B]
11:22
<
mfp >
relaxed value restriction, I suppose
11:25
<
Spiwack >
it's normal behaviour, (a: t ) does not change the type of a if it is already unifiable to t
11:25
<
Spiwack >
the type of (a:t) is t though
11:25
<
Yoric[DT] >
If anyone can think of a way to change the type of [> `A], though, I'm interested.
11:36
<
Yoric[DT] >
mfp: if I do that, I can't put it in a library.
11:37
<
Yoric[DT] >
I suspect there's no choice and I'll have to do that in the end.
11:37
<
Yoric[DT] >
But that makes it probably unapplicable to exception management.
11:37
<
Yoric[DT] >
Unless I can generate that module on-the-fly.
11:37
seafood has quit []
11:37
<
Yoric[DT] >
Anyway, time to grab some lunch.
11:37
<
Yoric[DT] >
Cheers.
11:40
seafood has joined #ocaml
12:03
johnnowak has joined #ocaml
12:31
Linktim_ has joined #ocaml
12:37
Linktim- has joined #ocaml
12:42
Linktim has quit [Read error: 110 (Connection timed out)]
12:44
johnnowak has quit []
12:54
Linktim_ has quit [Read error: 110 (Connection timed out)]
13:00
Linktim- has quit [Read error: 110 (Connection timed out)]
13:22
* Yoric[DT]
is back.
14:00
Jedai has quit [Read error: 113 (No route to host)]
14:06
asmanur has quit [Read error: 110 (Connection timed out)]
14:08
johnnowak has joined #ocaml
14:15
coucou747 has joined #ocaml
14:22
jlouis has quit [Remote closed the connection]
14:34
asmanur has joined #ocaml
15:07
marmotine has joined #ocaml
15:14
guillem has joined #ocaml
15:16
pango has quit [Remote closed the connection]
15:25
seafood has quit []
15:46
johnnowak has quit []
15:50
johnnowak has joined #ocaml
16:05
Linktim has joined #ocaml
16:08
pango has joined #ocaml
16:08
pango has quit [Nick collision from Idoru.]
16:20
vixey has quit [Remote closed the connection]
16:29
r0bby has quit [Connection timed out]
16:36
asmanur has quit [Remote closed the connection]
16:54
RobertFischer has joined #ocaml
16:55
Jedai has joined #ocaml
16:56
RobertFischer has left #ocaml []
16:56
RobertFischer has joined #ocaml
16:56
Ramzi647 has joined #ocaml
17:01
Linktim_ has joined #ocaml
17:02
Spiwack has quit [Remote closed the connection]
17:12
Linktim has quit [Read error: 110 (Connection timed out)]
17:15
RobertFischer has left #ocaml []
17:16
struktured has joined #ocaml
17:23
asmanur has joined #ocaml
17:32
Jeff_123 has quit ["Leaving."]
17:34
struktured_ has joined #ocaml
17:34
struktured_ is now known as structured
17:35
thelema has joined #ocaml
17:49
vixey has joined #ocaml
17:52
struktured has quit [Read error: 110 (Connection timed out)]
17:55
r0bby has joined #ocaml
18:05
Ched- has quit [Read error: 54 (Connection reset by peer)]
18:05
Ched- has joined #ocaml
18:06
structured has quit [Read error: 110 (Connection timed out)]
18:39
LordMetroid has joined #ocaml
19:06
johnnowak has quit []
19:15
Linktim_ has quit [Remote closed the connection]
19:55
filp has joined #ocaml
19:55
filp has quit [Read error: 104 (Connection reset by peer)]
19:56
Linktim has joined #ocaml
19:58
kelaouchi has quit ["leaving"]
20:05
johnnowak has joined #ocaml
20:07
tomh has joined #ocaml
20:13
coucou747 has quit [Read error: 113 (No route to host)]
20:28
<
flux >
but perhaps still useful
20:31
<
Yoric[DT] >
interesting
20:31
<
Yoric[DT] >
Making it OCaml-compatible might be a nice student project.
20:32
<
flux >
including bidirectional conversion utilities (where possible) to ocamllex ;)
20:37
LordMetroid has quit ["Leaving"]
20:43
<
Yoric[DT] >
I meant :)
20:48
asmanur has quit [Remote closed the connection]
20:48
Jeff_123 has joined #ocaml
21:25
<
damg >
is there a way to assign e.g. 0xFFFF0000 as a literal? (currently shifting bits instead)
21:29
<
Jeff_123 >
are you referring to "Integer literal exceeds the range of representable integers of type int"?
21:31
<
Yoric[DT] >
'night everyone
21:31
Yoric[DT] has quit ["Ex-Chat"]
21:32
<
damg >
s/yeas/yes :) I need int32s and thought maybe there is a better sollution than passing two words to a merge fun ...
21:33
LordMetroid has joined #ocaml
21:34
<
thelema >
damg: 0xffff0000l
21:35
bluestorm has quit ["Konversation terminated!"]
21:35
<
damg >
ah, didn't know of precision suffixes . thank you very much
21:43
Snark has quit ["Ex-Chat"]
21:46
jlouis has joined #ocaml
21:52
johnnowak has quit []
21:53
LordMetroid has quit ["Leaving"]
22:04
struktured has joined #ocaml
22:16
guillem has quit [Remote closed the connection]
22:24
LordMetroid has joined #ocaml
22:25
LordMetroid has quit [Read error: 104 (Connection reset by peer)]
22:29
BoCa has joined #ocaml
22:31
damg has quit ["Verlassend"]
22:35
BoCa has left #ocaml []
22:50
Linktim has quit [Remote closed the connection]
22:53
struktured has quit [Read error: 110 (Connection timed out)]
23:02
jlouis has quit [Remote closed the connection]
23:02
Jedai has quit [Read error: 113 (No route to host)]
23:03
jlouis has joined #ocaml
23:08
nuncanada has joined #ocaml
23:12
xevz has quit [Remote closed the connection]
23:12
xevz has joined #ocaml
23:18
hkBst has quit ["Konversation terminated!"]
23:20
marmotine has quit [Remote closed the connection]
23:32
gaja has quit ["leaving"]
23:52
mfp has quit [Read error: 110 (Connection timed out)]
23:53
mfp has joined #ocaml