mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
14 lines
841 B
Swift
14 lines
841 B
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-module -o %t %S/../Inputs/empty.swift -module-name new_module
|
|
// RUN: %target-swift-frontend -emit-module -o %t %S/../Inputs/empty.swift -module-name another_new_module
|
|
// RUN: %target-swift-frontend -emit-module -o %t %S/Inputs/depends_on_new_module.swift -I %t
|
|
// RUN: %target-swift-frontend %s -typecheck -I %t
|
|
// RUN: rm %t/new_module.swiftmodule
|
|
// RUN: rm %t/another_new_module.swiftmodule
|
|
// RUN: %target-swift-frontend %s -typecheck -I %t -verify -show-diagnostics-after-fatal
|
|
|
|
// This error should happen after we've deleted the dependency module
|
|
import depends_on_new_module // expected-error{{missing required modules: 'another_new_module', 'new_module'}}
|
|
|
|
depends_on_new_module.foo() // expected-error {{module 'depends_on_new_module' has no member named 'foo'}}
|