Re: Core of a whole package

2016-05-31 Thread Alberto Sadde O.
> 2016-05-31 16:04 GMT-04:00 Alberto Sadde O. : > > I am trying to get the Core of a whole package. > > I have been using the GHC API to get the Core of each file in a package > but > > I have a problems with non-exposed modules of the package. > > Try `cabal install

Re: Core of a whole package

2016-05-31 Thread Ömer Sinan Ağacan
2016-05-31 16:04 GMT-04:00 Alberto Sadde O. : > I am trying to get the Core of a whole package. > I have been using the GHC API to get the Core of each file in a package but > I have a problems with non-exposed modules of the package. Try `cabal install

Core of a whole package

2016-05-31 Thread Alberto Sadde O.
Hi, I am trying to get the Core of a whole package. I have been using the GHC API to get the Core of each file in a package but I have a problems with non-exposed modules of the package. I might not been setting up all the flags correctly but at this point I am completely lost!! I posted a

Re: Template Haskell determinism

2016-05-31 Thread Richard Eisenberg
On May 31, 2016, at 9:54 AM, Bartosz Nitka wrote: > I'd like to get feedback if this is an acceptable solution and if the problem > is worth solving. I don't have an opinion about "worth solving". While I understand your description of the problem and believe you that it

Template Haskell determinism

2016-05-31 Thread Bartosz Nitka
Template Haskell with its ability to do arbitrary IO is non-deterministic by design. You could for example embed the current date in a file. There is however one kind of non-deterministic behavior that you can trigger accidentally. It has to do with how Names are reified. If you take a look at the