ski_ has quit [Read error: 110 (Connection timed out)]
ski_ has joined #ocaml
batdog|gone is now known as batdog
batdog is now known as batdog|gone
pango_ has joined #ocaml
pango has quit [Read error: 60 (Operation timed out)]
vezenchio has quit ["\\o sora wa hate shinai, kokoro no kagami dakara na \o/ mainichi iro wo kaeteku utsushidasu you na o//"]
Raziel has joined #ocaml
kryptt has joined #ocaml
batdog|gone is now known as batdog
juri has quit [brown.freenode.net irc.freenode.net]
mauke has quit [brown.freenode.net irc.freenode.net]
ski has quit [brown.freenode.net irc.freenode.net]
cmeme has quit [brown.freenode.net irc.freenode.net]
Oatmeat|umn has quit [brown.freenode.net irc.freenode.net]
knobo has quit [brown.freenode.net irc.freenode.net]
demitar_ has quit [brown.freenode.net irc.freenode.net]
Hadaka has quit [brown.freenode.net irc.freenode.net]
kubano has quit [brown.freenode.net irc.freenode.net]
quamaretto has quit [brown.freenode.net irc.freenode.net]
pnou_ has quit [brown.freenode.net irc.freenode.net]
skylan has quit [brown.freenode.net irc.freenode.net]
haelix has quit [brown.freenode.net irc.freenode.net]
shammah has quit [brown.freenode.net irc.freenode.net]
pango_ has quit [brown.freenode.net irc.freenode.net]
flux__ has quit [brown.freenode.net irc.freenode.net]
noj has quit [brown.freenode.net irc.freenode.net]
ulfdoz has quit [brown.freenode.net irc.freenode.net]
Raziel has quit [brown.freenode.net irc.freenode.net]
vodka-goo has quit [brown.freenode.net irc.freenode.net]
bacam has quit [brown.freenode.net irc.freenode.net]
Bigb[a]ng has quit [brown.freenode.net irc.freenode.net]
ski__ has joined #ocaml
Raziel has joined #ocaml
pango_ has joined #ocaml
vodka-goo has joined #ocaml
mauke has joined #ocaml
flux__ has joined #ocaml
ski has joined #ocaml
knobo has joined #ocaml
ulfdoz has joined #ocaml
cmeme has joined #ocaml
juri has joined #ocaml
Oatmeat|umn has joined #ocaml
demitar_ has joined #ocaml
Hadaka has joined #ocaml
kubano has joined #ocaml
haelix has joined #ocaml
quamaretto has joined #ocaml
pnou_ has joined #ocaml
skylan has joined #ocaml
shammah has joined #ocaml
noj has joined #ocaml
bacam has joined #ocaml
Bigb[a]ng has joined #ocaml
Skal has joined #ocaml
ski has quit [Connection timed out]
Skal has quit [Read error: 104 (Connection reset by peer)]
Skal has joined #ocaml
revision17_ has quit [Remote closed the connection]
ski__ is now known as ski
faigo has quit [Remote closed the connection]
pango_ has quit [Remote closed the connection]
pango has joined #ocaml
batdog is now known as batdog|gone
batdog|gone is now known as batdog
m3ga has joined #ocaml
batdog is now known as batdog|gone
_fab has joined #ocaml
m3ga has quit [Read error: 104 (Connection reset by peer)]
ppsmimou has joined #ocaml
Revision17 has joined #ocaml
batdog|gone is now known as batdog
batdog is now known as batdog|gone
m3ga has joined #ocaml
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
pingoo has joined #ocaml
pingoo is now known as vodkagoo
bluestorm has joined #ocaml
bluestorm has quit [Read error: 104 (Connection reset by peer)]
bluestorm has joined #ocaml
bluestorm has quit [Read error: 113 (No route to host)]
bluestorm has joined #ocaml
Snark has joined #ocaml
ski__ has joined #ocaml
ski has quit [Nick collision from services.]
ski__ is now known as ski
er has joined #ocaml
<er>
is there a way to generate a .cmi signature from the implementation of a module?
<er>
so i have a module defined in a file x.ml, and i'd like to extract an interface into a file called x.mli.
<bluestorm>
it's possible
<bluestorm>
an option of ocamlc
<bluestorm>
ocamlc -i yourfile.ml
<er>
ok. thanks.
<er>
wow, it outputs the inferred types as well. neat.
yangsx has joined #ocaml
<er>
here's another question on modules: i have a 'open X' in the definition of a module Y. Using a type Z defined in X gives me an 'unbound module' error.
<er>
oops. Unbound type constructor, not unbound module.
<er>
but it then gives me an unbound record field label
<bluestorm>
should be written Thread_types and Calee_set if you follow the caml conventions
<bluestorm>
hum
<bluestorm>
maybe you should put off the open ThreadTypes
<bluestorm>
hum
<bluestorm>
errf
<bluestorm>
wait
<bluestorm>
why not
<bluestorm>
open ThreadTypes;;
<bluestorm>
( ';;' ?)
<er>
same error
<er>
Unbound type constructor scg_callgraph
<bluestorm>
hum
<bluestorm>
i think
<bluestorm>
type restriction
<bluestorm>
is not val arg:type = ...
<bluestorm>
but
<bluestorm>
val (arg : type) = ...
<er>
i see. trying.
<er>
Syntax error
<er>
for val (graph: scg_callgraph) = (Hashtbl.create 4096)
<bluestorm>
hum
<bluestorm>
hum
<bluestorm>
i never tried to mix classes and modules
<bluestorm>
but
<bluestorm>
maybe you should put off the restriction
<bluestorm>
and precise it in the signature of the module
<er>
d'accord, j'essaie:)
bluestorm has quit [Read error: 104 (Connection reset by peer)]
Bigb[a]ng is now known as Bigbang
<er>
for anyone who followed this discussion and is curious, or found a log of this on the web (hello stranger...)
<er>
the error came from the fact that you don't define a 'module x = struct ...' in a file,
<dylan>
Remember, *they* are watching . . .
<er>
quite appropriate, considering you call yourself dylan.
<dylan>
hmm?
<er>
(contd...) since the name of the file implies the module.
<vodkagoo>
hiiihan, dylan
<vodkagoo>
(sorry, french joke)
<er>
so when we say module X in a file named X.ml, we're actually defining module X.X
<er>
dylan: 'how many roads must a man...'
<er>
was the question to the answer 42 in Douglas Adam's h2g2
<er>
the 'rat being' that came up with the question used that line just thereafter ('Remember, they are watching')
<er>
referring to the rest of the universe and tiem
<er>
(sorry, french joke)
<dylan>
A joke involving me being named after a famous singer, quoting something that is both a lyric of his and in H2G2 which also goes along with the topic of people watching us in the future, is a french joke?
<er>
that's a nice resume, for the slow reader:)
yangsx has quit ["using sirc version 2.211+KSIRC/1.3.12"]
<dylan>
At first I thought what I said was somehow related to my namesake, the famous welsh poet.
<er>
hm. dylan thomas. the portrait of an artist as a young dog ?
<dylan>
LOL.
<er>
it's a nice decoration for bookstores. always makes you stop and notice.
<dylan>
I had not heard of that until just now, googled it. Funny
<er>
it might be a nice read if you've read Ulysses and '... young man'
<er>
i'm still stuck at not having started with Ulysses.
<dylan>
a review on amazon says "I would rather read this book than any by James Joyce..."
<er>
me too, i think:)
<dylan>
If both authors had wrote in their native tongues, I'd rather read Joyce.
kryptt has quit [Read error: 110 (Connection timed out)]
<dylan>
welsh looks like it is rot13 encoded.
er has quit [Remote closed the connection]
* dylan
ponders a camlp4 grammar that replaces all the english keywords with welsh.
<dylan>
cyfateb location efo Lloegr -> "Twll din pob Sais!" | Cymru -> "Cymru am byth!"
vezenchio has joined #ocaml
__DL__ has joined #ocaml
exa has joined #ocaml
Raziel has quit ["Yo soy goma. Tú eres cola."]
vodkagoo has quit ["Leaving"]
_fab has quit []
_fab has joined #ocaml
ppsmimou has quit ["Leaving"]
smimou has joined #ocaml
pango has quit ["Leaving"]
pango has joined #ocaml
Schmurtz has quit [Read error: 110 (Connection timed out)]
Skal has quit ["Client exiting"]
Skal has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
_fab has joined #ocaml
Schmurtz has joined #ocaml
Raziel has joined #ocaml
bluestorm has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
bluestorm has quit [Read error: 113 (No route to host)]
demitar__ has joined #ocaml
Bigbang is now known as Bigb[a]ng
* Raziel
se va
Raziel has quit ["Yo soy goma. Tú eres cola."]
demitar_ has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Parti"]
rq has quit ["Leaving"]
shirogane has joined #ocaml
Purice has joined #ocaml
Purice has quit [Client Quit]
Skal has quit ["Client exiting"]
smimou has quit ["bli"]
Raziel has joined #ocaml
Purice has joined #ocaml
Purice has quit [Read error: 104 (Connection reset by peer)]