17:59 <seth> when I get a message "This expression has type foo but is here used with type bar" (in a function call), which type is the function parameter type?

18:00 <pattern_> bar

18:00 <pattern_> you're passing a foo to a function expecting bar

18:08 <seth> pattern_: thanks. I'm trying to unravel a type problem.

18:10 <pattern_> i gathered that ;)

18:10 <seth> pattern_: now I fixed it. instead of a type error I get a syntax error. :)

18:11 <pattern_> yay!

18:13 <seth> ok. this is somewhat interesting. I have a "while true do ... done" loop, which is exited when the function called from the body of the while loop raises an exception. This is confusing the compiler about the type of the method (the method that has the while loop). The while loop is the end of the method, except for the with clause to handle the exception.

18:25 <pattern_> sorry, i haven't gotten around to learning ocaml's oo system... maybe someone else here can help

18:31 <seth> pattern_: I found the problem. What I forgot (which my question said nothing about as I wasn't looking in the right place) is that in a series of pattern matches, the first pattern sets the type for all subsequent expressions for the rest of the patterns.

18:32 <seth> that is, if I have match foo with bar -> x | bar2 -> y, the type of y is inferred to be the same as the type of x

18:43 <pattern_> yep

18:44 <pattern_> it can only return one type, so it assumes your match is the type you want to return

18:44 <pattern_> i mean, it assumes your first match is the type you want to return

19:17 <seth> pattern_: right.

19:17 <seth> pattern_: although in this case the pattern is in the _caller_, which makes it a bit more difficult to spot.

19:32 <pattern_> yeah, i've noticed that types can get kind of convoluted in ocaml

23:46 <walters> can anyone else reach caml.inria.fr?

23:47 <seth> hold on, I'll try...

23:48 <seth> no, I can't reach it at the moment either.

23:48 <seth> server must be down.

23:48 <pattern_> i can't reach it

23:50 <pattern_> http://www.traceroute.org/ is a handy site to try to reach websites from

23:50 <pattern_> you can try traceroutes from all over the world

23:50 <walters> ok...i'll just ask here then. anyone know of an SGML parser for OCaml?

23:50 <walters> (not just XML)