types returned from exceptions

From: Julian Assange (proff@iq.org)
Date: Tue Mar 07 2000 - 13:27:55 MET

  • Next message: David Chemouil: "typing of a class"

    I am trying to do the following:

    let f x =
      let foo =
        try
          f2 x
        with
          err -> exit 1
      in
        ..

    However, there is a type conflict between (f2 x) and (exit 1). exit is defined as

            int -> 'a

    and seems intended to be used polymorphically for situations like this. Is there
    a way of forcing the return type of exit to match that of (f2 x)? Is there a better
    way of coding this type of construct?

    Cheers,
    Julian.

    This archive was generated by hypermail 2b29 : Wed Mar 08 2000 - 19:27:44 MET