chanzuckerberg / miniwdl / 122

Builds Branch Commit Type Ran Committer Via Coverage
122 master 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>`satisfie... push web-flow travis-ci pending completion   set done
121 mlin-tighten-optional-typechecking refinement Pull #33 web-flow travis-ci pending completion   set done
120 mlin-tighten-optional-typechecking refinement push mlin travis-ci-com pending completion   set done
121 mlin-tighten-optional-typechecking refinement Pull #33 web-flow travis-ci-com pending completion   set done
120 mlin-tighten-optional-typechecking refinement push mlin travis-ci pending completion   set done
119 mlin-tighten-optional-typechecking wip Pull #33 web-flow travis-ci-com pending completion   set done
119 mlin-tighten-optional-typechecking wip Pull #33 web-flow travis-ci pending completion   set done
118 mlin-tighten-optional-typechecking wip push mlin travis-ci-com pending completion   set done
118 mlin-tighten-optional-typechecking wip push mlin travis-ci pending completion   set done
117 master tighten up Call typechecking closes #10 push mlin travis-ci pending completion   set done
117 master tighten up Call typechecking closes #10 push mlin travis-ci-com pending completion   set done
116 mlin-lark-v0.6.5 wip push mlin travis-ci pending completion   set done
116 mlin-lark-v0.6.5 wip push mlin travis-ci-com pending completion   set done
115 master add test corpus from dxWDL tests push mlin travis-ci-com pending completion   set done
115 master add test corpus from dxWDL tests push mlin travis-ci pending completion   set done