flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
<landonf> And just as I mentioned it, got it working. heh.
tar_ has joined #ocaml
Axioplase is now known as Axioplase_
<tar_> How can I fix this type? type funk = A of unit -> funk | B of unit (a function taking () and producing the type, or just ())
<vixey> what
<Smerdyakov> tar_, what do you mean "fix"?
<tar_> That doesn't compile because I'm not sure of the syntax and haven't found an example of something similar.
<tar_> But I have to go
<Smerdyakov> Put parentheses around the function type.
<vixey> um..
<vixey> type funk = A of (unit -> funk) | B of unit
<Smerdyakov> And it's odd that you have a constructor with an argument of type [unit], rather than just leaving out the argument.
<Smerdyakov> vixey, why would you write "um"?
<vixey> Smerdyakov: I thought they might leave immediately if I didn't say something
Morphous has joined #ocaml
redocdam has quit []
EmanuelC has quit []
Amorphous has quit [Read error: 110 (Connection timed out)]
Associat0r has quit []
Associat0r has joined #ocaml
Associat0r has quit []
mikezackles has left #ocaml []
Philonous1 has joined #ocaml
Philonous has quit [Read error: 113 (No route to host)]
<tar_> Smerdyakov: It's significant that the functions are defined to accept unit for this application
<tar_> vixey: Thanks, even though I left before you finished :)
Axioplase has joined #ocaml
vixey is now known as vixey|away
|jeremiah has quit []
Proteus has quit [Read error: 60 (Operation timed out)]
vixey|away is now known as vixey
travisbemann has joined #ocaml
Kopophex has quit [Read error: 110 (Connection timed out)]
Kopophex has joined #ocaml
pec1 has quit [Read error: 110 (Connection timed out)]
pec1 has joined #ocaml
ygrek has joined #ocaml
GustNG has joined #ocaml
Snark has joined #ocaml
Kopophex has quit ["Leaving"]
Axioplase has quit ["tired. bed."]
Jedai has quit ["KVIrc 3.4.0 Virgo http://www.kvirc.net/"]
asmanur has joined #ocaml
Linktim has joined #ocaml
pec1 has quit ["Leaving."]
GustNG1 has joined #ocaml
jamii has quit [Read error: 104 (Connection reset by peer)]
GustNG has quit [Read error: 110 (Connection timed out)]
onigiri_ has joined #ocaml
onigiri_ is now known as EmanuelC
EmanuelC has quit []
mattam has joined #ocaml
Proteus has joined #ocaml
onigiri_ has joined #ocaml
Morphous is now known as Amorphous
Associat0r has joined #ocaml
Yoric[DT] has joined #ocaml
tomh has joined #ocaml
ofaurax has joined #ocaml
onigiri_ is now known as EmanuelC
EmanuelC has quit []
guillem has joined #ocaml
seafood has joined #ocaml
seafood has quit []
travisbemann has quit ["leaving"]
seafood has joined #ocaml
jlouis_ has quit ["Leaving"]
jlouis has joined #ocaml
seafood has quit []
Linktim_ has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Philonous1 is now known as Philonous
tomh- has joined #ocaml
tomh- has quit [Client Quit]
Linktim_ has quit [Read error: 110 (Connection timed out)]
pango_ has quit [Remote closed the connection]
|jeremiah has joined #ocaml
|jeremiah has quit []
pango_ has joined #ocaml
tar_ has quit []
Linktim has joined #ocaml
GustNG has joined #ocaml
GustNG1 has quit [Read error: 110 (Connection timed out)]
<flux> was there some decent curses/slang-based ui-library around?
<flux> tmk apparently isn't in godi
<flux> and apparently isn't not developed anymore
thelema has joined #ocaml
ofaurax has quit ["Leaving"]
Snark has quit ["Ex-Chat"]
hehe has joined #ocaml
hehe has left #ocaml []
Linktim_ has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
Linktim has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
nuncanada has joined #ocaml
redocdam has joined #ocaml
ygrek has quit [Remote closed the connection]
dafra has joined #ocaml
vixey has quit [Read error: 113 (No route to host)]
vixey has joined #ocaml
Kopophex has joined #ocaml
Linktim has quit [Read error: 110 (Connection timed out)]
<gildor> small fork from R.W.M Jones
<gildor> -> he just strip what works in tmk
<gildor> just -> "just" (no offense means)
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
tomh has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
mtrimpe has joined #ocaml
Jeff_124 has quit [Read error: 104 (Connection reset by peer)]
asmanur has quit [Remote closed the connection]
GustNG has quit [Read error: 110 (Connection timed out)]
Philonous has left #ocaml []
jlouis has quit ["Leaving"]
jlouis has joined #ocaml
Philonous has joined #ocaml
guillem has quit [Remote closed the connection]
Kopophex has quit [Read error: 110 (Connection timed out)]
<landonf> If I have a parametric virtual class, and I want to build a list composed of arbitrary subclasses, is there any way to do so?
Axioplase has joined #ocaml
<mfp> landonf: there's no implicit subsumption, but you can coerce, e.g. [(x :> 'a foo); y]
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
Axioplase has quit ["leaving"]
Philonous has quit ["Leaving."]
<mfp> landonf: usually, you use an aux function like let foo x = (x :> 'a foo) ... [foo x; foo x']
<landonf> *nod* thanks, I'll try that out.