madlib icon indicating copy to clipboard operation
madlib copied to clipboard

Published 20 hours ago • verified publisher icon madlib-lang

Missing validation for instances

Open aboeglin opened this issue 3 years ago • 2 comments

Compiler missing checks:

  • Instance overlap ( Show (List a) and Show (List Number) for example overlap )
  • Verify completeness of instances ( that all methods are implemented )

aboeglin avatar Apr 03 '21 07:04 aboeglin

Linkage: https://github.com/madlib-lang/madlib/issues/12

brekk avatar Apr 11 '21 07:04 brekk

Also I'd still pin interfaces as being experimental. I think they mainly work ok but we need more experience with them to see how they behave on the mid term. Then we also need to rethink a few bits of it as for now I had to do a few things that seem to derive from the theory, but also that make it behave as it should.

aboeglin avatar Apr 16 '21 20:04 aboeglin