Yes, go for it!
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Richard
| Eisenberg
| Sent: 06 November 2015 15:29
| To: Ömer Sinan Ağacan
| Cc: ghc-devs
| Subject: Re: Printing local Var(Id) types(in Outputable outputs)
|
| Yes -- I've
Yes -- I've wanted this too.
It seems this functionality was once enabled by -dppr-debug, but then it got
removed. See the vestigial flag -dsuppress-var-kinds. I've actually re-enabled
this in my kind=type branch, because I needed it too.
I say: go for it.
Richard
On Nov 5, 2015, at 9:13 PM,
Hi all,
I'm considering getting into the trouble of implementing this: A flag for
printing types of local Ids. To be more specific, I'd like to see types of
local Ids and binders in case expression alternatives etc. I may name it
-dshow-local-id-types or something like that.
An example output