[Haskell-cafe] what is f=f (not) doing ?

[Peter Verswyvelen]

I'm not sure, but since it would require the detection of an evaluation 
that does not terminate,  it comes down to the halting problem, which is 
not generally solvable. Maybe the experts can confirm my intuition?




Andrew Coppin wrote:
> Peter Verswyvelen wrote:
>> http://www.haskell.org/ghc/docs/2.10/users_guide/user_146.html 
>> <http://www.haskell.org/ghc/docs/2.10/users_guide/user_146.html>seems 
>> to confirm that?
>
> Ouch.
>
> Would it be possible to somehow prevent this behavious? (E.g., by 
> somehow annotating each black hole with *which* thread is evaluating 
> it, so that if a thread reaches one of the black holes that it created 
> itself, it can throw an error..?)
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>