2011
61%

Ran 07 Feb 2020 08:51AM UTC

Jobs 2

Files 46

Run time 21s

Badge

Embed ▾

pending completion

Build # 2011

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%)

73287.49 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
2	2011.2 (OCAML_VERSION=4.08.1)	07 Feb 2020 08:52AM UTC	0	75.14	Travis Job 2011.2
3	2011.3 (OCAML_VERSION=4.07.1)	07 Feb 2020 08:51AM UTC	0	75.14	Travis Job 2011.3

Source Files on build 2011

Detailed source file information is not available for this build.

Zilliqa / scilla / 2011
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2011

Zilliqa / scilla / 2011 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2011

Zilliqa / scilla / 2011
61%

README BADGES
x