mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-05 22:02:55 +01:00
Richard Smith
9feff92f22
Change explorer's handling of witnesses to track them wherever possible. Associated constant support needs witnesses to be available much more pervasively. The main changes here are: - `Substitute` now takes a set of bindings covering both `Value`s for `GenericBinding`s and `Witness`es for `ImplBinding`s, and substitutes both. - Witnesses are now tracked within `ConstraintType`s. The `.Self` type has an `ImplBinding` that self-references from parts of the constraint to other parts of the constraint can use to access the witness for the constraint. - The constraint type for an `impl` and for a `GenericBinding` are now stored in pre-substituted form, with references to the actual constrained type rather than symbolic references to `.Self`. This results in minor changes in diagnostic text. Argument deduction still performs substitutions without remapping witnesses.
164 lines
3.6 KiB
Python
164 lines
3.6 KiB
Python
# Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
# Exceptions. See /LICENSE for license information.
|
|
# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
package(default_visibility = ["//explorer:__subpackages__"])
|
|
|
|
genrule(
|
|
name = "ast_rtti",
|
|
srcs = ["ast_rtti.txt"],
|
|
outs = [
|
|
"ast_rtti.h",
|
|
"ast_rtti.cpp",
|
|
],
|
|
cmd = "./$(location //explorer:gen_rtti)" +
|
|
" $(location ast_rtti.txt)" +
|
|
" $(location ast_rtti.h) $(location ast_rtti.cpp)" +
|
|
" $(rootpath ast_rtti.h)",
|
|
tools = ["//explorer:gen_rtti"],
|
|
)
|
|
|
|
cc_library(
|
|
name = "ast_node",
|
|
srcs = [
|
|
"ast_node.cpp",
|
|
"ast_rtti.cpp",
|
|
],
|
|
hdrs = [
|
|
"ast_node.h",
|
|
"ast_rtti.h",
|
|
],
|
|
deps = [
|
|
"//explorer/common:source_location",
|
|
"@llvm-project//llvm:Support",
|
|
],
|
|
)
|
|
|
|
cc_library(
|
|
name = "ast",
|
|
srcs = [
|
|
"bindings.cpp",
|
|
"declaration.cpp",
|
|
"expression.cpp",
|
|
"member.cpp",
|
|
"pattern.cpp",
|
|
"statement.cpp",
|
|
],
|
|
hdrs = [
|
|
"ast.h",
|
|
"bindings.h",
|
|
"declaration.h",
|
|
"expression.h",
|
|
"impl_binding.h",
|
|
"member.h",
|
|
"pattern.h",
|
|
"return_term.h",
|
|
"statement.h",
|
|
],
|
|
deps = [
|
|
":ast_node",
|
|
":library_name",
|
|
":paren_contents",
|
|
":static_scope",
|
|
":value_category",
|
|
"//common:check",
|
|
"//common:error",
|
|
"//common:indirect_value",
|
|
"//common:ostream",
|
|
"//explorer/common:arena",
|
|
"//explorer/common:error_builders",
|
|
"//explorer/common:nonnull",
|
|
"//explorer/common:source_location",
|
|
"@llvm-project//llvm:Support",
|
|
],
|
|
)
|
|
|
|
cc_library(
|
|
name = "ast_test_matchers",
|
|
testonly = 1,
|
|
srcs = [
|
|
"ast_test_matchers_internal.cpp",
|
|
"ast_test_matchers_internal.h",
|
|
],
|
|
hdrs = ["ast_test_matchers.h"],
|
|
deps = [
|
|
":ast",
|
|
":ast_node",
|
|
"@com_google_googletest//:gtest",
|
|
"@llvm-project//llvm:Support",
|
|
],
|
|
)
|
|
|
|
cc_test(
|
|
name = "ast_test_matchers_test",
|
|
srcs = ["ast_test_matchers_test.cpp"],
|
|
deps = [
|
|
":ast",
|
|
":ast_test_matchers",
|
|
"//common:gtest_main",
|
|
"//explorer/common:arena",
|
|
"@com_google_googletest//:gtest",
|
|
],
|
|
)
|
|
|
|
cc_test(
|
|
name = "expression_test",
|
|
srcs = ["expression_test.cpp"],
|
|
deps = [
|
|
":ast",
|
|
":paren_contents",
|
|
"//common:gtest_main",
|
|
"//explorer/common:arena",
|
|
"@com_google_googletest//:gtest",
|
|
"@llvm-project//llvm:Support",
|
|
],
|
|
)
|
|
|
|
cc_library(
|
|
name = "library_name",
|
|
hdrs = ["library_name.h"],
|
|
)
|
|
|
|
cc_library(
|
|
name = "paren_contents",
|
|
hdrs = ["paren_contents.h"],
|
|
deps = [
|
|
"//explorer/common:error_builders",
|
|
"//explorer/common:source_location",
|
|
],
|
|
)
|
|
|
|
cc_test(
|
|
name = "pattern_test",
|
|
srcs = ["pattern_test.cpp"],
|
|
deps = [
|
|
":ast",
|
|
":paren_contents",
|
|
"//common:gtest_main",
|
|
"//explorer/common:arena",
|
|
"@com_google_googletest//:gtest",
|
|
"@llvm-project//llvm:Support",
|
|
],
|
|
)
|
|
|
|
cc_library(
|
|
name = "static_scope",
|
|
srcs = ["static_scope.cpp"],
|
|
hdrs = ["static_scope.h"],
|
|
deps = [
|
|
":ast_node",
|
|
":value_category",
|
|
"//common:check",
|
|
"//common:error",
|
|
"//explorer/common:error_builders",
|
|
"//explorer/common:nonnull",
|
|
"//explorer/common:source_location",
|
|
"@llvm-project//llvm:Support",
|
|
],
|
|
)
|
|
|
|
cc_library(
|
|
name = "value_category",
|
|
hdrs = ["value_category.h"],
|
|
)
|