ghci debugger: showing function argumetns when stopped at its definition

2009-07-10 Thread Peter Hercek
Hi, It would be cool if ghci debugger could grab not only the free variables in the selected expression but in one case a bit more. The case is when we stop at a function definition the first time (when just entering it). In this case it should provide bindings of the function arguments. Is it

Re: Proposal: Deprecate ExistentialQuantification

2009-07-10 Thread Wolfgang Jeltsch
Am Samstag, 27. Juni 2009 12:44 schrieb Niklas Broberg: > Hi all, > > Following the discussion on the use of 'forall' and extensions that > use it [1], I would hereby like to propose that the > ExistentialQuantification extension is deprecated. > > My rationale is as follows. With the introduction