2
61%
master: 61%

Ran 07 Feb 2020 08:52AM UTC

Files 46

Run time 4s

Badge

Embed ▾

Committed 07 Feb 2020 08:46AM UTC coverage: 75.141% (+0.3%) from 74.855%

Job # OCAML_VERSION=4.08.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Forbid polymorphic compare (#771)

* Forbid polymorphic comparisons (auto)

The command I used:
find ./src ./tests -type f -iname '*.ml' -print0 | xargs -0 gsed  -i '/^open Core_kernel$/a open! Int.Replace_polymorphic_compare'

* Skip polynomials for now

* Use ppx_compare for user types

* dune: remove ppx_ from (library) stanzas

* Refactor AssocDictionary: Core_kernel + equality

* Refactor Integer256: no polymorphic equality

* Reorder imports: open Core_kernel at the top

* open Core_kernel in many modules

* Minor refactoring along the way (not related to equality)

* ~prefix -> ~prfx to avoid name clash with String.prefix

Run Details

5589 of 7438 relevant lines covered (75.14%)

36643.75 hits per line

Zilliqa / scilla / 2011 / 2
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2011.2 (OCAML_VERSION=4.08.1)

Zilliqa / scilla / 2011 / 2 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2011.2 (OCAML_VERSION=4.08.1)

Zilliqa / scilla / 2011 / 2
61%
master: 61%

README BADGES
x