Dana Jansens
|
d6be20641c
Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915)
|
пре 1 месец |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
пре 2 месеци |
Dana Jansens
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
пре 5 месеци |
Dana Jansens
|
81e55bed8a
Generate a RequireDecl instruction for require declarations (#6318)
|
пре 5 месеци |
Dana Jansens
|
bf72c43b6b
Set the completed flag in NamedConstraint after the defn is complete (#6304)
|
пре 6 месеци |
Dana Jansens
|
f272198ce5
Don't elide Self when dumping the interface/constraint (#6297)
|
пре 6 месеци |
Dana Jansens
|
22580a47d3
Initial support for empty named constraints (#6245)
|
пре 6 месеци |
Jon Ross-Perkins
|
99696b9812
Rename check handlers to HandleParseNode overloads. (#4121)
|
пре 1 година |
Chandler Carruth
|
8c64f0bfdd
Add `-Wmissing-prototypes` and fix issues it finds. (#4019)
|
пре 1 година |
Richard Smith
|
f9ce0b194d
Defer parsing of method bodies until the end of a suitable enclosing scope. (#3832)
|
пре 2 година |
Jon Ross-Perkins
|
86a7c9ff45
Rename parse_node -> node_id (#3760)
|
пре 2 година |
josh11b
|
48c986f52d
Start using typed parse node ids in the check stage (#3547)
|
пре 2 година |
Richard Smith
|
332a368cee
Rename Parse::Node -> Parse::NodeId. (#3432)
|
пре 2 година |
josh11b
|
5020fdb3be
Use abbreviation "decl" instead of "declaration" (#3382)
|
пре 2 година |
Jon Ross-Perkins
|
1c748c0f14
Split semantics into check and sem_ir directories (#3176)
|
пре 2 година |