Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(128)

Unified Diff: frog/tests/leg/type_checker_test.dart

Issue 10387033: Add VoidElement and VoidType to make sure that there is a canonical void type. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Address review comments. Created 8 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | lib/compiler/implementation/elements/elements.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: frog/tests/leg/type_checker_test.dart
diff --git a/frog/tests/leg/type_checker_test.dart b/frog/tests/leg/type_checker_test.dart
index 5581929946e5d53762ca67ae38ed4ca85217baad..ffb9f01b0192af24918d712472e0992ed070ba87 100644
--- a/frog/tests/leg/type_checker_test.dart
+++ b/frog/tests/leg/type_checker_test.dart
@@ -237,6 +237,8 @@ void testMethodInvocations() {
/** Tests analysis of returns (not required by the specification). */
void testControlFlow() {
+ analyzeTopLevel("void foo() { if (true) { return; } }");
+ analyzeTopLevel("foo() { if (true) { return; } }");
analyzeTopLevel("int foo() { if (true) { return 1; } }",
MessageKind.MAYBE_MISSING_RETURN);
final bar =
« no previous file with comments | « no previous file | lib/compiler/implementation/elements/elements.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698