Dana Jansens
|
8e577a5d28
Prevent accidental copies of TypeStructure (#6519)
|
4 miesięcy temu |
Hitesh Joshi
|
0166d8837c
Update Documentation to use new expression terminology (#5890)
|
7 miesięcy temu |
Jon Ross-Perkins
|
59c4cbcaf1
Treat type modifiers as distinct type structure (#6073)
|
7 miesięcy temu |
Jon Ross-Perkins
|
19a7fb08b7
Switch handling of errors in impls to not build a type structure (#5881)
|
9 miesięcy temu |
Dana Jansens
|
950d83451a
Add diagnostics for invalid impl declarations (#5420)
|
11 miesięcy temu |
Dana Jansens
|
e6a6624ec6
Include concrete non-type values in the type structure and use for impl candidate selection (#5431)
|
11 miesięcy temu |
Dana Jansens
|
a9a94b03ac
Pull type iteration out into a TypeIterator, build the TypeStructureBuilder on it (#5430)
|
11 miesięcy temu |
Dana Jansens
|
aa491d8fd8
Implement non-final impl overlap diagnostics (#5412)
|
1 rok temu |
Geoff Romer
|
cda97cb292
Include all symbolic parts in structure comparison (#5247)
|
1 rok temu |
Dana Jansens
|
11ae0e27ab
Deduce through FacetValue (#5158)
|
1 rok temu |