Saif Ali Khan comments

Repositories
Issues
Comments

Results 2 comments of


                                            Saif Ali Khan

Allow to import type and predicate aliases qualified

Hi @facundominguez, I came across this issue while exploring Qualified Aliases in Liquid Haskell for GSoC 2025. I noticed that it has been open since February 4, 2025. Is there...

Allow to import type and predicate aliases qualified

Thank you sir, this is a very solid approach, I’ll go through the compiler plugin documentation and the name resolution code as well. I’ll also check out the blog post...