Improve name resolution in Liquid Haskell

haskell-org / summer-of-haskell

Source code of summer.haskell.org

http://summer.haskell.org/

Other

85 stars 74 forks source link

Improve name resolution in Liquid Haskell #180

Closed facundominguez closed 8 months ago

facundominguez commented 8 months ago

Is there any size limit?

Only the patience of the student :) I'll consider your suggestion.

Also, I wonder why name resolution is currently done two times?

I don't know for sure, but my guess is it is a historical reason. Meaning that different projects modified the code base without consolidated goals.

I don't anticipate technical obstacles that justify the current state of affairs, though I admit perhaps we learn something more about it during the project.

facundominguez commented 8 months ago

@aaronallen8455, I think this is good to merge unless you have suggestions.