Thread cx through normalization2020-12-07T19:34:38+00:00Nadrieril2020-12-06T23:55:21+00:00c785b7c0c6cd8b3b1cc15eb79caf982a757020ba
Thread cx through typecheck2020-12-07T19:34:38+00:00Nadrieril2020-12-06T21:41:03+00:006287b7a7f9e421877ee13fefa586395fec844c99
If can return a type2020-11-27T22:08:50+00:00Basile Henry2020-11-27T22:08:14+00:00711ad900153aedb7b35896c0705c932972edded2
Typecheck `with` using mutation2020-11-03T23:18:58+00:00Nadrieril2020-11-02T04:06:05+00:0085d946016d67515aa70fa01338512e3fd7df408e
Normalize `with` by mutation.2020-11-03T23:18:58+00:00Nadrieril2020-11-02T03:47:15+00:009e8ae42b2742e27a70a7fb8ea79ae21060d43fc1
This is Cow-style mutation: we clone only what's shared and then mutate
it. This it more legible and more efficient than the immutable version.
This is Cow-style mutation: we clone only what's shared and then mutate
it. This it more legible and more efficient than the immutable version.
Try to keep ownership of `Nir`s when convenient2020-11-03T23:18:58+00:00Nadrieril2020-11-02T01:03:59+00:00055e70f52bb0d8740ce6ac00b98ae856c29642b2
The goal is that we might avoid cloning internals in the common case
where a value is not shared
The goal is that we might avoid cloning internals in the common case
where a value is not shared
Handle record type properly2020-11-02T22:38:03+00:00Basile Henry2020-11-02T22:38:03+00:006375a0f2c3b123af5b1ff8c79d02caef6d2ed7e1