wren romano

I just took a look at the latest version of data-fix (0.3.4), and most of my historical complaints against the library have been resolved, but there are a few infelicities...

I just created a new branch to try switching things over: https://github.com/wrengr/unification-fd/tree/use_datafix So far CI seems to accept it, though I haven't tried testing any programs using the library yet

Ah, sorry I missed your question so long ago. Yes, you can do Hindley–Milner and I can add a worked example a bit later today. (Just have to figure out...

Ah, yes, I had it in the repo already :) [test/experiments/putting/PuttingDM.hs](https://github.com/wrengr/unification-fd/blob/master/test/experiments/putting/PuttingDM.hs). The code there is rather extensive yet undocumented; however, it follows the paper very closely, so it should all...

It doesn't seem so complicated to me? Though if I had to guess, I think you might be referring to the need to handle the `ForAll` constructor. Proper Hindley–Damas–Milner inference...

fixed by 24d4279f85192d218ba81cff4af40172ffb564e1

Sorry for the slow turn around. I'll take a look at the second patch and get back to you soon

I'm not sure I like `freshenAndFree` (the way it's currently phrased), because it seems to rely on breaking the abstraction boundary. That is, unification variables should never "escape"; and writing...

I strenuously agree with @simonmar that making things whitespace dependent is terrible. As far as defining a `(!)` operator goes, I'm far more amenable to having a corner case in...

> I think we should certainly standardize bang patterns on function arguments, with the proviso that they can only be applied to variable patterns, as this is the only situation...