Patrice Chalin
Patrice Chalin
> I don't quite understand the point of the `T Null` clause of the disjunction in the assignability rule though. What does that add? If T is not of the...
> Your motivating example is this: `class C2 { ?T2 i2 = 1; }`. The text claims that this is a warning - I don't understand why? Please see the...
> ~~The disjunct "T `Null`" also covers the case of `void`; under the new definition of , any nullable expression can be an argument to a `void` function's return statement.~~...
> I think I understand your motivation here ... what you are aiming for is a modification ... like: `A B iff exists S in A, T in B s.t....
Hi @di9383. Can you provide some examples of the kinds of repo links that you'd need and/or links to a public docs website and the associated Azure repo?
Thanks for those examples. I have a couple of ideas that I'll explore as soon as I can.
Hi @di9383 - while I have ideas on how to generalize the repo-links layout, other docsy tasks seem to be more pressing. My hope is to get to this in...
Thanks @smainz. While #1841 is on the radar, I don't think that it will make 0.10.0 -- the release has been delayed much longer than I hoped for already. I'll...
That makes sense. Given this new understanding, I'd say that #2 is of higher priority, since for the use case I am targeting, most of the repeated links are ones...
> We should have instead fixed the issue in the angular repo. One solution would be to avoid committing the notes sources (since they are autogenerated). Initially I just thought...