_DL_ has joined #ocaml
__DL__ has quit [Read error: 60 (Operation timed out)]
mattam has quit ["zZz"]
giedi_ has joined #ocaml
giedi_ has quit [Client Quit]
<
async>
how can you delete a member in a list?
<
Riastradh>
Does List have a filter function?
<
async>
i'll take a look at that
_DL_ has quit [Remote closed the connection]
whee has joined #ocaml
docelic is now known as docelic|sleepo
Kinners has joined #ocaml
jdrake has joined #ocaml
jdrake is now known as LukesAngryFather
LukesAngryFather is now known as Luke`sAngryFathe
Luke`sAngryFathe is now known as jdrake
reltuk has joined #ocaml
Kinners has left #ocaml []
stefp has quit [Read error: 60 (Operation timed out)]
themus has joined #ocaml
stefp has joined #ocaml
mattam has joined #ocaml
reltuk has quit [Read error: 104 (Connection reset by peer)]
gt2 has joined #ocaml
d-bug has joined #ocaml
jdrake is now known as jdrake`sleep
reltuk has joined #ocaml
reltuk has quit [Read error: 54 (Connection reset by peer)]
__DL__ has joined #ocaml
reltuk has joined #ocaml
reltuk has quit [Client Quit]
__DL__ has quit [Remote closed the connection]
__DL__ has joined #ocaml
reltuk has joined #ocaml
TachYon26 has joined #ocaml
docelic|sleepo is now known as docelic
foxster has quit [Read error: 104 (Connection reset by peer)]
d-bug has joined #ocaml
docelic is now known as docelic|away
gene9 has joined #ocaml
`Markus` has joined #ocaml
gene9 has quit [Client Quit]
gene9 has joined #ocaml
`Markus` is now known as lus|wazze
gene9 has quit [Read error: 104 (Connection reset by peer)]
d-bug has quit [Read error: 60 (Operation timed out)]
Yurik has joined #ocaml
TachYon26 has quit [Remote closed the connection]
TachYon26 has joined #ocaml
docelic|away is now known as docelic
lus|wazze has quit ["Programming today is a race between software engineers striving to build bigger and better idiot-proof programs, and the Univ]
`Markus` has joined #ocaml
TachYon26 has quit [Remote closed the connection]
* Yurik
is away: I'm busy
foxster has joined #ocaml
docelic has quit [calvino.freenode.net irc.freenode.net]
liyang has quit [calvino.freenode.net irc.freenode.net]
async has quit [calvino.freenode.net irc.freenode.net]
pattern_ has quit [calvino.freenode.net irc.freenode.net]
skylan has quit [calvino.freenode.net irc.freenode.net]
wax has quit [calvino.freenode.net irc.freenode.net]
karryall has quit [calvino.freenode.net irc.freenode.net]
karryall has joined #ocaml
async has joined #ocaml
pattern_ has joined #ocaml
docelic has joined #ocaml
skylan has joined #ocaml
liyang has joined #ocaml
wax has joined #ocaml
axolotl has joined #ocaml
wax has quit [Read error: 104 (Connection reset by peer)]
stefp has quit [Read error: 54 (Connection reset by peer)]
axolotl has quit [Read error: 60 (Operation timed out)]
axolotl has joined #ocaml
gt2 has quit ["Client Exiting"]
stefp has joined #ocaml
axolotl has quit [Read error: 104 (Connection reset by peer)]
clam has joined #ocaml
Smerdyakov has joined #ocaml
axolotl has joined #ocaml
async has quit [calvino.freenode.net irc.freenode.net]
pattern_ has quit [calvino.freenode.net irc.freenode.net]
skylan has quit [calvino.freenode.net irc.freenode.net]
karryall has quit [calvino.freenode.net irc.freenode.net]
karryall has joined #ocaml
async has joined #ocaml
pattern_ has joined #ocaml
skylan has joined #ocaml
karryall has quit ["tcho"]
async has quit [calvino.freenode.net irc.freenode.net]
pattern_ has quit [calvino.freenode.net irc.freenode.net]
skylan has quit [calvino.freenode.net irc.freenode.net]
async has joined #ocaml
pattern_ has joined #ocaml
skylan has joined #ocaml
asqui has quit [Excess Flood]
asqui has joined #ocaml
axolotl has quit [Read error: 60 (Operation timed out)]
axolotl has joined #ocaml
d-bug has joined #ocaml
clam has quit [Read error: 110 (Connection timed out)]
jao has joined #ocaml
axolotl has quit [Read error: 104 (Connection reset by peer)]
axolotl has joined #ocaml
`Markus` has quit ["Programming today is a race between software engineers striving to build bigger and better idiot-proof programs, and the Univ]
`Markus` has joined #ocaml
`Markus` is now known as lus|wazze
jdrake`sleep is now known as jdrake
axolotl has quit [Read error: 104 (Connection reset by peer)]
axolotl has joined #ocaml
axolotl has quit [Read error: 60 (Operation timed out)]
axolotl has joined #ocaml
walters has joined #ocaml
axolotl has quit [Read error: 104 (Connection reset by peer)]
axolotl has joined #ocaml
<
Riastradh>
In a .ml file, I have two submodules, Fun and List...in a .mli file, how should I export those modules?
<
lus|wazze>
i am not totally sure about the syntax but i think its module Fun : sig ... end;;
<
Riastradh>
Ah, thanks.
mattam_ has joined #ocaml
reltuk has joined #ocaml
axolotl has quit [Read error: 104 (Connection reset by peer)]
axolotl has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
axolotl has quit [Read error: 54 (Connection reset by peer)]
axolotl has joined #ocaml
Riastradh has quit ["I restart; I shall therefore return shortly."]
Smerdyakov has quit ["brother checks e-mail"]
Riastradh has joined #ocaml
Smerdyakov has joined #ocaml
axolotl has quit [Read error: 104 (Connection reset by peer)]
axolotl has joined #ocaml
skylan has quit ["bbiab"]
rhil has quit [Read error: 60 (Operation timed out)]
walters has quit ["dinner"]
axolotl has quit [Read error: 54 (Connection reset by peer)]
axolotl has joined #ocaml
Kinners has joined #ocaml
Yurik has quit [Read error: 113 (No route to host)]
Yurik has joined #ocaml
Yurik_ has joined #ocaml
Yurik has quit [Read error: 104 (Connection reset by peer)]
axolotl has quit [Read error: 60 (Operation timed out)]
axolotl has joined #ocaml