| .. |
|
alias
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 miesięcy temu |
|
array
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 miesięcy temu |
|
as
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
basics
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 miesięcy temu |
|
builtins
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
choice
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 miesięcy temu |
|
class
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 miesięcy temu |
|
const
|
57a2715f10
Remove support for `addr` (#6375)
|
5 miesięcy temu |
|
deduce
|
8779b8f64b
Replace pending generic logic with work stack-based logic (#6404)
|
5 miesięcy temu |
|
eval
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 miesięcy temu |
|
facet
|
6a60b80508
Remove the FacetTypeId in RequireImpls (#6437)
|
5 miesięcy temu |
|
for
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 miesięcy temu |
|
function
|
93a8c5230c
Ensure a symbolic `final impl` has a definition produced (#6236)
|
5 miesięcy temu |
|
generic
|
0cf2448505
Get specific interfaces with correct specific from named constraints (#6435)
|
5 miesięcy temu |
|
global
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 miesięcy temu |
|
if
|
09710d102f
Separate binding insts for refs and values (#6235)
|
6 miesięcy temu |
|
if_expr
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
impl
|
6a60b80508
Remove the FacetTypeId in RequireImpls (#6437)
|
5 miesięcy temu |
|
index
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
interface
|
6a60b80508
Remove the FacetTypeId in RequireImpls (#6437)
|
5 miesięcy temu |
|
interop
|
108e39e095
Fix SemIR printout for string literals in macros (#6440)
|
5 miesięcy temu |
|
let
|
8779b8f64b
Replace pending generic logic with work stack-based logic (#6404)
|
5 miesięcy temu |
|
main_run
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 miesięcy temu |
|
named_constraint
|
6a60b80508
Remove the FacetTypeId in RequireImpls (#6437)
|
5 miesięcy temu |
|
namespace
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
operators
|
8779b8f64b
Replace pending generic logic with work stack-based logic (#6404)
|
5 miesięcy temu |
|
package_expr
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
packages
|
6b1ef75ac5
Make generic decl resolution happen during non-pending import flow (#6394)
|
5 miesięcy temu |
|
patterns
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
pointer
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
primitives
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
6 miesięcy temu |
|
return
|
8779b8f64b
Replace pending generic logic with work stack-based logic (#6404)
|
5 miesięcy temu |
|
struct
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
tuple
|
167b45ca35
Rewrite pending specifics to use the work stack (#6415)
|
5 miesięcy temu |
|
var
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 miesięcy temu |
|
where_expr
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
5 miesięcy temu |
|
while
|
41ed82e033
Add basic support for strings to core, check, and lower. (#5963)
|
8 miesięcy temu |