2079
61%

Ran 01 Mar 2020 10:14PM UTC

Jobs 3

Files 49

Run time 49s

Badge

Embed ▾

pending completion

Build # 2079

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

109088.24 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2079.1 (OCAML_VERSION=4.09.0)	01 Mar 2020 10:15PM UTC	75.14	Travis Job 2079.1
2	2079.2 (OCAML_VERSION=4.08.1)	01 Mar 2020 10:15PM UTC	75.14	Travis Job 2079.2
3	2079.3 (OCAML_VERSION=4.07.1)	01 Mar 2020 10:14PM UTC	75.14	Travis Job 2079.3

Source Files on build 2079

Detailed source file information is not available for this build.

Zilliqa / scilla / 2079
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2079

Zilliqa / scilla / 2079 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2079

Zilliqa / scilla / 2079
61%

README BADGES
x