search

mikeizbicki / subhask

Type safe interface for working in subcategories of Hask
BSD 3-Clause "New" or "Revised" License
418 stars 43 forks source link

Add a FIXME about the Banach laws. #21

Closed cdepillabout closed 9 years ago

cdepillabout commented 9 years ago

The Banach laws are not being tested because they don't hold for Float and Double types. This commit adds a FIXME note so we don't forget to eventually add support for them.

cdepillabout commented 9 years ago

This is for issue #19.

The laws not being tested and their statuses are below:

law_Banach_distance law_Banach_size → Not being tested because they don't hold for Float and Double.

law_Bregman_nonnegativity law_Bregman_triangle → These are actually commented out in the source code. The entire Bregman class is commented out.

law_Subtype_f1 law_Subtype_f2 → These are pretty generic and hard to generate tests for.

mikeizbicki commented 9 years ago

Good idea!