Christopher Monsanto

Dired async should have a progress bar for remote operations

12

See title. I think Emacs wget does a great job of this (very hard to find elisp, archived here https://github.com/monsanto/wget). A simple way to do this would be to add...

Doesn't work well with Cygwin

1

I know at least one user has had trouble getting rlc to work well on cygwin. I don't use cygwin (or windows) so I can't test this. If there are...

Are you able to extend this to make the type checker diverge?

1

In the dependent type:type calculus there is way to modify Girard's paradox to exhibit a diverging type (as opposed to a diverging term). There is some information on this in...

Allow template literal in JSXAttributeValue

15

That is, allow stuff like ``, without having to wrap the string in `{}`.

Shouldn't unnecessarily chop up loops with abrupt completions

2

x-post from https://github.com/babel/babel/issues/590 By abrupts, I am referring to `break`, `continue`, `throw`, `return`, etc. For example, if you compile the following: ``` function *foo() { for (;;) { bar() break...

### 🔎 Search Terms TS2454 ### 🕗 Version & Regression Information - This changed between versions 5.6.3 and 5.7.3 - This changed in commit or PR 533ed3d665c4bb0ecb08dd2eae95fe0aa2e1c973 ### ⏯ Playground...