Skip to content

Commit 6fa68da

Browse files
authored
Remove out of date comment
The `Field Unit` instance was removed with 4eb5a27#diff-0daf98ff48cd03daf3f176366e341d09L28.
1 parent ae47617 commit 6fa68da

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

src/Data/Field.purs

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,6 @@ import Data.Semiring (class Semiring, add, mul, one, zero, (*), (+))
1717
-- | `EuclideanRing` laws:
1818
-- |
1919
-- | - Non-zero multiplicative inverse: ``a `mod` b = zero`` for all `a` and `b`
20-
-- |
21-
-- | The `Unit` instance is provided for backwards compatibility, but it is
22-
-- | not law-abiding, because `Unit` does not obey the `EuclideanRing` laws.
23-
-- | This instance will be removed in a future release.
2420
class EuclideanRing a <= Field a
2521

2622
instance fieldNumber :: Field Number

0 commit comments

Comments
 (0)