186
97%

Ran 26 Nov 2018 06:11AM UTC

Jobs 1

Files 12

Run time 7min

Badge

Embed ▾

pending completion

Build # 186

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

special typechecking for if defined(x) ... (#42)

Given an optional value `T? x` and the construct,

```
if defined(x) then EXPR_WITH_x else SOME_DEFAULT
```

we can ignore that `x` is optional when typechecking EXPR_WITH_x, i.e. we put `T x` instead of `T? x` in the type environment for the consequent branch only.

Run Details

1777 of 1890 relevant lines covered (94.02%)

0.94 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	186.1	26 Nov 2018 06:11AM UTC	0	94.02	Travis Job 186.1

Source Files on build 186

Detailed source file information is not available for this build.

chanzuckerberg / miniwdl / 186
97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 186

chanzuckerberg / miniwdl / 186 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 186

chanzuckerberg / miniwdl / 186
97%

README BADGES
x