[bitc-dev] Haskell question: exceptions

[Iavor Diatchki]

Hello,
Hmm... I am not sure which rule you are referring to.  Could you post
a link so that I can look at the details?
-Iavor


On 8/11/05, Jonathan S. Shapiro <shap at eros-os.org> wrote:
> Iavor:
> 
> 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?
> 
> shap
> 
> _______________________________________________
> bitc-dev mailing list
> bitc-dev at coyotos.org
> http://www.coyotos.org/mailman/listinfo/bitc-dev
>