00:17
ulfdoz has quit [Read error: 110 (Connection timed out)]
00:30
smimou has quit ["bli"]
01:11
Kopophex has quit [Read error: 110 (Connection timed out)]
01:12
Kopophex has joined #ocaml
01:23
Morphous has quit [Read error: 110 (Connection timed out)]
01:24
Morphous has joined #ocaml
01:34
seafood has joined #ocaml
01:39
pango has quit [Remote closed the connection]
01:41
pango has joined #ocaml
01:53
ulfdoz has joined #ocaml
02:02
r0bby has joined #ocaml
02:06
CosmicRay has joined #ocaml
03:11
batdog has joined #ocaml
03:14
batdog has quit [Client Quit]
03:17
AxleLonghorn has joined #ocaml
03:20
AxleLonghorn has left #ocaml []
03:22
CosmicRay has quit ["Client exiting"]
03:33
batdog has joined #ocaml
03:44
marmotine has quit [Remote closed the connection]
04:36
<
seafood >
Can I ask a question about .mli and .ml files?
04:41
palomer has quit ["Leaving"]
04:41
<
thelema >
seafood: go ahead.
04:41
<
seafood >
Weird my cient is acting up
04:41
seafood has quit []
04:41
seafood has joined #ocaml
04:41
<
seafood >
I couldn't see what I typed echoed
04:42
<
seafood >
Okay, I'm looking at some code Xavier Leroy wrote.
04:42
<
seafood >
It's CamlIDL.
04:42
<
thelema >
that is odd.
04:42
<
seafood >
Anyway, he's done this neat trick where he puts some type declarations (and only type declarations) in a file called idltypes.mli
04:42
<
seafood >
He does this so that he doesn't have to write them in the interface file AND the module file.
04:43
<
seafood >
Then when you make the program, camlidl, idltypes.cmi does not appear on the command line (since it can't)
04:43
<
seafood >
But somehow the link still works!
04:43
<
seafood >
Now, I'm trying this on my own project and I keep getting an error message saying that "ProcessTypes" is a undefined global.
04:43
<
seafood >
But I can't see what I'm doing differently to Xavier's code.
04:43
<
thelema >
what types?
04:44
<
thelema >
any records / variant types?
04:44
<
seafood >
Just algebraic data types.
04:44
<
seafood >
And an exception
04:44
<
seafood >
Is it the exception perhaps?
04:45
<
seafood >
I don't use any polymorphic variants. No records. Just things like type a = B | C of string
04:46
<
thelema >
well, only records and variant types need to be pre-declared - everything else can be inferred. (Exceptions count as a variant type)
04:46
<
thelema >
so if the types were all "optional-declare" types, that file wouldn't be needed to compile.
04:47
<
seafood >
I'm looking at Xavier's code again.
04:47
* thelema
can't d/l ocamlidl to look at the code himself
04:47
<
seafood >
He's got records
04:47
<
seafood >
Err. Perhaps I could put it up somewhere for you to download?
04:48
<
seafood >
Why can't you download?
04:51
<
thelema >
caml.inria.fr isn't responding
04:51
<
thelema >
you could put it somewhere - I'd d/l it then.
04:52
<
thelema >
(or just give me any working URL)
04:54
<
thelema >
ah, a .mli file with only types needs no .ml
04:54
<
thelema >
it still has to be referenced by the other files
04:55
<
thelema >
all of his files have "open Idltypes"
04:55
<
seafood >
Is that important?
04:55
<
seafood >
That the ALL have it?
04:55
<
seafood >
What if you leave it out?
04:55
<
seafood >
What goes wrong?
04:55
<
thelema >
no, just ones that use the types.
04:56
<
seafood >
Ahah. Well. I'm doing the same thing!
04:56
<
seafood >
And it's just not linking.
04:56
<
seafood >
I really can't understand what is going on.
04:56
<
thelema >
if you leave it out, you have to specify Idltypes.<typename> in the type specification
04:56
<
seafood >
I understand that.
04:56
<
thelema >
there's no real trick, other than a module with no code, only types.
04:56
<
thelema >
so there's nothing to link.
04:57
<
thelema >
how is your project failing?
04:57
<
seafood >
What about exceptions?
04:57
<
seafood >
Could that ruin things?
04:57
<
seafood >
I'm going to try this.
04:58
<
thelema >
I think exceptions might need the .ml file, although I'm not sure.
04:58
<
seafood >
Aha! That was it!
04:58
<
seafood >
Thanks for your help
04:58
<
thelema >
there might be some code created to run at initialization
04:58
<
thelema >
s/initialization/startup/
05:45
Kopophex has quit [Read error: 110 (Connection timed out)]
05:58
bluestorm has joined #ocaml
06:04
m3ga has joined #ocaml
06:30
Jeff_123 has quit [Read error: 104 (Connection reset by peer)]
06:30
m3ga has quit ["disappearing into the sunset"]
06:40
Ched- has joined #ocaml
06:41
Ched- has left #ocaml []
06:42
seafood has quit []
06:51
seafood has joined #ocaml
07:02
Linktim has joined #ocaml
07:38
ygrek has joined #ocaml
07:52
Jedai has joined #ocaml
07:53
Yoric[DT] has joined #ocaml
08:05
asmanur has joined #ocaml
08:36
Yoric[DT] has quit ["Ex-Chat"]
08:37
filp has joined #ocaml
08:46
Linktim_ has joined #ocaml
08:47
vbmithr has joined #ocaml
08:53
Linktim_ is now known as Linktimaw
08:59
Linktim has quit [Read error: 110 (Connection timed out)]
08:59
ygrek has quit [Remote closed the connection]
09:00
asmanur has quit [Read error: 110 (Connection timed out)]
09:08
vbmithr_ has joined #ocaml
09:16
Linktimaw has quit [Read error: 110 (Connection timed out)]
09:25
vbmithr has quit [Read error: 110 (Connection timed out)]
09:34
Associat0r has joined #ocaml
09:57
LordMetroid has joined #ocaml
10:04
vbmithr has joined #ocaml
10:04
vbmithr_ has quit ["leaving"]
10:08
love-pingoo has joined #ocaml
10:21
ygrek has joined #ocaml
10:29
Morphous is now known as Amorphous
10:56
smimou has joined #ocaml
11:11
struktured has quit [Read error: 104 (Connection reset by peer)]
11:24
struktured has joined #ocaml
11:35
asmanur has joined #ocaml
11:40
Yoric[DT] has joined #ocaml
12:22
Ched has joined #ocaml
12:23
Ched has left #ocaml []
12:48
smimou has quit ["bli"]
12:50
tomh has joined #ocaml
12:52
smimou has joined #ocaml
13:05
smimou has quit [Remote closed the connection]
13:05
smimou has joined #ocaml
13:21
ygrek has quit [Remote closed the connection]
13:32
batdog has joined #ocaml
13:34
ChristopheT has joined #ocaml
13:54
seafood has quit []
14:02
Jedai has quit [Read error: 113 (No route to host)]
14:04
<
bluestorm >
flux: where is your ocaml game again ?
14:04
<
bluestorm >
i found nothing on the Hump
14:58
marmotine has joined #ocaml
15:04
Jedai has joined #ocaml
15:12
nuncanada has joined #ocaml
15:19
hkBst has joined #ocaml
15:23
pango has quit [Remote closed the connection]
15:24
love-pingoo has quit [Read error: 60 (Operation timed out)]
15:30
pango has joined #ocaml
15:56
love-pingoo has joined #ocaml
16:01
AxleLonghorn has joined #ocaml
16:01
AxleLonghorn has left #ocaml []
16:04
* thelema
considers whether unicode strings should be in stdlib or Unicode (possibly within libstr)
16:04
* Yoric[DT]
believes that stdlib is a good choice.
16:05
<
Yoric[DT] >
Since many modules will want to provide functions working with unicode as well as functions working with regular strings.
16:06
<
thelema >
there's a ton of code imported from camomile to handle latin1 -> UTF8 conversion - it's worth burdening all ocaml programs iwth this?
16:07
<
Yoric[DT] >
Well, maybe not the whole code.
16:07
<
Yoric[DT] >
But I'd say that the type of ustrings should be pervasive.
16:07
<
Yoric[DT] >
I might be wrong, of course.
16:08
<
thelema >
I was thinking maybe a simple "open Unicode" at the top of a program would include string/char types that are unicode ropes and Unicode characters
16:08
<
thelema >
*codepoints
16:09
<
thelema >
as long as there was an equivalent infrastructure of unicode functions, the conversion could be pretty easy...
16:10
<
thelema >
Any programs wanting both ascii and unicode wouldn't do the [open], and would ask for Unicode.* specifically.
16:11
<
thelema >
or do you think that ustrings should be default, and users should ask specifically for plain ascii strings?
16:13
<
bluestorm >
i've been looking for "gob" on google
16:13
<
bluestorm >
even "gob ocaml" wasn't that great :p
16:14
<
Yoric[DT] >
thelema: I'm not sure about that.
16:14
<
Yoric[DT] >
I actually hoped your ideas would be a bit more clear than mine.
16:14
<
flux >
is there a forum where such things are discussed?
16:15
<
thelema >
Just this morning, as I was finishing the unicode library, I realized that maybe it shouldn't lie in stdlib.
16:15
<
thelema >
hmm, I guess it wouldn't be too unreasonable to untangle things again to pull the character conversion routines outside of the stdlib.
16:23
bla has quit [Read error: 113 (No route to host)]
16:37
bla has joined #ocaml
17:17
Ched- has joined #ocaml
17:29
Ched- has left #ocaml []
17:57
love-pingoo has quit ["Connection reset by pear"]
18:14
jussx has joined #ocaml
18:18
jussx has quit ["leaving"]
18:38
Demitar has quit [Read error: 110 (Connection timed out)]
18:47
^authentic has joined #ocaml
18:51
asmanur has quit [Remote closed the connection]
18:59
kelaouchi has joined #ocaml
18:59
authentic has quit [Read error: 110 (Connection timed out)]
18:59
^authentic is now known as authentic
18:59
blue_prawn has joined #ocaml
19:13
tomh has joined #ocaml
19:38
batdog has joined #ocaml
19:42
Linktim has joined #ocaml
19:57
guillem has joined #ocaml
19:59
Demitar has joined #ocaml
20:05
Associat0r has quit []
20:27
filp has quit ["Bye"]
20:38
ChristopheT has left #ocaml []
20:39
nuncanada has quit [Remote closed the connection]
20:48
marmotine has quit [Remote closed the connection]
20:54
Yoric[DT] has quit ["Ex-Chat"]
20:56
smimou has quit [Read error: 110 (Connection timed out)]
20:57
smimou has joined #ocaml
21:00
guillem has quit [heinlein.freenode.net irc.freenode.net]
21:00
bla has quit [heinlein.freenode.net irc.freenode.net]
21:00
LordMetroid has quit [heinlein.freenode.net irc.freenode.net]
21:00
bluestorm has quit [heinlein.freenode.net irc.freenode.net]
21:00
Smerdyakov has quit [heinlein.freenode.net irc.freenode.net]
21:00
ikatz has quit [heinlein.freenode.net irc.freenode.net]
21:00
Mr_Awesome has quit [heinlein.freenode.net irc.freenode.net]
21:00
pattern has quit [heinlein.freenode.net irc.freenode.net]
21:02
Jeff_123 has joined #ocaml
21:04
Linktim has quit [Read error: 113 (No route to host)]
21:04
guillem has joined #ocaml
21:05
bluestorm has joined #ocaml
21:06
Linktim has joined #ocaml
21:07
batdog has joined #ocaml
21:07
Jeff_123 has quit ["Leaving."]
21:08
bla has joined #ocaml
21:08
Smerdyakov has joined #ocaml
21:08
Mr_Awesome has joined #ocaml
21:08
pattern has joined #ocaml
21:08
ikatz has joined #ocaml
21:11
hkBst has quit [heinlein.freenode.net irc.freenode.net]
21:11
gaja has quit [heinlein.freenode.net irc.freenode.net]
21:11
det has quit [heinlein.freenode.net irc.freenode.net]
21:11
jlouis has quit [heinlein.freenode.net irc.freenode.net]
21:11
gaja has joined #ocaml
21:13
hkBst has joined #ocaml
21:14
det has joined #ocaml
21:14
jlouis has joined #ocaml
21:16
tim has joined #ocaml
21:20
fremo has joined #ocaml
21:22
tlh24 has quit [heinlein.freenode.net irc.freenode.net]
21:22
fremo_ has quit [heinlein.freenode.net irc.freenode.net]
21:22
hcarty has quit [heinlein.freenode.net irc.freenode.net]
21:23
tlh24 has joined #ocaml
21:23
hcarty has joined #ocaml
21:23
tim has quit [heinlein.freenode.net irc.freenode.net]
21:23
ikatz has quit [heinlein.freenode.net irc.freenode.net]
21:23
Mr_Awesome has quit [heinlein.freenode.net irc.freenode.net]
21:23
Smerdyakov has quit [heinlein.freenode.net irc.freenode.net]
21:23
bla has quit [heinlein.freenode.net irc.freenode.net]
21:23
pattern has quit [heinlein.freenode.net irc.freenode.net]
21:23
tim has joined #ocaml
21:29
bla has joined #ocaml
21:29
Smerdyakov has joined #ocaml
21:29
Mr_Awesome has joined #ocaml
21:29
pattern has joined #ocaml
21:29
ikatz has joined #ocaml
21:30
clog has joined #ocaml
21:42
ikatz has quit [clarke.freenode.net irc.freenode.net]
21:42
Mr_Awesome has quit [clarke.freenode.net irc.freenode.net]
21:42
Smerdyakov has quit [clarke.freenode.net irc.freenode.net]
21:42
bla has quit [clarke.freenode.net irc.freenode.net]
21:42
pattern has quit [clarke.freenode.net irc.freenode.net]
21:42
gildor has quit [clarke.freenode.net irc.freenode.net]
21:42
det has quit [clarke.freenode.net irc.freenode.net]
21:42
jlouis has quit [clarke.freenode.net irc.freenode.net]
21:45
mattam has quit [clarke.freenode.net irc.freenode.net]
21:45
petchema has quit [clarke.freenode.net irc.freenode.net]
21:45
ppsmimou has quit [clarke.freenode.net irc.freenode.net]
21:49
blue_prawn has quit [clarke.freenode.net irc.freenode.net]
21:49
xevz has quit [clarke.freenode.net irc.freenode.net]
21:49
elparo_continua has quit [clarke.freenode.net irc.freenode.net]
21:49
struktured has quit [clarke.freenode.net irc.freenode.net]
21:49
fremo has quit [clarke.freenode.net irc.freenode.net]
21:49
Demitar has quit [clarke.freenode.net irc.freenode.net]
21:49
hkBst has quit [clarke.freenode.net irc.freenode.net]
21:49
haelix has quit [clarke.freenode.net irc.freenode.net]
21:49
netx has quit [clarke.freenode.net irc.freenode.net]
21:49
bzzbzz has quit [clarke.freenode.net irc.freenode.net]
21:49
Sparkles has quit [clarke.freenode.net irc.freenode.net]
21:49
r0bby has quit [clarke.freenode.net irc.freenode.net]
21:49
vbmithr has quit [clarke.freenode.net irc.freenode.net]
21:49
ulfdoz has quit [clarke.freenode.net irc.freenode.net]
21:49
jonafan has quit [clarke.freenode.net irc.freenode.net]
21:49
kelaouchi has quit [clarke.freenode.net irc.freenode.net]
21:49
gaja has quit [clarke.freenode.net irc.freenode.net]
21:49
flux has quit [clarke.freenode.net irc.freenode.net]
21:49
Naked has quit [clarke.freenode.net irc.freenode.net]
21:49
svenl has quit [clarke.freenode.net irc.freenode.net]
21:49
cmeme has quit [clarke.freenode.net irc.freenode.net]
21:49
orbitz has quit [clarke.freenode.net irc.freenode.net]
21:49
tomh has quit [clarke.freenode.net irc.freenode.net]
21:49
gim has quit [clarke.freenode.net irc.freenode.net]
21:49
Amorphous has quit [clarke.freenode.net irc.freenode.net]
21:49
TaXules has quit [clarke.freenode.net irc.freenode.net]
21:49
l_a_m has quit [clarke.freenode.net irc.freenode.net]
21:49
Linktim has quit [clarke.freenode.net irc.freenode.net]
21:49
dobblego has quit [clarke.freenode.net irc.freenode.net]
21:49
thelema has quit [clarke.freenode.net irc.freenode.net]
21:49
Oatschool has quit [clarke.freenode.net irc.freenode.net]
21:49
bluestorm has quit [clarke.freenode.net irc.freenode.net]
21:49
Ugarte has quit [clarke.freenode.net irc.freenode.net]
21:49
guillem has quit [clarke.freenode.net irc.freenode.net]
21:49
tim has quit [clarke.freenode.net irc.freenode.net]
21:49
Chile` has quit [clarke.freenode.net irc.freenode.net]
21:49
szell has quit [clarke.freenode.net irc.freenode.net]
21:49
authentic has quit [clarke.freenode.net irc.freenode.net]
21:49
guyzmo has quit [clarke.freenode.net irc.freenode.net]
21:49
ertai has quit [clarke.freenode.net irc.freenode.net]
21:49
shortcircuit has quit [clarke.freenode.net irc.freenode.net]
21:49
tsuyoshi has quit [clarke.freenode.net irc.freenode.net]
21:49
mfp has quit [clarke.freenode.net irc.freenode.net]
21:49
smimou has quit [clarke.freenode.net irc.freenode.net]
21:49
mbishop has quit [clarke.freenode.net irc.freenode.net]
21:49
ozzloy has quit [clarke.freenode.net irc.freenode.net]
21:49
acatout has quit [clarke.freenode.net irc.freenode.net]
21:49
jdev has quit [clarke.freenode.net irc.freenode.net]
21:49
pango has quit [clarke.freenode.net irc.freenode.net]
21:49
vixey has quit [clarke.freenode.net irc.freenode.net]
21:49
hcarty has quit [Read error: 104 (Connection reset by peer)]
21:49
gildor has joined #ocaml
21:49
ikatz has joined #ocaml
21:49
pattern has joined #ocaml
21:49
Mr_Awesome has joined #ocaml
21:49
Smerdyakov has joined #ocaml
21:49
bla has joined #ocaml
21:49
tim has joined #ocaml
21:49
fremo has joined #ocaml
21:49
jlouis has joined #ocaml
21:49
det has joined #ocaml
21:49
gaja has joined #ocaml
21:49
Linktim has joined #ocaml
21:49
bluestorm has joined #ocaml
21:49
guillem has joined #ocaml
21:49
smimou has joined #ocaml
21:49
Demitar has joined #ocaml
21:49
tomh has joined #ocaml
21:49
blue_prawn has joined #ocaml
21:49
kelaouchi has joined #ocaml
21:49
authentic has joined #ocaml
21:49
pango has joined #ocaml
21:49
struktured has joined #ocaml
21:49
vbmithr has joined #ocaml
21:49
r0bby has joined #ocaml
21:49
ulfdoz has joined #ocaml
21:49
Amorphous has joined #ocaml
21:49
mfp has joined #ocaml
21:49
vixey has joined #ocaml
21:49
netx has joined #ocaml
21:49
shortcircuit has joined #ocaml
21:49
bzzbzz has joined #ocaml
21:49
jonafan has joined #ocaml
21:49
szell has joined #ocaml
21:49
ppsmimou has joined #ocaml
21:49
jdev has joined #ocaml
21:49
TaXules has joined #ocaml
21:49
xevz has joined #ocaml
21:49
Ugarte has joined #ocaml
21:49
petchema has joined #ocaml
21:49
elparo_continua has joined #ocaml
21:49
Sparkles has joined #ocaml
21:49
haelix has joined #ocaml
21:49
flux has joined #ocaml
21:49
Naked has joined #ocaml
21:49
ertai has joined #ocaml
21:49
dobblego has joined #ocaml
21:49
gim has joined #ocaml
21:49
l_a_m has joined #ocaml
21:49
thelema has joined #ocaml
21:49
mattam has joined #ocaml
21:49
svenl has joined #ocaml
21:49
acatout has joined #ocaml
21:49
mbishop has joined #ocaml
21:49
orbitz has joined #ocaml
21:49
cmeme has joined #ocaml
21:49
tsuyoshi has joined #ocaml
21:49
Chile` has joined #ocaml
21:49
Oatschool has joined #ocaml
21:49
ozzloy has joined #ocaml
21:49
guyzmo has joined #ocaml
21:49
hcarty has joined #ocaml
21:50
Smerdyakov has quit [clarke.freenode.net irc.freenode.net]
21:50
ikatz has quit [clarke.freenode.net irc.freenode.net]
21:50
Mr_Awesome has quit [clarke.freenode.net irc.freenode.net]
21:50
bla has quit [clarke.freenode.net irc.freenode.net]
21:50
pattern has quit [clarke.freenode.net irc.freenode.net]
21:51
tlh24 has quit [Connection timed out]
21:57
bla has joined #ocaml
21:57
Smerdyakov has joined #ocaml
21:57
Mr_Awesome has joined #ocaml
21:57
pattern has joined #ocaml
21:57
ikatz has joined #ocaml
22:03
blue_prawn has quit ["Client exiting"]
22:05
pattern_ has joined #ocaml
22:07
Linktim has quit [Remote closed the connection]
22:07
pattern has quit [Read error: 110 (Connection timed out)]
22:07
pattern_ is now known as pattern
22:20
jeremiah has joined #ocaml
22:23
batdog has joined #ocaml
22:26
batdog has quit [Client Quit]
22:32
batdog has joined #ocaml
22:34
Axioplase has joined #ocaml
22:35
LordMetroid has joined #ocaml
22:38
bluestorm has quit ["Konversation terminated!"]
23:18
<
Smerdyakov >
Oho. ICFP accepted papers list published.
23:26
<
Smerdyakov >
Well, that would be... on the ICFP web site!
23:38
<
jlouis >
Smerdyakov, I need to read about your PHOAS ideas someday. It looks interesting
23:38
<
Smerdyakov >
jlouis, well, hey, I like it. :-)
23:38
<
jlouis >
You have a "draft" somewhere of the paper?
23:38
<
jlouis >
Or should I just wait