| 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 |