Commit 220b5f00 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

final strikes back?

parent e77ee771
......@@ -38,9 +38,11 @@ As a side note: having a system with the $Empty$ type allows us to track express
REMARKS & REVIEWERS' CONCERNS (out of the 500-word limit)
OBSERVATIONS (out of 500 word limit)
**ReviewerC:** _Strenghts_ and _Weaknesses_ in the review are exactly the same: is this wanted or a cut&paste problem?
......@@ -64,6 +66,11 @@ Code 10 in Table 1 demonstrates that our types also detect dead code that passes
[^footnote1] : To fully test this in Flow, one has to exclude also the `undefined` case. Both Flow and TypeScript incorrectly reject the following code
function foo(x : number | string) {
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment