1083
61%

Ran 27 Feb 2019 08:35AM UTC

Jobs 1

Files 37

Run time 5s

Badge

Embed ▾

pending completion

Build # 1083

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Fix free type variables extraction function (#471)

This avoids capturing of free type variables for type-level substitution.
Before this commit  type-subst-avoids-capture-1.scilla test would fail with
```
expected: forall 'A. forall 'B. ('B -> 'A) -> 'B -> 'A

but got: forall 'A. forall 'B. (Int32 -> 'A) -> Int32 -> 'A
```

Run Details

3174 of 3956 relevant lines covered (80.23%)

9624.41 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1083.1	27 Feb 2019 08:35AM UTC	0	80.23	Travis Job 1083.1

Source Files on build 1083

Detailed source file information is not available for this build.

Zilliqa / scilla / 1083
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1083

Zilliqa / scilla / 1083 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1083

Zilliqa / scilla / 1083
61%

README BADGES
x