Jon Ross-Perkins
|
ee49d65e29
Remove a use of zip/to_array in eval (#6393)
|
il y a 5 mois |
Jon Ross-Perkins
|
fbc7690157
Switch `zip` to `zip_equal` where possible (#6389)
|
il y a 5 mois |
Dana Jansens
|
ca3f95faa6
Make named constraint eval to a FacetType with itself in it (#6308)
|
il y a 6 mois |
Jon Ross-Perkins
|
42e2280150
Clean up singleton TypeId use (#6300)
|
il y a 6 mois |
Geoff Romer
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
il y a 6 mois |
Dana Jansens
|
e12d1b6d6d
Handle a specific providing ImplWitnessAccess for a symbolic binding used as a type (#6201)
|
il y a 6 mois |
Richard Smith
|
90771414f5
Add builtins to form and detect null `MaybeUnformed(T*)` values. (#6208)
|
il y a 6 mois |
Dana Jansens
|
fe020ee08b
Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115)
|
il y a 7 mois |
Dana Jansens
|
e3b4482893
Make the GetCanonicalFacetOrTypeValue operation more crisp (#6157)
|
il y a 7 mois |
Jon Ross-Perkins
|
4a6376cf59
Rename/restructure `Destroy` logic to better reflect #6124 (#6144)
|
il y a 7 mois |
Jon Ross-Perkins
|
8004c2d5f6
CalleeFunction -> Callee name adjustments (#6117)
|
il y a 7 mois |
Jon Ross-Perkins
|
0f7df4ed7e
Switch CalleeFunction to a variant (#6104)
|
il y a 7 mois |
Dana Jansens
|
aa0095c29f
Remove TODO in GetConstantValue for FacetTypeId (#6089)
|
il y a 7 mois |
Jon Ross-Perkins
|
5e3bb523f8
Add builtin functions for destroy, with special requirements in facet types (#6035)
|
il y a 7 mois |
Richard Smith
|
1ec8ac7ef9
Add `Copy` interface and use it for making copies. (#6034)
|
il y a 7 mois |
Richard Smith
|
0e6dd7e701
Add `MaybeUnformed(T)` type. (#5989)
|
il y a 8 mois |
Richard Smith
|
b851e8c423
Add support for f16, f64, f128. (#5952)
|
il y a 8 mois |
Richard Smith
|
629f77eb61
Switch to representing FloatLiteralType as a RealId. (#5944)
|
il y a 8 mois |
Richard Smith
|
28103b8f2e
Convert LegacyFloatType into FloatLiteralType. (#5939)
|
il y a 8 mois |
Richard Smith
|
694c00c7eb
Make `Core.Float` a class. Add missing builtins for float support. (#5932)
|
il y a 8 mois |
Dana Jansens
|
3d77c4441b
Compare ImplWitnessAccess into Self as canonical constants (#5883)
|
il y a 8 mois |
Jon Ross-Perkins
|
37d5046ceb
Support parse/check/lower for char (#5901)
|
il y a 9 mois |
Richard Smith
|
4685890d63
Rename FloatLiteral to FloatValue. (#5911)
|
il y a 9 mois |
Dana Jansens
|
105618ecb1
Resolve nested accesses in rewrite constraints (#5872)
|
il y a 9 mois |
Dana Jansens
|
b36a987e73
Find cycles in rewrite constraints without performing the full exponential expansion of the RHS (#5673)
|
il y a 9 mois |
Jon Ross-Perkins
|
b4b4d33789
Change CanonicalValueStore to take ValueT and KeyT as parameters (#5759)
|
il y a 10 mois |
Dana Jansens
|
6c6552ce57
Consistently return runtime phase if the operands contain a runtime (#5729)
|
il y a 10 mois |
Jon Ross-Perkins
|
a65f4b89e2
Make ValueStore require a ValueT parameter (#5757)
|
il y a 10 mois |
Jon Ross-Perkins
|
b97646a890
Split value store related types to separate files (#5754)
|
il y a 10 mois |
Dana Jansens
|
3585b31813
Handle insts that resolve to `type` on the RHS of `impls` (#5712)
|
il y a 10 mois |