OLD | NEW |
| (Empty) |
1 // Copyright 2012 the V8 project authors. All rights reserved. | |
2 // Redistribution and use in source and binary forms, with or without | |
3 // modification, are permitted provided that the following conditions are | |
4 // met: | |
5 // | |
6 // * Redistributions of source code must retain the above copyright | |
7 // notice, this list of conditions and the following disclaimer. | |
8 // * Redistributions in binary form must reproduce the above | |
9 // copyright notice, this list of conditions and the following | |
10 // disclaimer in the documentation and/or other materials provided | |
11 // with the distribution. | |
12 // * Neither the name of Google Inc. nor the names of its | |
13 // contributors may be used to endorse or promote products derived | |
14 // from this software without specific prior written permission. | |
15 // | |
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | |
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | |
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | |
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | |
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | |
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | |
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | |
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | |
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
27 | |
28 // Flags: --harmony-modules | |
29 | |
30 // Test basic module interface inference. | |
31 | |
32 "use strict"; | |
33 | |
34 print("begin.") | |
35 | |
36 | |
37 export let x = print("0") | |
38 | |
39 export module B = A.B | |
40 | |
41 export module A { | |
42 export let x = print("1") | |
43 export let f = function() { return B.x } | |
44 export module B { | |
45 module BB = B | |
46 export BB, x | |
47 let x = print("2") | |
48 var y = print("3") | |
49 let Ax = A.x | |
50 try { A.y } catch (e) {} // throws | |
51 let Az = A.z // undefined | |
52 let Az2 = z // undefined | |
53 A.g() // hoisted | |
54 g() // hoisted | |
55 let ABx = A.B.x | |
56 let ABy = A.B.y | |
57 let Bx = B.x | |
58 let By = B.y | |
59 let BBx = BB.x | |
60 let BBy = BB.y | |
61 let Af = A.f | |
62 function f(x,y) { return x } | |
63 } | |
64 export let y = print("4") | |
65 export var z = print("4.1") | |
66 export function g() {} | |
67 let Ax = A.x | |
68 let Bx = B.x | |
69 let ABx = A.B.x | |
70 module C { | |
71 export let z = print("5") | |
72 export module D = B | |
73 // TODO(rossberg): turn these into proper negative test cases once we have | |
74 // suitable error messages. | |
75 // import C.z // multiple declarations | |
76 import x from B | |
77 } | |
78 module D { | |
79 // TODO(rossberg): Handle import *. | |
80 // import A.* // invalid forward import | |
81 } | |
82 module M {} | |
83 // TODO(rossberg): Handle import *. | |
84 // import M.* // invalid forward import | |
85 let Cz = C.z | |
86 let CDx = C.D.x | |
87 } | |
88 | |
89 export module Imports { | |
90 module A1 { | |
91 export module A2 {} | |
92 } | |
93 module B { | |
94 // TODO(rossberg): Handle import *. | |
95 // import A1.* | |
96 // import A2.* // unbound variable A2 | |
97 } | |
98 } | |
99 | |
100 export module E { | |
101 export let xx = x | |
102 export y, B | |
103 let Bx = B.x | |
104 // TODO(rossberg): Handle import *. | |
105 // import A.* | |
106 module B = A.B | |
107 let y = A.y | |
108 } | |
109 | |
110 export module M1 { | |
111 export module A2 = M2 | |
112 } | |
113 export module M2 { | |
114 export module A1 = M1 | |
115 } | |
116 | |
117 // TODO(rossberg): turn these into proper negative test cases once we have | |
118 // suitable error messages. | |
119 // module W1 = W2.W | |
120 // module W2 = { export module W = W3 } | |
121 // module W3 = W1 // cyclic module definition | |
122 | |
123 // module W1 = W2.W3 | |
124 // module W2 = { | |
125 // export module W3 = W4 | |
126 // export module W4 = W1 | |
127 // } // cyclic module definition | |
128 | |
129 // TODO(rossberg): Handle import *. | |
130 //module M3B = M3.B | |
131 //export module M3 { | |
132 // export module B { export let x = "" } | |
133 // module C1 = { import M3.* } | |
134 // module C2 = { import M3.B.* } | |
135 // module C3 = { import M3B.* } | |
136 // module C4 = { export x import B.* } | |
137 //// TODO(rossberg): turn these into proper negative test cases once we have | |
138 //// suitable error messages. | |
139 //// export module C5 = { import C5.* } // invalid forward import | |
140 //// export module C6 = { import M3.C6.* } // invalid forward import | |
141 //} | |
142 | |
143 export module External at "external.js" | |
144 export module External1 = External | |
145 //export module ExternalA = External.A | |
146 export module InnerExternal { | |
147 export module E at "external.js" | |
148 } | |
149 export module External2 = InnerExternal.E | |
150 //export let xxx = InnerExternal.E.A.x | |
151 | |
152 print("end.") | |
OLD | NEW |