Code

Fix the definition of Comparable#1090

Code

Merged

kyouko-taiga merged 6 commits intomainhylo-lang/hylo:mainfrom fix-comparablehylo-lang/hylo:fix-comparableCopy head branch name to clipboardOct 16, 2023

+96-39

Commits

Commits on Oct 15, 2023

• Define additional comparison operators as requirements

  Show description for 274ed48
  kyouko-taiga

  committed
  274ed48

Commits on Oct 16, 2023

• Add documentation to 'Comparable'

  kyouko-taiga

  committed
  e4aeba6

• Remove code duplication

  kyouko-taiga

  committed
  1fa8ad0

• Fix monomorphization of trait members

  kyouko-taiga

  committed
  6ac13e0

• Rename 'traitDefining' for consistency with 'requirementDeclaring'

  kyouko-taiga

  committed
  81361f5

• Test trait member dispatch

  kyouko-taiga

  committed
  b41e00f