2
61%
master: 61%

Ran 01 Mar 2020 10:15PM UTC

Files 49

Run time 4s

Badge

Embed ▾

Committed 01 Mar 2020 10:09PM UTC coverage: 75.14% (+0.02%) from 75.117%

Job # OCAML_VERSION=4.08.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Forbid shadowing of type variables (#793)

* This fixes a serious bug in the typechecker

Before fixing this bug it was possible to write a program that loops forever (example not included)
because one could recover unrestricted recursion using self-application a-la Y combinator.

* Adjust the number of open files for promoting test files

We have more tests now and I am experiencing failures with "make gold"

Run Details

5637 of 7502 relevant lines covered (75.14%)

36362.75 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2079.2 (OCAML_VERSION=4.08.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2079.2 (OCAML_VERSION=4.08.1)

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

README BADGES
x