Simon Peyton Jones
Simon Peyton Jones
Maybe this is too hard, but could you distil out a standalone repro case? Or (less good but still OK) supply precise repro instructions for your "reduced example". By precise...
Let's all stay polite here! We are all on the same side. The PVP is not like the US constitution: a fixed document where we seek to divine the intentions...
> To re-iterate: I think this is significant effort What is "this"? My suggestion is as above: add an extra item covering semantics to the PVP. (I'd be happy with...
> Precisely. I'm also not sure the cost/benefit ratio is good enough to maintain the "API definition" part at all, which is why I've previously suggested to remove it completely,...
@bgamari could the proposal be more explicit about 1. What aspects of the existing API of `base` are **changed**? 2. What types and functions are **new**? I think that most...
Please complain! But please do so by saying "Here is a short bit code that compiles much better with GHC 8.10 than with HEAD". Concrete evidence is vastly more motivating,...
Great idea!
> Make it an inferred type variable (forall {l :: Levity} ...), this would be backwards compatible, since the levity can't be specified with a type application. I believe that...
If it's just a question of boilerplate newtype wrappers, I'd be inclined to copy the necessary ones into `hoopl`, rather than take a dependency on another library. `hoopl` probably only...
I don't know what `Checkpoint` is for. But I do remember that we had the idea of "fuel" for Hoopl. The idea was that you could give Hoopl a certain...