deps/v8/test/mjsunit/harmony/module-resolution.js

   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 --harmony-scoping
  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.")