| .. |
|
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
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
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
|
57a2715f10
Remove support for `addr` (#6375)
|
5 ماه پیش |
|
const
|
57a2715f10
Remove support for `addr` (#6375)
|
5 ماه پیش |
|
deduce
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
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
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 ماه پیش |
|
function
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
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
|
57a2715f10
Remove support for `addr` (#6375)
|
5 ماه پیش |
|
index
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 ماه پیش |
|
interface
|
57a2715f10
Remove support for `addr` (#6375)
|
5 ماه پیش |
|
interop
|
57a2715f10
Remove support for `addr` (#6375)
|
5 ماه پیش |
|
let
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
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
|
57a2715f10
Remove support for `addr` (#6375)
|
5 ماه پیش |
|
package_expr
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 ماه پیش |
|
packages
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
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
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
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 ماه پیش |