122
97%

Ran 11 Nov 2018 10:28AM UTC

Jobs 1

Files 12

Run time 1s

Badge

Embed ▾

pending completion

Build # 122

Build Type

push

travis-ci-com

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	122.1	11 Nov 2018 10:28AM UTC	0	93.29	Travis Job 122.1

Source Files on build 122

Detailed source file information is not available for this build.

chanzuckerberg / miniwdl / 122
97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 122

chanzuckerberg / miniwdl / 122 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 122

chanzuckerberg / miniwdl / 122
97%

README BADGES
x