| .. |
|
cpp
|
2a059366a7
Require imported C++ types to be complete before creating a Core.Copy witness (#7112)
|
il y a 1 semaine |
|
fuzzer_corpus
|
24bde46181
Change array syntax from [T; N] to array(T, N) (#4981)
|
il y a 1 an |
|
testdata
|
235267680b
Subst `.Self` in `impl as` rewrites (#7105)
|
il y a 1 semaine |
|
BUILD
|
709776ad1c
Support for locations in transitively imported C++ code (#7093)
|
il y a 1 semaine |
|
action.cpp
|
ad0a4ea8a4
Restructure action-dependence APIs (#7074)
|
il y a 2 semaines |
|
action.h
|
ad0a4ea8a4
Restructure action-dependence APIs (#7074)
|
il y a 2 semaines |
|
call.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
call.h
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
il y a 3 mois |
|
check.cpp
|
45ca3d28f5
Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686)
|
il y a 2 mois |
|
check.h
|
45ca3d28f5
Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686)
|
il y a 2 mois |
|
check_fuzzer.cpp
|
0d0e202ce8
Switch Driver back to parameters for construction (#4849)
|
il y a 1 an |
|
check_unit.cpp
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
il y a 1 mois |
|
check_unit.h
|
9106f9533c
Use lines instead of statements for readability-function-size clang-tidy (#6594)
|
il y a 3 mois |
|
class.cpp
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
il y a 2 mois |
|
class.h
|
27be0973e7
Vtable support for generics (#5793)
|
il y a 9 mois |
|
context.cpp
|
709776ad1c
Support for locations in transitively imported C++ code (#7093)
|
il y a 1 semaine |
|
context.h
|
709776ad1c
Support for locations in transitively imported C++ code (#7093)
|
il y a 1 semaine |
|
control_flow.cpp
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
il y a 1 mois |
|
control_flow.h
|
6a53947c5c
Handle destruction for return statements (#5785)
|
il y a 9 mois |
|
convert.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
convert.h
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
core_identifier.cpp
|
c0b335b87f
Add well-known identifier caching (#6486)
|
il y a 4 mois |
|
core_identifier.def
|
37b238fa28
Make C++ types impl `Core.Default`. (#6962)
|
il y a 1 mois |
|
core_identifier.h
|
c0b335b87f
Add well-known identifier caching (#6486)
|
il y a 4 mois |
|
custom_witness.cpp
|
f0c4b37c63
adds a field to `SemIR::Interface` to indicate whether it is a core interface (#7091)
|
il y a 1 semaine |
|
custom_witness.h
|
f0c4b37c63
adds a field to `SemIR::Interface` to indicate whether it is a core interface (#7091)
|
il y a 1 semaine |
|
decl_introducer_state.h
|
1b2ae912fc
Add basic support for `eval fn` and `musteval fn`. (#6694)
|
il y a 2 mois |
|
decl_name_stack.cpp
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
il y a 2 mois |
|
decl_name_stack.h
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
deduce.cpp
|
ba6257891e
Remove ValueParamPattern case from deduction (#6869)
|
il y a 1 mois |
|
deduce.h
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
deferred_definition_worklist.cpp
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
il y a 10 mois |
|
deferred_definition_worklist.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
il y a 10 mois |
|
diagnostic_emitter.cpp
|
709776ad1c
Support for locations in transitively imported C++ code (#7093)
|
il y a 1 semaine |
|
diagnostic_emitter.h
|
45ca3d28f5
Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686)
|
il y a 2 mois |
|
diagnostic_helpers.h
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
il y a 2 mois |
|
dump.cpp
|
54a1c8213c
Add lldb dumping for RequireImplsId and RequireImplsBlockId (#6524)
|
il y a 4 mois |
|
eval.cpp
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
eval.h
|
a2ba7f1262
Have Specific track whether regions contain errors (#6982)
|
il y a 1 mois |
|
eval_inst.cpp
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
eval_inst.h
|
393e6e4f9a
Fix typos in eval_inst.h (#6775)
|
il y a 2 mois |
|
facet_type.cpp
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
facet_type.h
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
full_pattern_stack.h
|
18cfeb7476
Add support for `->?` return forms (#6849)
|
il y a 1 mois |
|
function.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
function.h
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
generic.cpp
|
a2ba7f1262
Have Specific track whether regions contain errors (#6982)
|
il y a 1 mois |
|
generic.h
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
generic_region_stack.cpp
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
generic_region_stack.h
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
global_init.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
global_init.h
|
cf389bf5d3
Split global init out from InstBlockStack. (#4101)
|
il y a 1 an |
|
handle.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
il y a 10 mois |
|
handle_alias.cpp
|
f9ab963bd6
Add a `type_literal` instruction to represent syntactic type literals. (#6781)
|
il y a 2 mois |
|
handle_array.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
il y a 1 an |
|
handle_binding_pattern.cpp
|
e7626f46cc
Get rid of `AddPatternInst` (#7075)
|
il y a 2 semaines |
|
handle_call_expr.cpp
|
e940cb72b6
Parse `ref` as operator (#6539)
|
il y a 4 mois |
|
handle_choice.cpp
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
handle_class.cpp
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
il y a 2 mois |
|
handle_codeblock.cpp
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
handle_export.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
il y a 1 an |
|
handle_expr_statement.cpp
|
69b9982e95
Convert discarded calls in thunks. (#5452)
|
il y a 11 mois |
|
handle_file.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
il y a 1 an |
|
handle_form_literal.cpp
|
21291b4cc3
Remove `InitForm::index` (#6817)
|
il y a 1 mois |
|
handle_function.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
handle_if_expr.cpp
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
il y a 2 mois |
|
handle_if_statement.cpp
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
il y a 1 an |
|
handle_impl.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
handle_import_and_package.cpp
|
8b59e85b16
Add support for `inline Cpp` declarations. (#6994)
|
il y a 1 mois |
|
handle_index.cpp
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
il y a 2 mois |
|
handle_inline_decl.cpp
|
8b59e85b16
Add support for `inline Cpp` declarations. (#6994)
|
il y a 1 mois |
|
handle_interface.cpp
|
f0c4b37c63
adds a field to `SemIR::Interface` to indicate whether it is a core interface (#7091)
|
il y a 1 semaine |
|
handle_lambda.cpp
|
80639a02f0
[parse] Implement initial parsing support for Lambda expressions (#6583)
|
il y a 3 mois |
|
handle_let_and_var.cpp
|
e7626f46cc
Get rid of `AddPatternInst` (#7075)
|
il y a 2 semaines |
|
handle_literal.cpp
|
44f2a68ee0
Fix iN/uN type literal width check for multiples of 8 (#6949)
|
il y a 1 mois |
|
handle_loop_statement.cpp
|
709776ad1c
Support for locations in transitively imported C++ code (#7093)
|
il y a 1 semaine |
|
handle_match.cpp
|
99bde2acb3
Refactor `match` parse nodes. (#6870)
|
il y a 1 mois |
|
handle_modifier.cpp
|
1b2ae912fc
Add basic support for `eval fn` and `musteval fn`. (#6694)
|
il y a 2 mois |
|
handle_name.cpp
|
18cfeb7476
Add support for `->?` return forms (#6849)
|
il y a 1 mois |
|
handle_named_constraint.cpp
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
il y a 1 mois |
|
handle_namespace.cpp
|
315e206ff1
Construct LocId from InstId directly (explicitly) instead of doing lookups when possible (#5355)
|
il y a 1 an |
|
handle_noop.cpp
|
4d0a6db49b
Abort checking when encountering an invalid parse node (#4700)
|
il y a 1 an |
|
handle_observe.cpp
|
d11ee4b2b1
Implement parsing observe declarations (#6674)
|
il y a 2 mois |
|
handle_operator.cpp
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
il y a 2 mois |
|
handle_paren_expr.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
il y a 1 an |
|
handle_pattern_list.cpp
|
e7626f46cc
Get rid of `AddPatternInst` (#7075)
|
il y a 2 semaines |
|
handle_require.cpp
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
handle_return_statement.cpp
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
il y a 1 an |
|
handle_struct.cpp
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
handle_tuple_literal.cpp
|
2c6d9c7f66
Rename type's GetInstId to GetTypeInstId, reflecting returned type (#6708)
|
il y a 2 mois |
|
handle_where.cpp
|
12d7574636
Include extended named constraints in the type of `.Self` for a where clause (#7048)
|
il y a 3 semaines |
|
impl.cpp
|
235267680b
Subst `.Self` in `impl as` rewrites (#7105)
|
il y a 1 semaine |
|
impl.h
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
impl_lookup.cpp
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
impl_lookup.h
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
impl_validation.cpp
|
35d505a985
Check the orphan rule for impls (#6488)
|
il y a 4 mois |
|
impl_validation.h
|
950d83451a
Add diagnostics for invalid impl declarations (#5420)
|
il y a 11 mois |
|
import.cpp
|
e0305684b0
Add MakeVerifiedLocIdAndInst for runtime validation (#6942)
|
il y a 1 mois |
|
import.h
|
e0305684b0
Add MakeVerifiedLocIdAndInst for runtime validation (#6942)
|
il y a 1 mois |
|
import_ref.cpp
|
f0c4b37c63
adds a field to `SemIR::Interface` to indicate whether it is a core interface (#7091)
|
il y a 1 semaine |
|
import_ref.h
|
e8cd229e74
When performing an impl lookup, only import impls for related interfaces. (#6040)
|
il y a 7 mois |
|
inst.cpp
|
e7626f46cc
Get rid of `AddPatternInst` (#7075)
|
il y a 2 semaines |
|
inst.h
|
e7626f46cc
Get rid of `AddPatternInst` (#7075)
|
il y a 2 semaines |
|
inst_block_stack.cpp
|
c0ee446cec
Refactor InstBlockStore's API, AddDefaultValue -> AddPlaceholder (#5166)
|
il y a 1 an |
|
inst_block_stack.h
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
il y a 5 mois |
|
interface.cpp
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
interface.h
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
keyword_modifier_set.cpp
|
973d721916
Some more edits to EnumBase and EnumMaskBase (#6054)
|
il y a 7 mois |
|
keyword_modifier_set.h
|
1b2ae912fc
Add basic support for `eval fn` and `musteval fn`. (#6694)
|
il y a 2 mois |
|
lexical_lookup.h
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
literal.cpp
|
f9ab963bd6
Add a `type_literal` instruction to represent syntactic type literals. (#6781)
|
il y a 2 mois |
|
literal.h
|
f9ab963bd6
Add a `type_literal` instruction to represent syntactic type literals. (#6781)
|
il y a 2 mois |
|
member_access.cpp
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
il y a 1 mois |
|
member_access.h
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
il y a 2 mois |
|
merge.cpp
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
il y a 1 mois |
|
merge.h
|
e0c6800ab3
Reverse nesting structure of parameter patterns (#6930)
|
il y a 1 mois |
|
modifiers.cpp
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
modifiers.h
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
il y a 2 mois |
|
name_component.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
name_component.h
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
name_lookup.cpp
|
5503f643c6
Introduce typed-inst accessors for ConstantValueStore (#6980)
|
il y a 1 mois |
|
name_lookup.h
|
7f7186c227
Extended name lookup replaces inner Self (#6632)
|
il y a 3 mois |
|
name_ref.cpp
|
e24ba02352
Fix lowering of thunks in generic impls (#5631)
|
il y a 10 mois |
|
name_ref.h
|
e24ba02352
Fix lowering of thunks in generic impls (#5631)
|
il y a 10 mois |
|
name_scope.cpp
|
2d38978756
Diagnose explicit `Self` in extend in the parse node handler (Refactor Impl construction 1/7) (#6465)
|
il y a 4 mois |
|
name_scope.h
|
2d38978756
Diagnose explicit `Self` in extend in the parse node handler (Refactor Impl construction 1/7) (#6465)
|
il y a 4 mois |
|
node_id_traversal.cpp
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
il y a 10 mois |
|
node_id_traversal.h
|
2472f44e44
Track pending thunks on the deferred definition worklist. (#5609)
|
il y a 10 mois |
|
node_stack.cpp
|
9106f9533c
Use lines instead of statements for readability-function-size clang-tidy (#6594)
|
il y a 3 mois |
|
node_stack.h
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
operator.cpp
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
il y a 2 mois |
|
operator.h
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
il y a 2 mois |
|
param_and_arg_refs_stack.h
|
e7b68572fa
Consolidate post-check logic (#5003)
|
il y a 1 an |
|
pattern.cpp
|
e7626f46cc
Get rid of `AddPatternInst` (#7075)
|
il y a 2 semaines |
|
pattern.h
|
af04d08965
Track declared form with an InstId instead of a ConstantId. (#7072)
|
il y a 2 semaines |
|
pattern_match.cpp
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
pattern_match.h
|
49c7288619
Restructure return declaration handling (#7076)
|
il y a 1 semaine |
|
pending_block.h
|
980ab7fab3
Fix handling of compatible conversions in initialization. (#6797)
|
il y a 2 mois |
|
pointer_dereference.cpp
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
il y a 1 an |
|
pointer_dereference.h
|
95903dc624
Generate thunks for functions in `impl`s (#5390)
|
il y a 1 an |
|
region_stack.h
|
181a592b8c
Support for parsing expression patterns (#6977)
|
il y a 1 mois |
|
require_impls_stack.cpp
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
il y a 1 mois |
|
require_impls_stack.h
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
il y a 1 mois |
|
return.cpp
|
7c94878c10
fixed a crash when lowering a ref return initialized by value expression (#7049)
|
il y a 2 semaines |
|
return.h
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
scope_index.h
|
b300f36e6f
Use `inline constexpr` where appropriate. (#6374)
|
il y a 5 mois |
|
scope_stack.cpp
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
scope_stack.h
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
|
subst.cpp
|
451b50a3ad
Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005)
|
il y a 1 mois |
|
subst.h
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
il y a 6 mois |
|
thunk.cpp
|
3f63cf4b10
Support C++ calling Carbon functions with ref parameters (#7107)
|
il y a 1 semaine |
|
thunk.h
|
114cf401c2
Support C++ calling Carbon functions with non-`()` return type (#7051)
|
il y a 2 semaines |
|
type.cpp
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
il y a 2 mois |
|
type.h
|
bf9219d30e
Check support for form literals and `:?` bindings (#6747)
|
il y a 2 mois |
|
type_completion.cpp
|
d9841992cb
Replace .Self in facet types (#7097)
|
il y a 1 semaine |
|
type_completion.h
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
il y a 1 mois |
|
type_structure.cpp
|
6cc08ae6e6
Remove SymbolicBinding step in TypeIterator (#7039)
|
il y a 3 semaines |
|
type_structure.h
|
8e577a5d28
Prevent accidental copies of TypeStructure (#6519)
|
il y a 4 mois |
|
unused.cpp
|
34651f429f
Clean up some of the TODOs in unused.carbon (#6794)
|
il y a 2 mois |
|
unused.h
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
il y a 2 mois |
Dana Jansens
235267680b
Subst `.Self` in `impl as` rewrites (#7105)