OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // VMOptions=--enable_type_checks | 4 // VMOptions=--enable_type_checks |
5 // An interface with a constructor declared must have a default clause | 5 // An interface with a constructor declared must have a default clause |
6 | 6 |
7 interface IA { | 7 interface IA { |
8 IA(); // Compile time error here | 8 IA(); // Compile time error here |
9 } | 9 } |
10 | 10 |
11 main() { | 11 main() { |
12 try { | 12 try { |
13 IA value = new IA(); | 13 IA value = new IA(); |
14 } catch(Exception e) { | 14 } catch(Exception e) { |
15 print ("Got exception" + e); | 15 print ("Got exception" + e); |
16 // compile-time error should not be catchable | 16 // compile-time error should not be catchable |
17 } | 17 } |
18 } | 18 } |
OLD | NEW |