Smerdyakov has quit ["go go gadget Turing machine"]
Sonarman has joined #ocaml
jewel has joined #ocaml
jewel has quit [Read error: 110 (Connection timed out)]
jewel has joined #ocaml
Smerdyakov has joined #ocaml
Smerdyakov has quit [Client Quit]
ulfdoz_ has joined #ocaml
pflanze has quit [Read error: 60 (Operation timed out)]
ulfdoz has quit [Read error: 60 (Operation timed out)]
Herrchen_ has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
batdog is now known as batdog|gone
Smerdyakov has quit []
monochrom has quit ["me!"]
Snark has joined #ocaml
Snark has quit ["Leaving"]
Herrchen_ is now known as Herrchen
vodka-goo has joined #ocaml
Snark has joined #ocaml
<Snark>
re
<Snark>
I have a little class issue
<Snark>
ocaml complains my .ml and .mli don't agree
<Snark>
it gives me both class declarations, then tells me what it doesn't like
<Snark>
the problem is that when I save both declarations it gives me in files, then diff, it shows the only differences are two val and a private method (which don't show in the mli)
<Snark>
and when it tells me what it doesn't like... it is about something that the declarations show as having the same type (say 'a -> unit)
<Snark>
but it tells me it is 'b -> unit instead of 'a -> unit
<mflux_>
have you tried to reproduce the minimal test case for it? (no, I don't have any real suggestions ;))
<Demitar>
Snark, pasting the exact error message has greater chance of giving someone insight into your problem. :)
<haakonn>
is there a way to print values of datatypes the way the ocaml toplevel does, from my own programs?
<ulfdoz_>
re
<Demitar>
Snark, shouldn't that be class ['a] ? rather than object ('a) ? (Even if you do what you wanted you'd probably run into nasty scoping issues.)
<Demitar>
haakonn, search the caml-list archives there has been discussions back and forth. (In short: Yes, but you may need to pull a few tricks.)
<Snark>
Demitar: I don't think so
<haakonn>
ok, thanks
<Snark>
class ['a] is when you want a class to "depend" on another
<Snark>
for example int list or string list
<Snark>
object ('a) is when you want to capture the type of your object
<Snark>
I use the same thing in several places
<Snark>
it breaks only there :-/
<Herrchen>
fill the interface with the missing types? I am not sure if that is allowed, because you don't match a class type to something
<Herrchen>
but I am unsure here, never ever did much with objects and classes
<Snark>
I'm trying to write a simpler showcase
<Demitar>
Snark, I have a gut feeling that what you're doing is similar to the "self type cannot escape class"-error, since you're storing objects of self type internally. (I may be completely wrong though. :) )
<Herrchen>
maybe using a class type will help here though
<Herrchen>
the only problem is that you have to use :> in some places
pango__ has quit ["bbl"]
<Snark>
Demitar: "object ('a)" exists exactly to do that...
<Demitar>
Nasty features... :)
<Snark>
I really don't understand...
<Snark>
it is writing the same thing... but it seems confused by the fact that in one case it used 'a to describe a type, and in the other 'b
* Snark
thinks
<Snark>
ah!
* Snark
shakes his body
<Snark>
I have hidden the exact declaration of fileInput
<Snark>
I only left the declaration of class filestream in the .mli
pango has joined #ocaml
<Snark>
the .ml just implements fileInput, and a create_file_input function, which creates the fileInput instance, then "casts" it to filestream
<Snark>
problem solved
rossberg has quit [Remote closed the connection]
__DL__ has joined #ocaml
__DL__ has quit [Remote closed the connection]
__DL__ has joined #ocaml
_fab has joined #ocaml
pflanze has joined #ocaml
smimou has joined #ocaml
smimou has quit [Read error: 145 (Connection timed out)]
araujo_ has joined #ocaml
araujo_ has quit [Client Quit]
jewel has quit [Read error: 54 (Connection reset by peer)]
mlh_ has joined #ocaml
__DL__ has left #ocaml []
vodka-goo has quit [Read error: 101 (Network is unreachable)]
rossberg has joined #ocaml
mlh_ has quit [Client Quit]
vodka-goo has joined #ocaml
_JusSx_ has joined #ocaml
vodka-goo has quit [Read error: 110 (Connection timed out)]
cognominal has joined #ocaml
cognominal_ has joined #ocaml
Boojum has joined #ocaml
Snark has quit [Read error: 145 (Connection timed out)]
cognominal has quit [Read error: 110 (Connection timed out)]
Boojum is now known as Snark
cognominal_ is now known as cognominal
batdog|gone is now known as batdog
pango has quit [brown.freenode.net irc.freenode.net]
Gueben has joined #ocaml
pango has joined #ocaml
MisterC has joined #ocaml
vodka-goo has joined #ocaml
vodka-goo has quit []
_JusSx_ has quit ["leaving"]
pango has quit ["bbl"]
_fab has quit [Remote closed the connection]
gim has joined #ocaml
Snark has quit ["Leaving"]
pango has joined #ocaml
mrvn_ has joined #ocaml
vezenchio has quit ["Ayn Rand encapsulates the rage that every teenager feels on finding that his first paycheque has had taxes taken out of it"]
mrvn has quit [Read error: 110 (Connection timed out)]
TeXitoi has joined #ocaml
_fab has joined #ocaml
_JusSx_ has joined #ocaml
MisterC has quit ["Client exiting"]
_JusSx_ has quit ["leaving"]
vodka-goo has joined #ocaml
mrpingoo has joined #ocaml
vodka-goo has quit [Read error: 104 (Connection reset by peer)]