WindowSystemError

Exception

exception WindowSystemError of string

This exception is used when a C function called from ML fails. It is typically used in functions where the C version of the function returns a boolean value indicating success or failure and the ML implementation of the function returns unit.

---

MLWorks Reference Manual version 2.0 - 29 Jul 1998

Generated with Harlequin WebMaker