Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
    asaadza
    @asaadza
    how do I open them?
    Ólafur Páll Geirsson
    @olafurpg
    http://localhost:4000
    asaadza
    @asaadza
    ok - I'll try right now
    Ólafur Páll Geirsson
    @olafurpg
    the HTML preview is bare-bones, but often enough to focus on the content
    HTML rendering is intentionally not included with mdoc because there are so many ways to generate static sites
    asaadza
    @asaadza
    this is just what I wanted, thank you!
    Ólafur Páll Geirsson
    @olafurpg

    refresh on compile?

    It won't recompile if you change Scala sources, only markdown sources. You need to cmd-c or press Enter to stop the mdoc --watch task to recompile

    asaadza
    @asaadza
    yes, that is normal
    PS I never get an answer to "why can't we search for finer grained symbols in metals?"
    Ólafur Páll Geirsson
    @olafurpg
    the mdoc task runs a JVM process that has no knowledge of sbt compilation
    asaadza
    @asaadza
    OK
    Ólafur Páll Geirsson
    @olafurpg
    Is there an issue for that? I can leave a comment why
    It's an implementation detail, and I guess it's worth reconsidering with toplevel symbols in Scala 3
    asaadza
    @asaadza
    I think the issue said it would be too resource intensive
    Ólafur Páll Geirsson
    @olafurpg
    it's more expensive to index methods because you need to read classfiles or parse sources
    it's still cheap
    current indexing is super cheap
    asaadza
    @asaadza
    yes, it's really fast
    I hope you guys realise how useful the stuff you create and let us use is!
    Ólafur Páll Geirsson
    @olafurpg
    I'm glad to hear :D
    asaadza
    @asaadza
    thanks
    Ólafur Páll Geirsson
    @olafurpg
    I'm still working full-time on indexing and devtool stuff, just not scala right now. Been looking into trigram indexing for text search this week https://docs.google.com/document/d/1KY-CK0kDw6PNEBuOpslh_wbDOgelRfSfYpTg1SotFDg/edit#
    some tricks there would be helpful for the new Metals feature to search in resource files, turns out you can index text files very quickly with int64 bit fiddling
    ascii is only 7 bits and unicode 21 bits
    asaadza
    @asaadza
    interesting
    do you use IJ any more?
    Ólafur Páll Geirsson
    @olafurpg
    I use goland for go
    and IJ for Java
    asaadza
    @asaadza
    OK
    Ólafur Páll Geirsson
    @olafurpg
    but still VS Code for scala
    asaadza
    @asaadza
    the search for symbol in IJ is probably one of the only features I still miss
    Ólafur Páll Geirsson
    @olafurpg
    IJ has very slow completions, I regularly press enter before the completions load
    I agree
    the LSP api makes it difficult to implement proper symbol search
    asaadza
    @asaadza
    I thought of another thing that would be good to have in metals, but can't remember it now :)
    Ólafur Páll Geirsson
    @olafurpg
    need to load the exact location for every search result (filename on disk and line number)
    that's like >95% of the overhead
    asaadza
    @asaadza
    have you seen the haskell extension for metals?
    Ólafur Páll Geirsson
    @olafurpg
    o.O
    I have not
    asaadza
    @asaadza
    they recently addedd -- >>> which get executed inline
    not such a big deal though now we have pretty good worksheets in metals
    Ólafur Páll Geirsson
    @olafurpg
    My wish for worksheets is to implement the new notebook API in vscode
    asaadza
    @asaadza
    one thing I don't always predict is when the worksheet execution will get re-triggered
    Ólafur Páll Geirsson
    @olafurpg
    more explicit run/cancel UI for execution
    asaadza
    @asaadza
    right
    Ólafur Páll Geirsson
    @olafurpg
    and would make it possible to provide full IDE support in markdown files
    without hijacking completion in *.md files
    for mdoc code fences
    asaadza
    @asaadza
    that would be a tutorial writer's dream