carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 22:02:55 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Add initial parsing for 'extern library' (#4173)

Browse Source
This commit is contained in:
Jon Ross-Perkins
2024-07-26 20:47:25 +00:00
committed by GitHub
parent 37a8bfa488
commit ae675e61bd
14 changed files with 268 additions and 59 deletions
Download Patch File Download Diff File Expand all files Collapse all files
toolchain/check/testdata/function/declaration/no_prelude/extern.carbon
Vendored
+20 -4
View File
@@ -44,18 +44,30 @@ fn F();
// --- fail_member_extern.carbon
library "member_extern";
class C {
// CHECK:STDERR: fail_member_extern.carbon:[[@LINE+4]]:3: ERROR: `extern` not allowed on `fn` declaration that is a member.
// CHECK:STDERR: extern fn F();
// CHECK:STDERR: ^~~~~~
// CHECK:STDERR:
extern fn F();
// CHECK:STDERR: fail_member_extern.carbon:[[@LINE+3]]:3: ERROR: `extern` not allowed on `fn` declaration that is a member.
// CHECK:STDERR: fail_member_extern.carbon:[[@LINE+4]]:3: ERROR: `extern` not allowed on `fn` declaration that is a member.
// CHECK:STDERR: extern fn G[self: Self]();
// CHECK:STDERR: ^~~~~~
// CHECK:STDERR:
extern fn G[self: Self]();
}
// --- fail_todo_extern_library.carbon
library "extern_library";
// CHECK:STDERR: fail_todo_extern_library.carbon:[[@LINE+3]]:1: ERROR: Semantics TODO: `extern library syntax`.
// CHECK:STDERR: extern library "foo" fn F();
// CHECK:STDERR: ^~~~~~~~~~~~~~~~~~~~
extern library "foo" fn F();
// CHECK:STDOUT: --- basic.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: constants {
@@ -132,8 +144,8 @@ class C {
// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [template = constants.%F] {}
// CHECK:STDOUT: %G.decl: %G.type = fn_decl @G [template = constants.%G] {
// CHECK:STDOUT: %Self.ref: type = name_ref Self, constants.%C [template = constants.%C]
// CHECK:STDOUT: %self.loc11_15.1: %C = param self
// CHECK:STDOUT: %self.loc11_15.2: %C = bind_name self, %self.loc11_15.1
// CHECK:STDOUT: %self.loc14_15.1: %C = param self
// CHECK:STDOUT: %self.loc14_15.2: %C = bind_name self, %self.loc14_15.1
// CHECK:STDOUT: }
// CHECK:STDOUT:
// CHECK:STDOUT: !members:
@@ -144,5 +156,9 @@ class C {
// CHECK:STDOUT:
// CHECK:STDOUT: fn @F();
// CHECK:STDOUT:
// CHECK:STDOUT: fn @G[@C.%self.loc11_15.2: %C]();
// CHECK:STDOUT: fn @G[@C.%self.loc14_15.2: %C]();
// CHECK:STDOUT:
// CHECK:STDOUT: --- fail_todo_extern_library.carbon
// CHECK:STDOUT:
// CHECK:STDOUT: file {}
// CHECK:STDOUT: