00:00
jonasb has quit [Read error: 110 (Connection timed out)]
00:02
<
mbishop >
optimized python? is that like the fastest snail? :)
00:06
comglz has joined #ocaml
00:12
seafood has joined #ocaml
00:17
Demitar has joined #ocaml
00:21
psnively has quit []
00:27
sporkmonger has joined #ocaml
00:35
sporkmonger has quit []
00:37
Yoric[DT] has quit ["Ex-Chat"]
00:42
jonasb_ has quit ["leaving"]
00:51
Maghnus has joined #ocaml
01:01
Camarade_Tux has quit ["waaaaaaayyyyyyy too late"]
01:05
sporkmonger has joined #ocaml
01:12
sporkmonger_ has joined #ocaml
01:21
malc_ has left #ocaml []
01:25
sporkmonger has quit [Connection timed out]
01:25
<
det >
Any idea why this type errors on line 23, citing a lack of a to_int method on the floating object, even though to_int is never invoked on it?
01:26
<
det >
(if I uncomment the to_int method, it compiles)
01:27
sporkmonger_ is now known as sporkmonger
01:36
bzzbzz has joined #ocaml
01:40
Demitar has quit [Remote closed the connection]
01:52
Stefan_vK has joined #ocaml
02:07
Axioplase_ is now known as Axioplase
02:09
comglz has quit ["Lost terminal"]
02:15
<
det >
It seems I need to use polymorphic methods
02:31
middayc has joined #ocaml
02:46
jknick has joined #ocaml
02:52
sporkmonger has quit []
03:36
jeddhaberstro has quit []
03:51
middayc has quit ["ChatZilla 0.9.84 [Firefox 3.0.5/2008120122]"]
03:53
jeremiah has quit [Read error: 104 (Connection reset by peer)]
04:10
jeremiah has joined #ocaml
04:10
xah_lee has joined #ocaml
04:11
<
xah_lee >
if i have a file xx.ml, how do i get ocmal to eval it?
04:11
<
xah_lee >
sorry for basic q.
05:01
Associat0r has quit []
05:04
<
xah_lee >
mrvn: how do i add a print statement?
05:05
<
xah_lee >
mrvn: to the end of my file? i ran ocaml xx.ml before witouth output n i wasn't sure i got it right or missing a print.
05:06
<
sanguinev >
xah_lee: print_string "Hello world!\n";
05:06
<
xah_lee >
sanguinev: ah thanks
05:35
mjonsson has quit ["Leaving"]
06:29
xah_lee has quit ["banned in #emacs by johnsu01 (john sullivan)"]
07:12
m3ga has joined #ocaml
07:18
seafood has quit []
07:23
ygrek has joined #ocaml
07:26
schme has joined #ocaml
07:40
schmx has quit [Read error: 110 (Connection timed out)]
07:45
ygrek has quit [Remote closed the connection]
07:56
ikaros has joined #ocaml
07:57
jeremiah has quit [Read error: 104 (Connection reset by peer)]
08:14
jeremiah has joined #ocaml
08:16
ygrek has joined #ocaml
08:38
punya has joined #ocaml
08:38
punya has left #ocaml []
08:50
ygrek has quit [Remote closed the connection]
08:57
Amorphous has quit [kornbluth.freenode.net irc.freenode.net]
08:57
mattam has quit [kornbluth.freenode.net irc.freenode.net]
08:57
jlouis has quit [kornbluth.freenode.net irc.freenode.net]
08:57
Asmadeus has quit [kornbluth.freenode.net irc.freenode.net]
08:57
pango has quit [kornbluth.freenode.net irc.freenode.net]
08:57
smimram has quit [kornbluth.freenode.net irc.freenode.net]
08:57
delroth has quit [kornbluth.freenode.net irc.freenode.net]
08:57
Axioplase has quit [kornbluth.freenode.net irc.freenode.net]
08:57
haelix has quit [kornbluth.freenode.net irc.freenode.net]
08:57
jdev has quit [kornbluth.freenode.net irc.freenode.net]
08:57
nuncanada has quit [kornbluth.freenode.net irc.freenode.net]
08:57
petchema has quit [kornbluth.freenode.net irc.freenode.net]
08:57
maxote has quit [kornbluth.freenode.net irc.freenode.net]
08:57
animist has quit [kornbluth.freenode.net irc.freenode.net]
08:57
ido has quit [kornbluth.freenode.net irc.freenode.net]
08:57
jeremiah has quit [kornbluth.freenode.net irc.freenode.net]
08:57
hcarty has quit [kornbluth.freenode.net irc.freenode.net]
08:57
bohanlon has quit [kornbluth.freenode.net irc.freenode.net]
08:57
sbok has quit [kornbluth.freenode.net irc.freenode.net]
08:57
fremo has quit [kornbluth.freenode.net irc.freenode.net]
08:57
jburd has quit [kornbluth.freenode.net irc.freenode.net]
08:57
sgnb has quit [kornbluth.freenode.net irc.freenode.net]
08:57
purple_ has quit [kornbluth.freenode.net irc.freenode.net]
08:57
ppsmimou has quit [kornbluth.freenode.net irc.freenode.net]
08:57
gim has quit [kornbluth.freenode.net irc.freenode.net]
08:57
ulfdoz has quit [kornbluth.freenode.net irc.freenode.net]
08:57
mbishop has quit [kornbluth.freenode.net irc.freenode.net]
08:57
bzzbzz has quit [kornbluth.freenode.net irc.freenode.net]
08:57
authentic has quit [kornbluth.freenode.net irc.freenode.net]
08:57
jknick has quit [kornbluth.freenode.net irc.freenode.net]
08:57
ozzloy has quit [kornbluth.freenode.net irc.freenode.net]
08:57
cygnus__ has quit [kornbluth.freenode.net irc.freenode.net]
08:57
acatout has quit [kornbluth.freenode.net irc.freenode.net]
08:57
det has quit [kornbluth.freenode.net irc.freenode.net]
08:57
Stefan_vK has quit [kornbluth.freenode.net irc.freenode.net]
08:57
Mr_Awesome has quit [kornbluth.freenode.net irc.freenode.net]
08:57
mfp has quit [kornbluth.freenode.net irc.freenode.net]
08:57
Jedai has quit [kornbluth.freenode.net irc.freenode.net]
08:57
erg has quit [kornbluth.freenode.net irc.freenode.net]
08:57
rwmjones has quit [kornbluth.freenode.net irc.freenode.net]
08:57
shortc|desk has quit [kornbluth.freenode.net irc.freenode.net]
08:59
rby has joined #ocaml
08:59
jeremiah has joined #ocaml
08:59
jknick has joined #ocaml
08:59
Stefan_vK has joined #ocaml
08:59
bzzbzz has joined #ocaml
08:59
Amorphous has joined #ocaml
08:59
nuncanada has joined #ocaml
08:59
authentic has joined #ocaml
08:59
pango has joined #ocaml
08:59
ido has joined #ocaml
08:59
mattam has joined #ocaml
08:59
jlouis has joined #ocaml
08:59
Mr_Awesome has joined #ocaml
08:59
ulfdoz has joined #ocaml
08:59
sgnb has joined #ocaml
08:59
mfp has joined #ocaml
08:59
smimram has joined #ocaml
08:59
Asmadeus has joined #ocaml
08:59
delroth has joined #ocaml
08:59
Axioplase has joined #ocaml
08:59
sbok has joined #ocaml
08:59
jburd has joined #ocaml
08:59
fremo has joined #ocaml
08:59
bohanlon has joined #ocaml
08:59
hcarty has joined #ocaml
08:59
maxote has joined #ocaml
08:59
petchema has joined #ocaml
08:59
animist has joined #ocaml
08:59
haelix has joined #ocaml
08:59
gim has joined #ocaml
08:59
ppsmimou has joined #ocaml
08:59
purple_ has joined #ocaml
08:59
erg has joined #ocaml
08:59
shortc|desk has joined #ocaml
08:59
rwmjones has joined #ocaml
08:59
Jedai has joined #ocaml
08:59
jdev has joined #ocaml
08:59
ozzloy has joined #ocaml
08:59
mbishop has joined #ocaml
08:59
acatout has joined #ocaml
08:59
cygnus__ has joined #ocaml
08:59
det has joined #ocaml
08:59
_zack has joined #ocaml
09:03
ikaros has quit [".quit"]
09:32
Camarade_Tux has joined #ocaml
09:38
ygrek has joined #ocaml
09:40
ched has joined #ocaml
10:01
marmotine has joined #ocaml
10:12
Snark has joined #ocaml
10:13
ched has quit [Remote closed the connection]
10:15
_zack has quit ["Leaving."]
10:17
Axioplase is now known as Axioplase_
10:19
ched has joined #ocaml
10:35
ygrek has quit [Remote closed the connection]
10:47
jeremiah has quit [Read error: 104 (Connection reset by peer)]
10:47
hkBst has joined #ocaml
10:54
s4tan has joined #ocaml
10:59
_zack has joined #ocaml
11:04
jeremiah has joined #ocaml
11:06
ched has quit [Remote closed the connection]
11:09
ched has joined #ocaml
11:33
Stefan_vK1 has joined #ocaml
11:38
ygrek has joined #ocaml
11:39
m3ga has quit ["disappearing into the sunset"]
11:50
Camarade_Tux has quit ["bloody exams"]
11:51
Stefan_vK has quit [Read error: 110 (Connection timed out)]
11:54
vixey has joined #ocaml
12:01
jonafan_ has joined #ocaml
12:05
vixey` has joined #ocaml
12:05
vixey has quit [Nick collision from services.]
12:06
vixey` is now known as vixey
12:14
fschwidom has joined #ocaml
12:18
jonafan has quit [Read error: 110 (Connection timed out)]
13:01
love-pingoo has joined #ocaml
13:04
ygrek has quit [Remote closed the connection]
13:06
fschwidom has quit [Remote closed the connection]
13:07
fschwidom has joined #ocaml
13:08
fschwidom has quit [Remote closed the connection]
13:08
fschwidom has joined #ocaml
13:11
<
rwmjones >
thanks for sending those _zack
13:11
<
_zack >
rwmjones: np
13:27
Yoric[DT] has joined #ocaml
13:28
<
Yoric[DT] >
Gasp, the Forge has received a new coat of paint.
13:28
<
Yoric[DT] >
Erf, no, it's only a loading issue.
13:43
<
gildor >
Yoric[DT]: is there a problem with the forge ?
13:44
<
Yoric[DT] >
No, loading was just slow for some reason.
13:44
<
Yoric[DT] >
Until some of the graphics were loaded, everything looked unusual :)
13:45
<
gildor >
ok, you must have seen transient reload of pgsql connection
13:46
<
gildor >
Yoric[DT]: I just mean, since you are using it, have you big problems with it (i.e. "new" in your sentence)
13:46
<
Yoric[DT] >
No issue, no.
13:46
<
gildor >
(I know there are problems from time to time)
13:47
<
Yoric[DT] >
Well, besides the ones I've submitted to the support tracker, but they were all solved.
13:55
sporkmonger has joined #ocaml
13:56
Associat0r has joined #ocaml
14:24
nuncanada has quit [Client Quit]
14:34
<
purple_ >
what's Sys.max_array_length on 32bit ?
14:34
rby_ has joined #ocaml
14:34
<
purple_ >
thanks thought so
14:34
<
mrvn >
At least it is for string and I believe they use the name number of bits.
14:35
<
gildor >
rwmjones: someone ask me if you still received mail for rich@annexia.org
14:35
<
gildor >
rwmjones: because this is the contact mail to have an account on wiki.cocan.org
14:35
<
rwmjones >
gildor, I do ... my mail server is suffering from old age and spam and takes its fair time delivering email
14:43
<
gildor >
rwmjones: could you look if you have a mail from Florent Ouchet, he wants to submit a talk to OCaml Meeting
14:46
<
rwmjones >
purple_, the limit is 16 MB, 4 M entries ... use a 64 bit machine :-)
14:46
<
rwmjones >
gildor, will check
14:47
Snark has quit ["Ex-Chat"]
14:47
<
purple_ >
yup on a 64bit machine and was just allocating 10m elt arrays - when i remembered that i should have hit a limit
14:47
<
purple_ >
ocaml on 64 bit is a different beast
14:48
<
mrvn >
I once had a 16M+300byte string as problem input for an ocaml program. really sucked.
14:49
rby has quit [Read error: 110 (Connection timed out)]
14:50
<
rwmjones >
gildor, I've sent him an invite
14:52
<
rwmjones >
sounds like pycaml upstream is dead ... who knows python + ocaml???
14:53
<
tsuyoshi >
for strings it's rather easy to use bigarrays instead
14:54
<
gildor >
rwmjones: is there not an upstream message asking for info on the caml mailing list ? (for pycaml)
14:54
<
tsuyoshi >
if you just redefine a new String module, even .[] will work
14:57
<
rwmjones >
_zack, I think you're confused between coccinelle & Thomas Fischbacher's (different) project ... both ship different forks of pycaml :-(
14:58
<
rwmjones >
argh is the word
14:58
<
_zack >
well then, "obviously" they should factorize and merge their efforts :)
15:10
ygrek has joined #ocaml
15:11
schmx has joined #ocaml
15:21
willb has joined #ocaml
15:22
schme has quit [Read error: 110 (Connection timed out)]
15:53
vixey has quit [Read error: 60 (Operation timed out)]
16:00
vixey has joined #ocaml
16:09
Jedai has quit [Read error: 110 (Connection timed out)]
16:10
Jedai has joined #ocaml
16:12
bluestorm has joined #ocaml
16:13
<
Yoric[DT] >
Well, I'll let you submit.
16:14
<
bluestorm >
it's mostly in the same state that the last time, and hm
16:14
<
bluestorm >
i wanted to check that you agree with my design decisions
16:14
<
Yoric[DT] >
Which ones?
16:15
<
bluestorm >
i think the one you won't like is : no specific syntax for anything but lists (for now)
16:15
<
Yoric[DT] >
That's the one I don't like :)
16:15
* Yoric[DT]
was wondering how such a short source code managed to work on lists and enumerations.
16:15
<
bluestorm >
the extension is quite generic and simple, and i kind of like it that way
16:15
<
bluestorm >
well it works on enumerations
16:16
<
bluestorm >
and you can specify other modules
16:16
<
Yoric[DT] >
So what doesn't work?
16:16
<
bluestorm >
eg. [? LazyList : foo | foo <- LazyList : bar ]
16:16
<
bluestorm >
well there is no [^ ... | .. ] or [| ... | ... ] as in your comprehension code
16:17
<
bluestorm >
you have to use the module name instead
16:17
<
Yoric[DT] >
Ah, ok.
16:17
<
bluestorm >
(except for list because i reuse the ocaml extension, but i could remove the list-specific case if needed for homogeneity)
16:18
<
Yoric[DT] >
That's not a real issue.
16:18
<
bluestorm >
another thing i'm unsure about is
16:18
<
bluestorm >
currently for a module to be used in the comprehension (the "Module :" way) it has to support filter, map, concat and filter_map
16:19
<
bluestorm >
(filter_map : ('a -> 'b option) -> 'a t -> 'b t)
16:19
<
Yoric[DT] >
Not enum / of_enum ?
16:19
<
bluestorm >
i don't know if i should keep the filter_map requirement, as it is a quite unknown function and not very generic
16:19
<
bluestorm >
hum yes enum/of_enum of course
16:20
<
bluestorm >
that's assumed for any civilized module :]
16:20
<
bluestorm >
i could remove the filter_map requirement, but that would produce less efficient code
16:20
pango has quit [Remote closed the connection]
16:20
<
Yoric[DT] >
I'd say that filter_map can stay.
16:21
<
bluestorm >
in that case we should ensure every battery data-structure module has his filter_map
16:21
<
Yoric[DT] >
Indeed.
16:22
<
Yoric[DT] >
Well, Bigarray probably doesn't have it.
16:22
* Yoric[DT]
will check in a few modules.
16:22
<
bluestorm >
actually comprehensions are usable with enum/of_enum only, but you use foo <- Module.enum bar instead of foo <- Module : bar
16:23
<
bluestorm >
(and that disable some module-to-module-conversion optimisations)
16:23
<
Yoric[DT] >
Dllist doesn't.
16:23
<
Yoric[DT] >
Well, you'll have to document this.
16:23
<
Yoric[DT] >
Meanwhile, I'll add filter_map to Dllist.
16:23
<
bluestorm >
it's commented in the code but i'll try to give it more visibility
16:24
<
bluestorm >
and i also have my let_try and try_finally extensions
16:24
<
bluestorm >
i could probably try to commit them before sunday
16:24
<
Yoric[DT] >
Don't forget to add documentation to the html documentation.
16:27
mishok13 has quit ["Stopping IRC chat... [OK]"]
16:28
pango has joined #ocaml
16:29
<
bluestorm >
btw. Yoric[DT] , I won't come to the Ocaml meeting this year (it's far away from Paris and i'm quite busy), and I have high expectations in your reporting skills
16:31
<
Yoric[DT] >
Ok, filter_map added to Dllist.
16:31
<
Yoric[DT] >
Not optimized
16:34
<
Yoric[DT] >
DynArray doesn't follow the same conventions as Array.
16:34
<
Yoric[DT] >
So [filter] is actually a function with side effects and unit result.
16:34
<
Yoric[DT] >
How annoying.
16:35
* Yoric[DT]
considers replacing this function.
16:46
* Yoric[DT]
has just performed an incompatible change to DynArray.
16:55
bluestorm has quit ["leaving"]
16:56
pierre- has joined #ocaml
17:07
tar_ has joined #ocaml
17:17
Camarade_Tux has joined #ocaml
17:18
Camarade_Tux_ has joined #ocaml
17:18
Camarade_Tux_ has quit [Remote closed the connection]
17:20
_zack has quit ["Leaving."]
17:21
rby_ has quit [Read error: 113 (No route to host)]
18:20
petchema has quit [Remote closed the connection]
18:21
itewsh has joined #ocaml
19:18
jeremiah has quit [Read error: 104 (Connection reset by peer)]
19:23
<
rwmjones >
what's a good algorithm for doing a topological sort with the following conditions:
19:24
<
rwmjones >
- I want the results grouped together (each member of the group won't depend on any other member in the same group)
19:24
<
rwmjones >
- I want to maximize the size of groups (ie. maximize parallelism)
19:25
<
rwmjones >
- I want to minimize number of groups (ie. also to maximize parallelism)
19:31
Snark has joined #ocaml
19:33
ivan_chernetsky has joined #ocaml
19:35
jeremiah has joined #ocaml
19:36
ivan_chernetsky has left #ocaml []
19:41
jeremiah has quit [Read error: 104 (Connection reset by peer)]
19:58
jeremiah has joined #ocaml
20:20
jonasb has joined #ocaml
20:22
jonafan_ is now known as jonafan
20:24
Snark has quit ["Ex-Chat"]
20:28
love-pingoo has quit ["Connection reset by pear"]
20:50
pierre- has quit [Read error: 110 (Connection timed out)]
20:59
fschwidom has quit [Remote closed the connection]
21:20
sporkmonger_ has joined #ocaml
21:22
_zack has joined #ocaml
21:35
ygrek has quit [Remote closed the connection]
21:36
comglz has joined #ocaml
21:36
sporkmonger has quit [Read error: 110 (Connection timed out)]
21:41
jeremiah has quit [Read error: 104 (Connection reset by peer)]
21:41
_zack has quit [Read error: 54 (Connection reset by peer)]
21:41
_zack has joined #ocaml
21:44
jonasb_ has joined #ocaml
21:45
jlouis has quit [Remote closed the connection]
21:49
jonasb__ has joined #ocaml
21:51
m3ga has joined #ocaml
21:59
jeremiah has joined #ocaml
22:01
sporkmonger_ has quit []
22:02
jonasb has quit [Read error: 113 (No route to host)]
22:06
jonasb_ has quit [Read error: 110 (Connection timed out)]
22:26
slash_ has joined #ocaml
22:26
jonasb__ is now known as jonasb
22:33
<
tar_ >
should omake -P work on OS X?
22:36
<
tar_ >
it never detects file changes here
22:46
ramenboy has joined #ocaml
23:10
Yoric[DT] has quit ["Ex-Chat"]
23:11
marmotine has quit ["mv marmotine Laurie"]
23:14
willb has quit [Read error: 60 (Operation timed out)]
23:15
jeremiah has quit [Read error: 104 (Connection reset by peer)]
23:22
oriba has joined #ocaml
23:23
m3ga has quit ["disappearing into the sunset"]
23:29
hkBst has quit [Read error: 104 (Connection reset by peer)]
23:32
kig has left #ocaml []
23:35
_zack has quit ["Leaving."]
23:36
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
23:39
Amorphous has quit [Read error: 60 (Operation timed out)]
23:44
Associat0r has quit []
23:53
vixey has quit ["There exists an infinite set!"]
23:55
Amorphous has joined #ocaml