fail_duplicate_api.carbon 8.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // AUTOUPDATE
  6. // TIP: To test this file alone, run:
  7. // TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/packages/fail_duplicate_api.carbon
  8. // TIP: To dump output, run:
  9. // TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/packages/fail_duplicate_api.carbon
  10. // CHECK:STDERR: fail_main2.carbon: error: `Main//default` previously provided by `main1.carbon`
  11. // CHECK:STDERR:
  12. // --- main1.carbon
  13. // --- fail_main2.carbon
  14. // --- main_lib1.carbon
  15. library "lib";
  16. // --- fail_main_lib2.carbon
  17. // CHECK:STDERR: fail_main_lib2.carbon:[[@LINE+4]]:1: error: library's API previously provided by `main_lib1.carbon`
  18. // CHECK:STDERR: library "lib";
  19. // CHECK:STDERR: ^~~~~~~
  20. // CHECK:STDERR:
  21. library "lib";
  22. // --- package1.carbon
  23. package Package;
  24. // --- fail_package2.carbon
  25. // CHECK:STDERR: fail_package2.carbon:[[@LINE+4]]:1: error: library's API previously provided by `package1.carbon`
  26. // CHECK:STDERR: package Package;
  27. // CHECK:STDERR: ^~~~~~~
  28. // CHECK:STDERR:
  29. package Package;
  30. // --- package_lib1.carbon
  31. package Package library "lib";
  32. // --- fail_package_lib2.carbon
  33. // CHECK:STDERR: fail_package_lib2.carbon:[[@LINE+3]]:1: error: library's API previously provided by `package_lib1.carbon`
  34. // CHECK:STDERR: package Package library "lib";
  35. // CHECK:STDERR: ^~~~~~~
  36. package Package library "lib";
  37. // CHECK:STDOUT: --- main1.carbon
  38. // CHECK:STDOUT:
  39. // CHECK:STDOUT: imports {
  40. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  41. // CHECK:STDOUT: import Core//prelude
  42. // CHECK:STDOUT: import Core//prelude/operators
  43. // CHECK:STDOUT: import Core//prelude/types
  44. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  45. // CHECK:STDOUT: import Core//prelude/operators/as
  46. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  47. // CHECK:STDOUT: import Core//prelude/operators/comparison
  48. // CHECK:STDOUT: import Core//prelude/types/bool
  49. // CHECK:STDOUT: }
  50. // CHECK:STDOUT: }
  51. // CHECK:STDOUT:
  52. // CHECK:STDOUT: file {
  53. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  54. // CHECK:STDOUT: .Core = imports.%Core
  55. // CHECK:STDOUT: }
  56. // CHECK:STDOUT: %Core.import = import Core
  57. // CHECK:STDOUT: }
  58. // CHECK:STDOUT:
  59. // CHECK:STDOUT: --- fail_main2.carbon
  60. // CHECK:STDOUT:
  61. // CHECK:STDOUT: imports {
  62. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  63. // CHECK:STDOUT: import Core//prelude
  64. // CHECK:STDOUT: import Core//prelude/operators
  65. // CHECK:STDOUT: import Core//prelude/types
  66. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  67. // CHECK:STDOUT: import Core//prelude/operators/as
  68. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  69. // CHECK:STDOUT: import Core//prelude/operators/comparison
  70. // CHECK:STDOUT: import Core//prelude/types/bool
  71. // CHECK:STDOUT: }
  72. // CHECK:STDOUT: }
  73. // CHECK:STDOUT:
  74. // CHECK:STDOUT: file {
  75. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  76. // CHECK:STDOUT: .Core = imports.%Core
  77. // CHECK:STDOUT: }
  78. // CHECK:STDOUT: %Core.import = import Core
  79. // CHECK:STDOUT: }
  80. // CHECK:STDOUT:
  81. // CHECK:STDOUT: --- main_lib1.carbon
  82. // CHECK:STDOUT:
  83. // CHECK:STDOUT: imports {
  84. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  85. // CHECK:STDOUT: import Core//prelude
  86. // CHECK:STDOUT: import Core//prelude/operators
  87. // CHECK:STDOUT: import Core//prelude/types
  88. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  89. // CHECK:STDOUT: import Core//prelude/operators/as
  90. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  91. // CHECK:STDOUT: import Core//prelude/operators/comparison
  92. // CHECK:STDOUT: import Core//prelude/types/bool
  93. // CHECK:STDOUT: }
  94. // CHECK:STDOUT: }
  95. // CHECK:STDOUT:
  96. // CHECK:STDOUT: file {
  97. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  98. // CHECK:STDOUT: .Core = imports.%Core
  99. // CHECK:STDOUT: }
  100. // CHECK:STDOUT: %Core.import = import Core
  101. // CHECK:STDOUT: }
  102. // CHECK:STDOUT:
  103. // CHECK:STDOUT: --- fail_main_lib2.carbon
  104. // CHECK:STDOUT:
  105. // CHECK:STDOUT: imports {
  106. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  107. // CHECK:STDOUT: import Core//prelude
  108. // CHECK:STDOUT: import Core//prelude/operators
  109. // CHECK:STDOUT: import Core//prelude/types
  110. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  111. // CHECK:STDOUT: import Core//prelude/operators/as
  112. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  113. // CHECK:STDOUT: import Core//prelude/operators/comparison
  114. // CHECK:STDOUT: import Core//prelude/types/bool
  115. // CHECK:STDOUT: }
  116. // CHECK:STDOUT: }
  117. // CHECK:STDOUT:
  118. // CHECK:STDOUT: file {
  119. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  120. // CHECK:STDOUT: .Core = imports.%Core
  121. // CHECK:STDOUT: }
  122. // CHECK:STDOUT: %Core.import = import Core
  123. // CHECK:STDOUT: }
  124. // CHECK:STDOUT:
  125. // CHECK:STDOUT: --- package1.carbon
  126. // CHECK:STDOUT:
  127. // CHECK:STDOUT: imports {
  128. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  129. // CHECK:STDOUT: import Core//prelude
  130. // CHECK:STDOUT: import Core//prelude/operators
  131. // CHECK:STDOUT: import Core//prelude/types
  132. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  133. // CHECK:STDOUT: import Core//prelude/operators/as
  134. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  135. // CHECK:STDOUT: import Core//prelude/operators/comparison
  136. // CHECK:STDOUT: import Core//prelude/types/bool
  137. // CHECK:STDOUT: }
  138. // CHECK:STDOUT: }
  139. // CHECK:STDOUT:
  140. // CHECK:STDOUT: file {
  141. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  142. // CHECK:STDOUT: .Core = imports.%Core
  143. // CHECK:STDOUT: }
  144. // CHECK:STDOUT: %Core.import = import Core
  145. // CHECK:STDOUT: }
  146. // CHECK:STDOUT:
  147. // CHECK:STDOUT: --- fail_package2.carbon
  148. // CHECK:STDOUT:
  149. // CHECK:STDOUT: imports {
  150. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  151. // CHECK:STDOUT: import Core//prelude
  152. // CHECK:STDOUT: import Core//prelude/operators
  153. // CHECK:STDOUT: import Core//prelude/types
  154. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  155. // CHECK:STDOUT: import Core//prelude/operators/as
  156. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  157. // CHECK:STDOUT: import Core//prelude/operators/comparison
  158. // CHECK:STDOUT: import Core//prelude/types/bool
  159. // CHECK:STDOUT: }
  160. // CHECK:STDOUT: }
  161. // CHECK:STDOUT:
  162. // CHECK:STDOUT: file {
  163. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  164. // CHECK:STDOUT: .Core = imports.%Core
  165. // CHECK:STDOUT: }
  166. // CHECK:STDOUT: %Core.import = import Core
  167. // CHECK:STDOUT: }
  168. // CHECK:STDOUT:
  169. // CHECK:STDOUT: --- package_lib1.carbon
  170. // CHECK:STDOUT:
  171. // CHECK:STDOUT: imports {
  172. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  173. // CHECK:STDOUT: import Core//prelude
  174. // CHECK:STDOUT: import Core//prelude/operators
  175. // CHECK:STDOUT: import Core//prelude/types
  176. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  177. // CHECK:STDOUT: import Core//prelude/operators/as
  178. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  179. // CHECK:STDOUT: import Core//prelude/operators/comparison
  180. // CHECK:STDOUT: import Core//prelude/types/bool
  181. // CHECK:STDOUT: }
  182. // CHECK:STDOUT: }
  183. // CHECK:STDOUT:
  184. // CHECK:STDOUT: file {
  185. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  186. // CHECK:STDOUT: .Core = imports.%Core
  187. // CHECK:STDOUT: }
  188. // CHECK:STDOUT: %Core.import = import Core
  189. // CHECK:STDOUT: }
  190. // CHECK:STDOUT:
  191. // CHECK:STDOUT: --- fail_package_lib2.carbon
  192. // CHECK:STDOUT:
  193. // CHECK:STDOUT: imports {
  194. // CHECK:STDOUT: %Core: <namespace> = namespace file.%Core.import, [template] {
  195. // CHECK:STDOUT: import Core//prelude
  196. // CHECK:STDOUT: import Core//prelude/operators
  197. // CHECK:STDOUT: import Core//prelude/types
  198. // CHECK:STDOUT: import Core//prelude/operators/arithmetic
  199. // CHECK:STDOUT: import Core//prelude/operators/as
  200. // CHECK:STDOUT: import Core//prelude/operators/bitwise
  201. // CHECK:STDOUT: import Core//prelude/operators/comparison
  202. // CHECK:STDOUT: import Core//prelude/types/bool
  203. // CHECK:STDOUT: }
  204. // CHECK:STDOUT: }
  205. // CHECK:STDOUT:
  206. // CHECK:STDOUT: file {
  207. // CHECK:STDOUT: package: <namespace> = namespace [template] {
  208. // CHECK:STDOUT: .Core = imports.%Core
  209. // CHECK:STDOUT: }
  210. // CHECK:STDOUT: %Core.import = import Core
  211. // CHECK:STDOUT: }
  212. // CHECK:STDOUT: