Noah Ma

In the current json-lib: ```racket Welcome to Racket v8.5 [cs]. > (require json) > (string->jsexpr "1e500") +inf.0 > (jsexpr->string (string->jsexpr "1e500")) "+inf.0" > (string->jsexpr (jsexpr->string (string->jsexpr "1e500"))) string::1: string->jsexpr: bad...

It sounds good. I'll separate this pr into 3 parts later.

Hi @soegaard , I guess it's time to remerge these changes since v8.6 was released.

In current TR, the following code works fine: ```racket > (ann (ann (λ (a) a) (∀ (A) (-> (-> A A) (-> A A)))) (-> (-> String String) (-> String...

> I think Racket should probably do so, too `write-json` will do this when the length of list exceeds 10: ```racket > (for ([indent (in-list '(#f 0 4 #\tab))]) (newline)...

> For me, at least, it would be much more useful to indent JSON the way other programming languages indent JSON than to indent in some idiosyncratic way that might...

Hi @LiberalArtist, I rarely paid attention to my email in the past few weeks and I'm sorry that I did not notice your replies. > I just found that there...

I'm thinking about the relationship between these types: 1. `(-> (U 'a 'x) (U 'b 'y))` 2. `(case-> (-> 'a (U 'b 'y)) (-> 'x (U 'b 'y)))` 3. `(case->...

> It is unclear to me if this behavior comes from Qi or fancy-app, and I haven't looked at the code to see if I'm right, but I recall vaguely...

https://github.com/countvajhula/qi/blob/main/qi-test/tests/flow.rkt#L573