[bitc-dev] Haskell question: exceptions
iavor.diatchki at gmail.com
Thu Aug 11 19:42:14 EDT 2005
Hmm... I am not sure which rule you are referring to. Could you post
a link so that I can look at the details?
On 8/11/05, Jonathan S. Shapiro <shap at eros-os.org> wrote:
> Are you able to explain why procedures that throw exceptions are subject
> to the value restriction?
> Since the receiving variable at the catch block is "initialize once,
> then read only", we actually don't need to impose any monomorphism
> restriction on that (though this doesn't matter, since we always know
> that it is an instance of type Exception).
> But I'm confused about why *throwing* an exception should incur a
> restriction. It appears to me that there is a simple rewrite into a
> program that returns exceptions as variant return values without
> otherwise altering mutability anywhere.
> What am I missing?
> bitc-dev mailing list
> bitc-dev at coyotos.org
More information about the bitc-dev