01:17
Palomides_ has joined #ocaml
01:18
Palomides has quit [Read error: 110 (Connection timed out)]
01:23
Ched- has quit [Connection timed out]
01:24
Ched- has joined #ocaml
01:25
Palomides_ is now known as Palomides
01:50
Associat0r has quit []
02:01
pattern has quit [Read error: 110 (Connection timed out)]
02:04
sporkmonger has quit []
02:24
jeddhaberstro has quit []
02:24
marmotine has quit ["mv marmotine Laurie"]
02:44
lorph has left #ocaml []
03:54
Myoma has quit [Read error: 113 (No route to host)]
03:55
Philonous1 has joined #ocaml
04:05
Philonous has quit [Connection timed out]
04:19
SanguineV has joined #ocaml
05:01
jonafan_ has joined #ocaml
05:10
maattd has quit [Remote closed the connection]
05:13
bluestorm has joined #ocaml
05:15
seafood has quit []
05:19
jonafan has quit [Read error: 110 (Connection timed out)]
05:26
coucou747 has quit [Read error: 113 (No route to host)]
05:28
Snark has joined #ocaml
05:55
SanguineV has quit []
06:43
seafood has joined #ocaml
07:00
Jedai has quit [Read error: 60 (Operation timed out)]
07:03
Myoma has joined #ocaml
07:31
hkBst has joined #ocaml
07:32
ygrek has joined #ocaml
08:07
maattd has joined #ocaml
08:14
coucou747 has joined #ocaml
08:43
Myoma has quit ["Leaving"]
08:50
Linktim has joined #ocaml
09:04
Associat0r has joined #ocaml
09:05
hkBst has quit [Read error: 104 (Connection reset by peer)]
09:10
Linktim_ has joined #ocaml
09:10
seafood has quit [Read error: 104 (Connection reset by peer)]
09:11
seafood has joined #ocaml
09:15
seafood has quit [Client Quit]
09:21
Linktim has quit [Read error: 110 (Connection timed out)]
09:29
asmanur has joined #ocaml
09:30
Asmadeus has joined #ocaml
09:36
Linktim has joined #ocaml
09:51
Yoric[DT] has joined #ocaml
09:54
Linktim_ has quit [Read error: 110 (Connection timed out)]
09:56
asmanur_ has joined #ocaml
10:04
ttamttam has joined #ocaml
10:05
mbishop has quit [Remote closed the connection]
10:10
asmanur has quit [Read error: 110 (Connection timed out)]
10:17
coucou747 has quit ["bye ca veut dire tchao en anglais"]
10:27
Linktim_ has joined #ocaml
10:31
Amorphous has quit [Read error: 104 (Connection reset by peer)]
10:32
<
Yoric[DT] >
mmmhh....
10:32
<
Yoric[DT] >
Seems we'll need some work to get the documentation to look coherent.
10:40
dmk has joined #ocaml
10:41
dmk has left #ocaml []
10:48
Linktim has quit [Read error: 110 (Connection timed out)]
10:50
Amorphous has joined #ocaml
10:51
Linktim_ has quit [Read error: 110 (Connection timed out)]
10:52
tomh_-_ has joined #ocaml
10:58
Linktim has joined #ocaml
11:10
itewsh has joined #ocaml
11:18
ttamttam has quit ["Leaving."]
11:30
TypedLambda has joined #ocaml
11:45
Camarade_Tux_ has joined #ocaml
11:45
itewsh has quit [Read error: 113 (No route to host)]
11:46
Camarade_Tux has quit [Read error: 110 (Connection timed out)]
11:46
Camarade_Tux_ is now known as Camarade_Tux
11:47
<
Camarade_Tux >
is there a Pervasives.at_exit equivalent that is not executed in case an exception is raised ?
11:48
im_alone has quit [Read error: 110 (Connection timed out)]
12:00
<
bluestorm >
let exception_raised = ref false
12:01
<
bluestorm >
let at_exit f = at_exit (fun () -> if not !exception_raised then f ())
12:01
<
bluestorm >
try ..... with exn -> exception_raised := true; raise exn
12:01
<
bluestorm >
with the reference global, and the try .. with around your "main" part
12:11
<
Camarade_Tux >
the problem is I don't have control over the "main" part, it may contain a ";;" for instance. =/
12:12
<
Camarade_Tux >
(but since ocaml will complain at compile-time, I can do that, I'd just prefer not to)
12:13
<
bluestorm >
you want to do that as a syntax extension ?
12:13
<
flux >
camarade_tux, what is your problem actually?
12:13
<
bluestorm >
but i agree this kind of thing is facilitated by having a single point of entry in the script
12:14
<
bluestorm >
(on the other hand, if the constant (with no IO) parts of your code raise exceptions, it is a problem)
12:15
<
flux >
you could Unix.kill the process, or you could make _exit callable from ocaml..
12:15
<
Camarade_Tux >
bluestorm, not really a syntax extension, I want to execute an "user"-provided script but I need to have a few functions called at the end of the script ; I could have the script contain the needed calls but I prefer not to
12:16
<
Camarade_Tux >
and the "script" interacts with the system so it's completely error-prone
12:17
<
bluestorm >
you may achieve that by interacting with the toplevel
12:17
<
bluestorm >
i mean, instead of compiling+executing the script, you pass it phrase per phrase to the toplevel, and check the output
12:17
<
bluestorm >
it's a little messy but it, well, works
12:17
asmanur_ has quit [Read error: 60 (Operation timed out)]
12:17
<
flux >
camarade_tux, do could do something like this: module ContainedScript (Bar: sig end) = struct (copy script here) end;;
12:18
itewsh has joined #ocaml
12:18
<
flux >
and then something like let main () = try let module F = Foo (struct end) in () with exn -> ..
12:18
<
Camarade_Tux >
bluestorm, currently I plan to create a new toplevel with a few additional modules to do something like "init ()"
12:19
<
Camarade_Tux >
my first try was feeding ocaml's toplevel with an out_channel but that was messy, I may reconsider doing this right now since I only have to feed one "command"
12:20
<
Camarade_Tux >
flux, the script will be written by non ocamlers too so I'd like to give them an easier introduction to ocaml
12:21
<
flux >
camarade_tux, I was thinking you would programmatically do the wrapping
12:21
<
flux >
simply textual replacement
12:22
<
flux >
one problem might be if the user gives an extranous "end" in their source
12:22
netx has quit [Read error: 110 (Connection timed out)]
12:52
itewsh has quit [Read error: 113 (No route to host)]
13:17
simias has joined #ocaml
13:17
simias has left #ocaml []
13:18
im_alone has joined #ocaml
13:21
maattd has quit ["Leaving."]
13:22
itewsh has joined #ocaml
13:32
ygrek has quit [Remote closed the connection]
13:41
asmanur has joined #ocaml
13:45
Linktim has quit ["Quitte"]
13:46
bluestorm has quit [Remote closed the connection]
13:48
rog1 has quit [Read error: 110 (Connection timed out)]
13:48
itewsh has quit [Remote closed the connection]
13:48
smimram has quit [Read error: 104 (Connection reset by peer)]
13:53
ygrek has joined #ocaml
14:00
tomh_-_ has joined #ocaml
14:01
smimram has joined #ocaml
14:02
rog1 has joined #ocaml
14:07
sporkmonger has joined #ocaml
14:09
guillem_ has joined #ocaml
14:24
Linktim has joined #ocaml
14:36
comglz has joined #ocaml
14:47
Linktim_ has joined #ocaml
14:47
Philonous1 has quit ["Leaving."]
14:48
Philonous has joined #ocaml
14:55
sporkmonger has quit []
14:58
italy has joined #ocaml
15:04
Linktim has quit [Read error: 110 (Connection timed out)]
15:04
Linktim has joined #ocaml
15:08
pango_ has quit [Remote closed the connection]
15:09
italy has quit ["Ex-Chat"]
15:11
Linktim_ has quit [Read error: 110 (Connection timed out)]
15:27
pango_ has joined #ocaml
15:41
jeddhaberstro has joined #ocaml
15:45
Linktim has quit [Read error: 110 (Connection timed out)]
16:02
munga_ has joined #ocaml
16:06
Ched- has quit [Read error: 104 (Connection reset by peer)]
16:11
Ched- has joined #ocaml
16:13
Ched- has quit [Remote closed the connection]
16:25
comglz_ has joined #ocaml
16:33
bluestorm has joined #ocaml
16:35
ygrek has quit [Remote closed the connection]
16:35
Linktim has joined #ocaml
16:36
marmotine has joined #ocaml
16:40
comglz has quit [Read error: 110 (Connection timed out)]
16:47
Linktim_ has joined #ocaml
16:48
yziquel has quit [Read error: 104 (Connection reset by peer)]
16:55
<
Yoric[DT] >
mmhhhhh
16:55
<
Yoric[DT] >
« Forward reference to Write_ml in file unsafe_read_c.cmo »
16:55
<
Yoric[DT] >
What could that be?
16:59
ygrek has joined #ocaml
17:01
Linktim has quit [Read error: 110 (Connection timed out)]
17:10
itewsh has joined #ocaml
17:12
Myoma has joined #ocaml
17:13
Ched- has joined #ocaml
18:07
sporkmonger has joined #ocaml
18:12
sporkmonger has quit []
18:15
ygrek has quit [Remote closed the connection]
18:17
comglz_ has quit [Client Quit]
18:34
ygrek has joined #ocaml
18:36
itewsh has quit [Read error: 110 (Connection timed out)]
18:37
itewsh has joined #ocaml
18:43
Ched- has quit [Remote closed the connection]
19:01
Ched- has joined #ocaml
19:17
Linktim has joined #ocaml
19:18
ygrek has quit [Remote closed the connection]
19:27
tomh_-_ has joined #ocaml
19:28
Snark has quit ["Ex-Chat"]
19:32
Linktim_ has quit [Read error: 110 (Connection timed out)]
19:32
Linktim_ has joined #ocaml
19:38
<
bluestorm >
gildor: i have a failure with a mail sended to a forge-hosted mailing list
19:40
sporkmonger has joined #ocaml
19:40
Linktim has quit [Read error: 110 (Connection timed out)]
19:49
sporkmonger has quit []
19:58
bzzbzz has joined #ocaml
20:08
Linktim has joined #ocaml
20:18
Linktim_ has quit [Read error: 110 (Connection timed out)]
20:18
<
gildor >
bluestorm: could you submit a bug report?
20:20
jeremiah has joined #ocaml
20:21
asmanur has quit [Read error: 110 (Connection timed out)]
20:22
<
gildor >
bluestorm: against site admin (with full description and how to reproduce it)
20:26
<
Yoric[DT] >
I have the same failure.
20:26
<
Yoric[DT] >
The mail seems to get through anyway.
20:27
<
gildor >
Yoric[DT]: you mean the mail is reachning the list ?
20:35
<
bluestorm >
Yoric[DT]: the mail was send to you
*and* the list
20:35
<
bluestorm >
(as i just got your last one)
20:36
Camarade_Tux has quit []
20:36
<
bluestorm >
Yoric[DT]: i forgot to tell about that in my mail but i actually was thinking about an other name for "Text"
20:36
<
bluestorm >
"Language" is misleading but more accurate
20:37
<
bluestorm >
it's interesting that you came to the same conclusion independently :]
20:37
Camarade_Tux has joined #ocaml
20:40
<
gildor >
bluestorm: bluestorm: don't forget to submit a bug against "site admin", with description on how to reproduce the bug
20:48
<
gildor >
bluestorm: ok i will try to solve it tomorrow
20:48
<
Yoric[DT] >
bluestorm: ok for Language
20:49
* Yoric[DT]
is currently working on a ocamldoc plug-in to actually get the documentation we want.
20:50
<
bluestorm >
Yoric[DT]: you're talking about I/O for Text/Language, but i'm not sure that is relevant; what about Str for example ?
20:51
<
Yoric[DT] >
Mmmhhh....
20:51
<
Yoric[DT] >
Fair enough.
20:51
<
Yoric[DT] >
Although Str
*should* work on streams :)
20:51
<
bluestorm >
well streams are still not I/O strictly speaking
20:51
<
Yoric[DT] >
They're supposed to be an abstraction for I/O.
20:52
<
bluestorm >
but there could be a stream of data inside the program
20:53
<
bluestorm >
(that would be internal i/o :p)
20:59
marmotine has quit ["mv marmotine Laurie"]
21:02
<
Yoric[DT] >
Let's rephrase, then: Language should produce data from strings, inputs or streams/enums or strings, inputs or streams/enums from data?
21:05
<
Yoric[DT] >
Languages should produce data from text, text from text or text from data.
21:06
<
Yoric[DT] >
(where text could be interpreted quite liberally)
21:06
<
bluestorm >
"Parsing, printing and operating on structured data" ?
21:07
hkBst has joined #ocaml
21:08
<
bluestorm >
Yoric[DT]: your description is accurate, except that we actually don't know what "data" and "text" are ;)
21:09
<
bluestorm >
also, sexplib is more like "Producing text producing text from data gathered from the source code text"
21:09
Camarade_Tux has quit []
21:09
<
Yoric[DT] >
Well, that's how it works.
21:09
<
Yoric[DT] >
But that's not how it looks.
21:10
<
bluestorm >
Sexplib would contain the runtime API, right ?
21:10
<
bluestorm >
ah, you mean that looks like Sexp.t -> string and string -> Sexp.t
21:16
<
Yoric[DT] >
Anyway, time to call it a night.
21:16
<
Yoric[DT] >
Cheers.
21:16
Yoric[DT] has quit ["Ex-Chat"]
21:16
pleroma has joined #ocaml
21:24
Camarade_Tux has joined #ocaml
21:28
Axioplase has joined #ocaml
21:28
Camarade_Tux has quit [Client Quit]
21:39
Camarade_Tux has joined #ocaml
21:44
Camarade_Tux has quit [Remote closed the connection]
21:45
Camarade_Tux has joined #ocaml
21:45
Camarade_Tux has quit [Read error: 104 (Connection reset by peer)]
21:46
Camarade_Tux has joined #ocaml
21:47
tar_ has joined #ocaml
21:49
Camarade_Tux has quit [Remote closed the connection]
21:50
Camarade_Tux has joined #ocaml
21:53
itewsh has quit ["KTHXBYE"]
21:55
Camarade_Tux has quit [Remote closed the connection]
21:56
Camarade_Tux has joined #ocaml
21:58
Camarade_Tux has quit [Remote closed the connection]
21:59
Camarade_Tux has joined #ocaml
22:04
Linktim has quit ["Quitte"]
22:09
Camarade_Tux has quit []
22:10
Camarade_Tux has joined #ocaml
22:24
<
det >
Using that code, is it true that calling "let r = new readable file" will be more efficient than "let r = readable2 file" ?
22:39
coucou747 has joined #ocaml
22:44
dibblego has joined #ocaml
22:48
<
bluestorm >
det: i wouldn't expect any difference
22:48
<
bluestorm >
any noticeable difference, at least
22:48
<
bluestorm >
if you really care, try a benchmark
22:48
<
bluestorm >
but is that important ?
22:50
<
det >
Well, it seems that if I use a class, Ocaml will construct a class at program initialization and then reuse that class on every object construction, while if I use an immediate object, it will generate a new class for every allocation
22:50
<
det >
I will benchmark
22:53
<
tar_ >
I would wager that they are almost entirely identical.
23:04
hkBst has quit [Read error: 104 (Connection reset by peer)]
23:04
<
det >
the immediate object version is faster by 18% o_O
23:05
Axioplase is now known as Axioplase_eat
23:14
tar_ has quit ["byebye"]
23:14
bluestorm has quit [Remote closed the connection]
23:18
tar_ has joined #ocaml
23:32
jeddhaberstro has quit []
23:43
tar_ has quit ["byebye"]
23:48
middayc has joined #ocaml