checkHandlers

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 26 Oct 2001 08:52:56 -0400 (EDT) 

> Any thoughts?  Suggestions for better names for the handler
> constructors are also appreciated.

This all seems to make sense.  How about:

 	    datatype handler =
               None
             | Caller (* or CallerHandler *)
             | Some of Label.t