search

mgrabmueller / AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference
BSD 3-Clause "New" or "Revised" License
77 stars 11 forks source link

The `Constraint` methods aren't being used #2

Closed athanclark closed 9 years ago

athanclark commented 9 years ago

Thank you for supplying this package, it's been invaluable for me while developing ltext. However, near the bottom of your document, there's some machinery for constraint building, but not solving. Is there a paper you can direct me toward for solving this list of constraints? I would be very grateful :)

mgrabmueller commented 9 years ago

Thanks for trying out the code, and I'm glad it was useful!

Regarding the constraint code, I had totally forgotten about that, and I don't even remember when I wrote it. I think it was from an attempt to implement the bottom-up type inference from Generalizing Hindley-Milner Type Inference Algorithms by Bastiaan Heeren, Jurriaan Hage and Doaitse Swierstra.

I hope this helps!

athanclark commented 9 years ago

Thank you!!