Code

Euclideanring overflow#30

Code

Closed

jacereda wants to merge 3 commits intopurescript-contrib:mainpurescript-contrib/purescript-quickcheck-laws:mainfrom jacereda:euclideanring-overflowjacereda/purescript-quickcheck-laws:euclideanring-overflowCopy head branch name to clipboard

+13-3

Commits

Commits on Sep 3, 2017

• Detect overflow when checking submultiplicative euclidean function

  jacereda

  committed
  ec6b402

• Warnings

  jacereda

  committed
  a80fec4

• Remove where

  jacereda

  committed
  55150b8