1
97%
master: 97%

Ran 11 Nov 2018 10:28AM UTC

Files 12

Run time 0s

Badge

Embed ▾

Committed 11 Nov 2018 10:23AM UTC coverage: 93.287% (-0.03%) from 93.32%

Job # 122.1

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Tighten checking of optional types (#33)

Refine treatment of optional types so that `T?` does not in general satisfy `T` during type-checking.

Test corpi seem to demand a couple of workarounds:
1. A declaration like `T? name = <expr>`satisfies `T` during typechecking since the right-hand side suggests it cannot be null at runtime. In this case `name` is bound to `T` in the type environment, although the declaration type is still considered `T?`.
2. The `size()` standard library function takes `File?` instead of `File` as an argument, to allow a pattern observed a few times in the test corpi to typecheck: `if defined(f) then size(f) else ...`. It does not seem like this should be a special case just for `size()`.

Run Details

1473 of 1579 relevant lines covered (93.29%)

0.93 hits per line

chanzuckerberg / miniwdl / 122 / 1
97%
master: 97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 122.1

chanzuckerberg / miniwdl / 122 / 1 97% master: 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 122.1

chanzuckerberg / miniwdl / 122 / 1
97%
master: 97%

README BADGES
x