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 of

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