00:10
Iter has quit [Read error: 110 (Connection timed out)]
00:13
rjudace has quit [Read error: 113 (No route to host)]
00:13
rjudace has joined #ocaml
00:51
monochrom has joined #ocaml
01:10
yauz_ has joined #ocaml
01:26
gim has quit ["cat /dev/couette"]
01:28
yauz has quit [Read error: 113 (No route to host)]
01:52
cjohnson has quit [Read error: 110 (Connection timed out)]
01:53
cjohnson has joined #ocaml
02:13
cjohnson has quit [Connection timed out]
02:13
cjohnson has joined #ocaml
02:33
cjohnson has quit [Connection timed out]
02:33
cjohnson has joined #ocaml
02:34
bzzbzz has quit ["gtkBitchX: now with Olestra!"]
02:48
pnou_ has quit ["bonne nuit"]
03:14
mrsolo_ has joined #ocaml
03:31
kinners has joined #ocaml
03:40
kinners has quit [Nick collision from services.]
03:44
monochrom has quit ["Don't talk to those who talk to themselves."]
03:48
mrsolo_ has quit [Read error: 54 (Connection reset by peer)]
04:00
Herrchen_ has joined #ocaml
04:13
cjohnson has quit [Connection timed out]
04:14
cjohnson has joined #ocaml
04:18
zigong has joined #ocaml
04:18
mrsolo has joined #ocaml
04:18
Herrchen has quit [Read error: 110 (Connection timed out)]
04:23
_shawn has joined #ocaml
04:37
cjohnson has quit [Read error: 110 (Connection timed out)]
04:37
cjohnson has joined #ocaml
04:42
shawn has quit [Read error: 110 (Connection timed out)]
05:30
ionOS has joined #ocaml
05:32
jdrake has quit ["Leaving"]
05:36
cjohnson has quit [Connection timed out]
05:38
_fab has quit [niven.freenode.net irc.freenode.net]
05:40
_fab has joined #ocaml
05:42
pattern has quit [niven.freenode.net irc.freenode.net]
05:43
mflux has quit [niven.freenode.net irc.freenode.net]
05:43
FredCods has quit [niven.freenode.net irc.freenode.net]
05:43
mattam has quit [niven.freenode.net irc.freenode.net]
05:43
srv has quit [niven.freenode.net irc.freenode.net]
05:43
Dvalin has quit [niven.freenode.net irc.freenode.net]
05:43
Demitar has quit [niven.freenode.net irc.freenode.net]
05:43
Robert has quit [niven.freenode.net irc.freenode.net]
05:43
avn has quit [niven.freenode.net irc.freenode.net]
05:43
vincenz has quit [niven.freenode.net irc.freenode.net]
05:43
Maddas has quit [niven.freenode.net irc.freenode.net]
05:44
Dvalin has joined #ocaml
05:44
det has quit [niven.freenode.net irc.freenode.net]
05:46
Robert has joined #ocaml
05:46
pattern has joined #ocaml
05:46
mattam has joined #ocaml
05:47
debona|r has left #ocaml []
05:49
rjudace has quit [niven.freenode.net irc.freenode.net]
05:49
vezenchio has quit [niven.freenode.net irc.freenode.net]
05:49
kosmikus1away has quit [niven.freenode.net irc.freenode.net]
05:49
skylan has quit [niven.freenode.net irc.freenode.net]
05:49
not_me2 has quit [niven.freenode.net irc.freenode.net]
05:49
ronwalf has quit [niven.freenode.net irc.freenode.net]
05:49
mellum has quit [niven.freenode.net irc.freenode.net]
05:49
slashvar[ens] has quit [niven.freenode.net irc.freenode.net]
05:49
cm47 has quit [niven.freenode.net irc.freenode.net]
05:49
pattern has quit [niven.freenode.net irc.freenode.net]
05:50
cmeme has quit ["Client terminated by server"]
05:52
pattern has joined #ocaml
05:54
det has joined #ocaml
05:56
cmeme has joined #ocaml
05:56
slashvar[ens] has joined #ocaml
05:56
pattern has quit [niven.freenode.net irc.freenode.net]
05:58
pattern has joined #ocaml
05:58
det has quit [niven.freenode.net irc.freenode.net]
05:58
Dvalin has quit [niven.freenode.net irc.freenode.net]
05:58
_shawn has quit [niven.freenode.net irc.freenode.net]
05:58
zigong has quit [niven.freenode.net irc.freenode.net]
05:58
Hadaka has quit [niven.freenode.net irc.freenode.net]
05:58
oracle1 has quit [niven.freenode.net irc.freenode.net]
05:58
Lemmih has quit [niven.freenode.net irc.freenode.net]
05:59
Lemmih has joined #ocaml
06:01
pattern has quit [niven.freenode.net irc.freenode.net]
06:03
Lemmih has quit [niven.freenode.net irc.freenode.net]
06:05
pattern has joined #ocaml
06:05
Lemmih has joined #ocaml
06:08
Lemmih has quit [niven.freenode.net irc.freenode.net]
06:09
Lemmih has joined #ocaml
06:10
zigong has joined #ocaml
06:10
_shawn has joined #ocaml
06:11
det has joined #ocaml
06:12
kosmikus|away has joined #ocaml
06:12
Hadaka has joined #ocaml
06:12
avn has joined #ocaml
06:12
not_me2 has joined #ocaml
06:12
rjudace has joined #ocaml
06:12
vezenchio has joined #ocaml
06:12
ronwalf has joined #ocaml
06:12
cm47 has joined #ocaml
06:12
mellum has joined #ocaml
06:13
mrsolo has quit [Read error: 113 (No route to host)]
06:16
skylan has joined #ocaml
06:29
vincenz has joined #ocaml
06:29
Dvalin has joined #ocaml
06:29
FredCods has joined #ocaml
06:29
srv has joined #ocaml
06:29
Demitar has joined #ocaml
06:29
Maddas has joined #ocaml
06:33
oracle1 has joined #ocaml
06:37
mflux has joined #ocaml
06:44
mflux has quit [niven.freenode.net irc.freenode.net]
06:44
oracle1 has quit [niven.freenode.net irc.freenode.net]
06:44
Maddas has quit [niven.freenode.net irc.freenode.net]
06:44
Demitar has quit [niven.freenode.net irc.freenode.net]
06:44
FredCods has quit [niven.freenode.net irc.freenode.net]
06:44
vincenz has quit [niven.freenode.net irc.freenode.net]
06:44
Dvalin has quit [niven.freenode.net irc.freenode.net]
06:44
srv has quit [niven.freenode.net irc.freenode.net]
06:44
not_me2 has quit [niven.freenode.net irc.freenode.net]
06:44
avn has quit [niven.freenode.net irc.freenode.net]
06:44
mellum has quit [niven.freenode.net irc.freenode.net]
06:44
vezenchio has quit [niven.freenode.net irc.freenode.net]
06:44
cm47 has quit [niven.freenode.net irc.freenode.net]
06:44
ronwalf has quit [niven.freenode.net irc.freenode.net]
06:44
rjudace has quit [niven.freenode.net irc.freenode.net]
06:44
Hadaka has quit [niven.freenode.net irc.freenode.net]
06:44
kosmikus|away has quit [niven.freenode.net irc.freenode.net]
06:44
det has quit [niven.freenode.net irc.freenode.net]
06:44
Lemmih has quit [niven.freenode.net irc.freenode.net]
06:44
_shawn has quit [niven.freenode.net irc.freenode.net]
06:44
slashvar[ens] has quit [niven.freenode.net irc.freenode.net]
06:44
Herrchen_ has quit [niven.freenode.net irc.freenode.net]
06:44
yauz_ has quit [niven.freenode.net irc.freenode.net]
06:44
Riastradh has quit [niven.freenode.net irc.freenode.net]
06:44
jlouis has quit [niven.freenode.net irc.freenode.net]
06:44
cDlm has quit [niven.freenode.net irc.freenode.net]
06:45
det has joined #ocaml
06:45
Lemmih has joined #ocaml
06:46
Riastradh has joined #ocaml
06:52
slashvar[ens] has joined #ocaml
06:54
cDlm has joined #ocaml
06:54
yauz has joined #ocaml
06:54
Herrchen has joined #ocaml
06:54
jlouis has joined #ocaml
06:54
shawn_ has joined #ocaml
06:54
oracle1 has joined #ocaml
06:54
Maddas has joined #ocaml
06:54
Demitar has joined #ocaml
06:54
srv has joined #ocaml
06:54
FredCods has joined #ocaml
06:54
Dvalin has joined #ocaml
06:54
vincenz has joined #ocaml
06:58
mflux has joined #ocaml
07:01
mflux has quit [Read error: 54 (Connection reset by peer)]
07:04
kosmikus|away has joined #ocaml
07:04
Hadaka has joined #ocaml
07:04
avn has joined #ocaml
07:04
not_me2 has joined #ocaml
07:04
rjudace has joined #ocaml
07:04
vezenchio has joined #ocaml
07:04
ronwalf has joined #ocaml
07:04
cm47 has joined #ocaml
07:04
mellum has joined #ocaml
07:08
mflux has joined #ocaml
07:46
mrsolo has joined #ocaml
08:17
pattern- has joined #ocaml
08:17
pattern has quit [Read error: 113 (No route to host)]
08:18
pattern- is now known as pattern
08:50
smimou has joined #ocaml
09:07
ionOS_ has joined #ocaml
09:07
ionOS has quit [Read error: 110 (Connection timed out)]
09:28
Lemmih_ has joined #ocaml
09:29
Lemmih has quit [Read error: 110 (Connection timed out)]
09:31
mflux is now known as flux
09:33
flux has quit ["leaving"]
09:59
mflux has joined #ocaml
10:15
ionOS_ has quit [Read error: 60 (Operation timed out)]
10:33
vezenchio has quit [Read error: 110 (Connection timed out)]
10:35
cjohnson has joined #ocaml
10:58
cjohnson has quit [Connection timed out]
10:59
cjohnson has joined #ocaml
11:00
pnou_ has joined #ocaml
11:08
Iter has joined #ocaml
11:52
Lemmih_ is now known as Lemmih
12:00
maihem has joined #ocaml
12:10
zigong has quit [Remote closed the connection]
12:33
cjohnson has quit [Connection timed out]
12:33
cjohnson has joined #ocaml
12:45
_shawn has joined #ocaml
12:48
oracle1_ has joined #ocaml
12:48
<
oracle1_ >
when I do the following:
12:49
<
oracle1_ >
let ch = Unix.in_channel_of_descr c
12:49
<
oracle1_ >
and then a input_line ch
12:49
lmbdwar has joined #ocaml
12:49
<
oracle1_ >
why do I always get an exception End_of_file after the first line?
12:51
cjohnson has quit [Connection timed out]
12:52
cjohnson has joined #ocaml
12:54
shawn_ has quit [Read error: 60 (Operation timed out)]
12:54
oracle1_ has quit ["BitchX: for distribution only with a new PC"]
13:13
two-face has joined #ocaml
13:16
two-face has left #ocaml []
13:16
cjohnson has quit [Connection timed out]
13:16
cjohnson has joined #ocaml
13:39
Iter has quit [Read error: 110 (Connection timed out)]
13:50
<
mellum >
WTF? Sys.word_size isn't constant folded for me... that's pretty lame
13:56
<
mellum >
Looks like I have to use lameness like if max_int = 1073741823 :-(
14:12
GreyLensman has joined #ocaml
14:26
cjohnson has quit [Connection timed out]
14:26
cjohnson has joined #ocaml
14:33
debona|r has joined #ocaml
14:36
gim has joined #ocaml
14:46
cjohnson has quit [Connection timed out]
14:46
cjohnson has joined #ocaml
15:04
shawn_ has joined #ocaml
15:10
pac_away has joined #ocaml
15:20
_shawn has quit [Read error: 110 (Connection timed out)]
15:26
Lemmih has quit [Read error: 104 (Connection reset by peer)]
15:27
Lemmih has joined #ocaml
15:35
ionOS has joined #ocaml
15:44
Lemmih has quit [Read error: 54 (Connection reset by peer)]
15:46
cjohnson has quit [Read error: 110 (Connection timed out)]
15:46
cjohnson has joined #ocaml
15:50
Lemmih has joined #ocaml
15:58
Lemmih has quit [Read error: 104 (Connection reset by peer)]
16:16
zigong__ has joined #ocaml
16:18
senko has joined #ocaml
16:24
Lemmih has joined #ocaml
16:28
<
senko >
why cant i define recursive tuples?
16:28
<
Riastradh >
Use -rec-types.
16:29
<
Smerdyakov >
That is a compiler option that lets you do that.
16:29
<
Smerdyakov >
You can always get around it by wrapping all recursion in variants. (The standard way)
16:30
<
senko >
if i what to do: type node = int * node list;;
16:30
<
senko >
how should i do it in variants?
16:32
<
Riastradh >
It wouldn't make much sense. Just use -rec-types for that.
16:32
<
Smerdyakov >
type node = Node of int * node list;;
16:32
<
senko >
ok thank you..
16:39
<
mflux >
riastradh, why wouldn't it make much sense?
16:39
<
mflux >
I've found the same 'workaround' but essentially they don't appear to be much different from each other :-o
16:41
<
mflux >
I wonder what are the downsides if that is behind a compiler option
16:41
<
Riastradh >
mflux, I didn't know that you could fix it by having a single variant; I thought Smerdyakov was talking about making multiple node variants.
16:42
<
Smerdyakov >
That just goes to show that the old saying is true:
16:42
<
Smerdyakov >
"Riastradh is an ignorant bastard."
16:42
<
mflux >
smerdyakov's example works as it is
16:42
<
mflux >
can't see much much less recursive it is anyway
16:42
mflux has quit [Remote closed the connection]
16:45
pac_away has left #ocaml []
16:46
uppo has joined #ocaml
16:50
mflux has joined #ocaml
16:55
fluxx has joined #ocaml
16:55
mflux has quit [Read error: 104 (Connection reset by peer)]
17:00
karryall has joined #ocaml
17:01
CosmicRay has joined #ocaml
17:29
cjohnson has quit [Connection timed out]
17:29
cjohnson has joined #ocaml
17:36
uppo has quit ["Leaving"]
17:43
Submarine has joined #ocaml
17:43
<
Submarine >
wow, who is slashvar?
17:48
<
mattam >
some friend of me... i'm not sure he wants his identity disclosed
17:52
<
Submarine >
I was just curious since he's from LRI.
17:55
CosmicRay has quit ["Leaving"]
18:16
cjohnson has quit [Connection timed out]
18:16
cjohnson has joined #ocaml
18:22
ne1 has joined #ocaml
18:52
cjohnson has quit [Connection timed out]
18:53
cjohnson has joined #ocaml
18:53
<
fluxx >
lri being.. ?
18:54
two-face has joined #ocaml
18:54
<
two-face >
karryall: salut!
19:05
zigong__ has quit [Remote closed the connection]
19:21
zer0`` has joined #ocaml
19:27
<
karryall >
two-face: salut
19:27
<
karryall >
fluxx: lri is a CS lab near in a univ Paris
19:27
<
karryall >
near Paris
19:28
<
karryall >
two-face: bon ca marche ocamlsdl avec 3.08 maintenant ?
19:29
<
two-face >
karryall: on dirait
19:30
<
two-face >
karryall: par contre, j'ai essayé de recompiler les samples et j'ai un truc bizarre
19:30
cjohnson has quit [Connection timed out]
19:30
cjohnson has joined #ocaml
19:30
<
two-face >
ocamlc.opt -c -w s -I +sdl /usr/lib/ocaml/3.08/sdl/sdl.mli
19:30
<
two-face >
I/O error: /usr/lib/ocaml/3.08/sdl/sdl.cmi: Permission denied
19:30
<
two-face >
make:
*** [/usr/lib/ocaml/3.08/sdl/sdl.cmi] Erreur 2
19:30
<
Submarine >
LRI is the lab at University Paris XI - Orsay.
19:31
<
two-face >
karryall: on dirait que sdl.mli est plus recent que sdl.cmi
19:31
<
two-face >
karryall: enfin c'est le cas pour tous les mli en fait
19:33
<
karryall >
hum, c'est avec la version CVS ?
19:34
<
two-face >
non, avec le tarball, mais en fait ça doit venir de ma machine j'imagine
19:34
<
two-face >
les cmi sont installés avant les cmi
19:34
<
two-face >
les cmi sont installés avant les mli
19:35
<
two-face >
amboise:~$ stat /usr/lib/ocaml/3.08/sdl/sdl.mli
19:35
<
two-face >
File: `/usr/lib/ocaml/3.08/sdl/sdl.mli'
19:35
<
two-face >
Size: 2741 Blocks: 8 IO Block: 4096 fichier régulier
19:35
<
two-face >
Device: 305h/773d Inode: 364082 Links: 1
19:35
<
two-face >
Access: (0644/-rw-r--r--) Uid: ( 0/ root) Gid: ( 0/ root)
19:35
<
two-face >
Access: 2004-07-31 21:33:07.000000000 +0200
19:35
<
two-face >
Modify: 2004-07-31 14:45:20.000000000 +0200
19:35
<
two-face >
Change: 2004-07-31 15:11:02.000000000 +0200
19:36
<
two-face >
amboise:~$ stat /usr/lib/ocaml/3.08/sdl/sdl.cmi
19:36
<
two-face >
File: `/usr/lib/ocaml/3.08/sdl/sdl.cmi'
19:36
<
two-face >
Size: 1446 Blocks: 8 IO Block: 4096 fichier régulier
19:36
<
two-face >
Device: 305h/773d Inode: 364032 Links: 1
19:36
<
two-face >
Access: (0644/-rw-r--r--) Uid: ( 0/ root) Gid: ( 0/ root)
19:36
<
two-face >
Access: 2004-07-31 15:10:56.000000000 +0200
19:36
<
two-face >
Modify: 2004-07-31 14:45:19.000000000 +0200
19:36
<
two-face >
Change: 2004-07-31 15:11:02.000000000 +0200
19:39
<
karryall >
ah c'est couillon ca
19:39
zer0`` has left #ocaml []
19:40
<
karryall >
mais bon, c'est pas la peine de dire dans le Makefile qu'il faut recompiler les .cmi
19:40
<
two-face >
karryall: c'est dans le .depend
19:40
<
karryall >
mauvais .depend, refaire le .depend :)
19:41
<
karryall >
mais je les ai pas mis les samples dans le tarball, moi !?
19:42
<
two-face >
karryall: non, c'est pourquoi je les relivre avec le paquet debian
19:42
<
karryall >
bah, pourquoi tu t'embêtes
19:42
<
karryall >
la moitié sont tout pourris
19:43
<
two-face >
non, ils marchent bien
19:43
<
two-face >
c'est bien de livrer des exemples aux utilisateurs
19:45
<
karryall >
mais justement la plupart sont super mal écrits
19:46
<
two-face >
je n'ai pas regardé en détail, il ne faut donc pas les livrer ?
19:48
<
karryall >
ben à part 1 ou 2, je dirais que c'est pas une perte :)
19:52
<
two-face >
karryall: pour info, tu as oublié de remettre la règle distclean
19:53
mattam_ has joined #ocaml
19:56
<
karryall >
ouais, je la rajouterais a l'occasion
20:05
ionOS has quit ["Leaving"]
20:06
senko has quit [Remote closed the connection]
20:07
mattam has quit [Connection timed out]
20:08
senko has joined #ocaml
20:13
two-face has quit [Read error: 60 (Operation timed out)]
20:21
cjohnson has quit [Connection timed out]
20:22
cjohnson has joined #ocaml
20:52
ne1 has quit ["To understand recursion, you must first understand recursion."]
20:54
vezenchio has joined #ocaml
21:10
Iter has joined #ocaml
21:17
gim has quit ["bye"]
21:17
drprokt has joined #ocaml
21:24
cjohnson has quit [Connection timed out]
21:25
cjohnson has joined #ocaml
21:54
Iter has quit [Read error: 110 (Connection timed out)]
21:56
drprokt has quit ["sleep(3600*10);"]
22:05
CosmicRay has joined #ocaml
22:44
pac_away has joined #ocaml
22:45
pac_away is now known as pac_
22:54
Submarine has left #ocaml []
22:55
smimou has quit ["?"]
23:02
pattern has quit [Read error: 60 (Operation timed out)]
23:02
cmeme has quit [Remote closed the connection]
23:03
cmeme has joined #ocaml
23:06
pattern has joined #ocaml
23:21
CosmicRay has quit ["Leaving"]