mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 23:05:21 +00:00
Estimated hours taken: 0.3 Branches: main compiler/notes/type_class_transformation.html: Undo Fergus's recent addition of a request for a pointer to the documentation of the proposed replacement for base_typeclass_infos, since that pointer already exists a few lines above. Document the mechanisms we use or should use for detecting duplicate instance declarations.