Report _both_ context _and_ info

[edsko]

#47 changed the ThunkInfo type to

newtype ThunkInfo = ThunkInfo { thunkInfo  :: Either Context Info }

While having support for Info is fantastic and a great addition, in some cases having both pieces of information makes debugging a bit easier. I am not entirely sure why Either was chosen here instead of a tuple, perhaps there was a good reason; if so, feel free to disregard this PR. However, in this PR we change this to

newtype ThunkInfo = ThunkInfo { thunkInfo  :: (Context, Maybe Info) }

[edsko]

@coot I am preparing an Unfolder episode on nothunks, I will make sure to acknowledge your work on adding this provenance data, it's a really nice addition!

[erikd]

Why wrap a tuple in a newtype? Why not make ThunkInfo a struct, like this:

data ThunkInfo = ThunkInfo
    { thunkInfo  :: Maybe Info
    , thunkContext :: Context
    }

[edsko]

Why wrap a tuple in a newtype? Why not make ThunkInfo a struct, like this:

data ThunkInfo = ThunkInfo
    { thunkInfo  :: Maybe Info
    , thunkContext :: Context
    }

Yup, I'd be happy with that also, just kept the changes to a minimum. Will change that, and fix the failure on 8.10.

[edsko]

Done! :)

[coot]

LGTM

[coot]

@edsko nothunks-0.3 is on hackage. Thanks for the PR.

[edsko]

Perfect, thanks so much! I shall be talking about it this Wednesday :) (https://www.youtube.com/watch?v=NTW62s3mrXQ&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7)