<holo>
nth_char x : This expression has type int -> char,
<holo>
but is used with type char.
<holo>
ha!
<holo>
i found
<holo>
sorry guys
<holo>
string_of_char(nth_char str x): this expression has type string, but is used with type string list
<Smerdyakov>
I will simply remark that you have no bloody idea what you're doing.
<holo>
what's the problem that it is string? the whole expression in both branches are string listes
<Smerdyakov>
Programming-by-guessing is not going to work in ML.
<holo>
Smerdyakov: i'm not guessing
<Smerdyakov>
Don't ask why something is wrong.
<Smerdyakov>
Say why you think it's right, and perhaps someone here can find the flaw in your argument.
<holo>
hmm
<holo>
i said i thought it was ok becouse both branches are string lists, and so it shouldn't be complaining in that substring
<holo>
*subexpression
<Smerdyakov>
That is not a formal explanation, relative to the OCaml typing rules.
<holo>
Smerdyakov: this isn't even ocaml :x look at the quoting of caracters
<Smerdyakov>
Caml Light?
<holo>
yep
<Smerdyakov>
I've never used it, but I assume it's similar enough to OCaml that you can go ahead and give an explanation in terms of Caml Light typing rules.
<holo>
Smerdyakov: sure
<holo>
hmm, maybe it is missing some () brb
jcreigh has joined #ocaml
jcreigh has quit ["Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."]
holo has quit [Read error: 113 (No route to host)]
MassAveAttack has quit [Read error: 110 (Connection timed out)]
shekmalhen has joined #ocaml
tristram has joined #ocaml
Smerdyakov has quit ["Leaving"]
khaladan_ has joined #ocaml
khaladan has quit [Connection timed out]
khaladan_ is now known as khaladan
Demitar has joined #ocaml
dark_light has quit [Read error: 110 (Connection timed out)]
dark_light has joined #ocaml
judge_ has joined #ocaml
shekmalhen has quit ["Bêêêêêêêêh!"]
pango_ has quit ["Client exiting"]
pango has joined #ocaml
Revision17 has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
Itkovian has joined #ocaml
Itkovian has quit []
smimou has joined #ocaml
Itkovian has joined #ocaml
dark_light has quit [Read error: 113 (No route to host)]
Itkovian has quit []
pango has quit [Remote closed the connection]
pango has joined #ocaml
joelr1 has joined #ocaml
joelr1 has left #ocaml []
pnou has joined #ocaml
asbeta has joined #ocaml
Itkovian has joined #ocaml
Itkovian has quit [Read error: 113 (No route to host)]