| Autore | SHA1 Messaggio | Data |
|---|---|---|
|
|
a112cbde5c Model type expressions as regions (#4698) | 1 anno fa |
|
|
b25117b508 Do not resolve the declaration when forming a specific for use in an eval block (#4692) | 1 anno fa |
|
|
a10c79569e Model `Core.Int` as a class type (#4644) | 1 anno fa |
|
|
eabe9f117a Track complete types required by a generic. (#4652) | 1 anno fa |
|
|
33110d096c Facet types support rewrite (`where .A =`...) constraints (#4613) | 1 anno fa |