Jon Ross-Perkins 972854e834 In import, replace MakeSelfSpecific with GetOrAddLocalSpecific (#6409) 5 месяцев назад
..
alias 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 месяцев назад
array 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
as 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
basics 972854e834 In import, replace MakeSelfSpecific with GetOrAddLocalSpecific (#6409) 5 месяцев назад
builtins 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
choice 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 месяцев назад
class 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 месяцев назад
const 57a2715f10 Remove support for `addr` (#6375) 5 месяцев назад
deduce 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 месяцев назад
eval 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
facet e62678e682 Identify and complete facet types as needed for p5168 (#6369) 5 месяцев назад
for 972854e834 In import, replace MakeSelfSpecific with GetOrAddLocalSpecific (#6409) 5 месяцев назад
function 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 месяцев назад
generic 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
global 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 месяцев назад
if 09710d102f Separate binding insts for refs and values (#6235) 6 месяцев назад
if_expr 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
impl 972854e834 In import, replace MakeSelfSpecific with GetOrAddLocalSpecific (#6409) 5 месяцев назад
index 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
interface 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 месяцев назад
interop 994e6c904d Add support for macros with floating-point literals (#6391) 5 месяцев назад
let 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 месяцев назад
main_run 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 месяцев назад
named_constraint e62678e682 Identify and complete facet types as needed for p5168 (#6369) 5 месяцев назад
namespace 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
operators 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 месяцев назад
package_expr 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
packages 6b1ef75ac5 Make generic decl resolution happen during non-pending import flow (#6394) 5 месяцев назад
patterns 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
pointer 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
primitives 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 месяцев назад
return 8779b8f64b Replace pending generic logic with work stack-based logic (#6404) 5 месяцев назад
struct 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
tuple 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
var 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
where_expr 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) 5 месяцев назад
while 41ed82e033 Add basic support for strings to core, check, and lower. (#5963) 8 месяцев назад