Re: ghci and unfoldings?

2016-01-20 Thread Conal Elliott
t. I can give guidance about the places. > > > > Simon > > > > > > *From:* conal.elli...@gmail.com [mailto:conal.elli...@gmail.com] *On > Behalf Of *Conal Elliott > *Sent:* 18 January 2016 17:47 > *To:* Simon Peyton Jones > *Cc:* Edward Z. Yang ; Andrew Farmer ; >

RE: ghci and unfoldings?

2016-01-20 Thread Simon Peyton Jones
Behalf Of Conal Elliott Sent: 18 January 2016 17:47 To: Simon Peyton Jones Cc: Edward Z. Yang ; Andrew Farmer ; ghc-devs@haskell.org Subject: Re: ghci and unfoldings? That's the flag I would expect. It doesn't seem to help or hinder availability of unfoldings in GHCi. Do you think it s

Re: ghci and unfoldings?

2016-01-19 Thread Simon Marlow
t; On Monday, January 18, 2016, Simon Peyton Jones >> wrote: >> >>> Or -fexpose-all-unfoldings? >>> >>> Simon >>> >>> | -Original Message- >>> | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of >>>

Re: ghci and unfoldings?

2016-01-18 Thread Conal Elliott
rote: > >> Or -fexpose-all-unfoldings? >> >> Simon >> >> | -Original Message- >> | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of >> | Edward Z. Yang >> | Sent: 18 January 2016 06:37 >> | To: Conal Elliott >> | Cc: Andrew

Re: ghci and unfoldings?

2016-01-18 Thread Conal Elliott
| -Original Message- > | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of > | Edward Z. Yang > | Sent: 18 January 2016 06:37 > | To: Conal Elliott > | Cc: Andrew Farmer ; ghc-devs@haskell.org > | Subject: Re: ghci and unfoldings? > | >

RE: ghci and unfoldings?

2016-01-18 Thread Simon Peyton Jones
Or -fexpose-all-unfoldings? Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of | Edward Z. Yang | Sent: 18 January 2016 06:37 | To: Conal Elliott | Cc: Andrew Farmer ; ghc-devs@haskell.org | Subject: Re: ghci and unfoldings? | | Does

Re: ghci and unfoldings?

2016-01-17 Thread Conal Elliott
Oh! I spoke too soon. Yes, that flag does seem to make unfoldings available. Thanks! Now more experimentation. Thanks again! -- Conal On Sun, Jan 17, 2016 at 10:45 PM, Conal Elliott wrote: > Thanks for the suggestion. That flag doesn't appear to help. Still no > unfolding info. > > On Sun, Jan

Re: ghci and unfoldings?

2016-01-17 Thread Conal Elliott
Thanks for the suggestion. That flag doesn't appear to help. Still no unfolding info. On Sun, Jan 17, 2016 at 10:37 PM, Edward Z. Yang wrote: > Does passing -fobject-code solve your problem? > > Edward > > Excerpts from Conal Elliott's message of 2016-01-17 22:18:49 -0800: > > Hi Brandon. Thanks

Re: ghci and unfoldings?

2016-01-17 Thread Edward Z. Yang
Does passing -fobject-code solve your problem? Edward Excerpts from Conal Elliott's message of 2016-01-17 22:18:49 -0800: > Hi Brandon. Thanks for the reply. I’m not sure that it addresses what I was > trying to ask. GHCi *does* invoke plugins and even reloads those plugins > dynamically when the

Re: ghci and unfoldings?

2016-01-17 Thread Conal Elliott
Hi Brandon. Thanks for the reply. I’m not sure that it addresses what I was trying to ask. GHCi *does* invoke plugins and even reloads those plugins dynamically when their source code changes. So in this sense ghci does enable optimization, even if it doesn’t perform much optimization on its own. A

Re: ghci and unfoldings?

2016-01-17 Thread Brandon Allbery
On Sun, Jan 17, 2016 at 9:40 PM, Conal Elliott wrote: > I'm developing a GHC plugin (using HERMIT), and I'd like to use ghci to > speed up development. I'm able to do so, except that my plugin critically > needs access to unfoldings, which appear to be unavailable in ghci. A > little experimentin

ghci and unfoldings?

2016-01-17 Thread Conal Elliott
I'm developing a GHC plugin (using HERMIT), and I'd like to use ghci to speed up development. I'm able to do so, except that my plugin critically needs access to unfoldings, which appear to be unavailable in ghci. A little experimenting with ghc shows me that "-O" is the key, but "-O" is incompatib