liquidhaskell icon indicating copy to clipboard operation
liquidhaskell copied to clipboard

Published 20 hours ago • verified publisher icon ucsd-progsys

Drop only dictionaries of type Eq, Ord, Numerical, and ~

Open yiyunliu opened this issue 5 years ago • 1 comments

Once typeclass support is properly implemented, we should no longer drop dictionaries (term level) and class constraints (type level), with the exception of Eq, Ord, Numerical (Num, Integral, etc.). While tests for class-laws would definitely break, I want use this PR to see if there's anything else that will be broken that I did not expect.

yiyunliu avatar Feb 08 '20 05:02 yiyunliu

@nikivazou do you know what is the status of this PR? Should it be closed?

facundominguez avatar Feb 06 '23 19:02 facundominguez