Dave Abrahams

Results 392 comments of Dave Abrahams

Breaking down my output: ```swift var x = Inner(1) // (address: value) of x // 6164493440: 1 Inner.init var y = Inner(2) // (address: value) of y // 6164493472: 2...

If all the parts are Codable it should just serialize/deserialize automatically. But is there a reason ASTs can't be equatable?

> No because `coreTraits` is outside of `AST.Storage` Oh, and we have customized serialization. Presumably you could have left it outside `Storage` with the appropriate adjustments to serialization. > The...

> Note that I think we'll have to accept that two ASTs parsed from the same sources might have different representations if we want to ever support incremental compilation. I...

We need to have a more general discussion about what we mean by incremental compilation and what its implications will be for our data structures, c.f. https://github.com/hylo-lang/hylo/pull/1163#issuecomment-1848711892

> Are you talking about this? https://emacs-lsp.github.io/lsp-mode/page/lsp-rust-analyzer/#inlay-hints Yep, that's it exactly. Xcode as I'm choosing a completion: After hitting return (Because it looks a little confusing, I'll explain that I...

Absolutely the first bullet. There are other means of indenting lines: `M-x indent-for-tab-command` and `C-M-\ runs the command indent-region`. There should be a means of canceling the placeholders. Actually, this...

@kyouko-taiga I think it makes sense to finish this document but re-frame it in terms of our decision to use committed choice.

No rush; it's mostly just background so far.