Eason du
Eason du
thanks @kasiaMarek , able to test in 2.13 with `++2.13.12 publishLocal;mtags/publishLocal` . Now it's weird that expand Selection in comments doesn't seem to work in vscode for manual testing while...
seems like a bug in vscode extention from vscode Devtools: ``` ERR Cannot read properties of null (reading 'range'): TypeError: Cannot read properties of null (reading 'range') at asSelectionRange (/home/dhp/.vscode-oss/extensions/scalameta.metals-1.26.1/node_modules/vscode-languageclient/lib/common/protocolConverter.js:856:63)...
@kasiaMarek @tgodzik shall we merge this first? unit test passed for this ,just that there's sth in the vscode plugin side that needs to be fixed
thanks @kasiaMarek I cleaned them up, forget to do so previously
thanks @kasiaMarek I fix some of the nits, but some other tests from main failed so I can't merge: ``` [error] Failed: Total 701, Failed 1, Errors 0, Passed 698,...
Great project ! we need a Cassandra one.
This also works : https://jitpack.io/#regb/scala-smtlib
I didn't find a systematic survey about why the current monadic syntax is not sufficient aside from being deemed too difficult for beginners. It would be great if there's something...
Frankly speaking, I only see this new syntax as a kind of shorthand for using monads which might be easier for new comers. However, this approach may introduce many complexities...
Thanks, I have the same idea in my mind, should we set a default limit like 10 and it will be stripped if longer than that? which file are relevant...