This message shows how to map _types_ to integers at compile time --
and then extend this facility to run-time so it can be used with
existentially-quantified types. It is statically guaranteed that
different types receive different integer labels. Unlike TyCons of
Dynamics, our mapping does NOT r
just out of curiosity, which is the proper idiom?
trace a = r <- catch a (\e -> putStr "exceptional\n" >> throw e)
trace a = r <- catch a (\e -> putStr "exceptional\n" >> ioError e)
I am worried that one might subtly change the semantics of an execption
depending on how it was originally thrown
Ben Rudiak-Gould (Sun, Jul 27, 2003 at 09:35:41PM -0700):
> > module System.ProposedNewIOModel (...) where
>
> I assume that all I/O occurs in terms of octets. I think that this
> holds
> true of every platform on which Haskell is implemented or is likely to
> be
> implemented.
>
> > type Octet
