Suzanne Soy
Suzanne Soy
@jackfirth The problem arises when the view is any pair, including if it's a proper list. Consider the following: ``` (lens-set list*->list-lens '(a b . c) '(1 2 (3 4...
@AlexKnauth Right. `improper-stx-list-lens` then? I'm not terribly fond of `list-proper-lens` and `list-improper-lens`, as it sounds like the lens itself is an (im)proper lens (it's a proper lens in both cases,...
`including the tail element` ⇒ Agreed Re. isomorphism, you're probably right, I thought round-tripping would be enough, but I see now how the length check can be a problem.
I already have implemented in my personal toolkit some wrapper macros [`check-equal?:`](https://github.com/jsmaniac/phc-toolkit/blob/master/typed-rackunit.rkt#L37) and [`check-eq?:`](https://github.com/jsmaniac/phc-toolkit/blob/master/typed-rackunit.rkt#L60). They rely on `check-true` and pass to it a lambda which performs the actual check. To...
This now compiles with v6.9.0.1. However, running `(:type L+)` produces the following type, which seems a bit odd: ``` (All (T REST) (Pairof T (∩ REST (Opaque L+)))) ``` The...
A small issue: right now the kind is just a user-supplied string. I have some bindings which are documented using "phase 1 function" or maybe "phase 1 match expander" as...
Wrapping the module `m` and the `require` with `(begin (module m ...) (require 'm))` works fine. It feels like the names were not introduced in the same context, due to...
It seems that the bug comes from these two lines: https://github.com/racket/scribble/blob/9da2f4f40fd37bfb2b308611190d84cf97b9310e/scribble-lib/scribble/base-render.rkt#L114 ```racket (define/public (number-depth number) (if (null? number) 0 (+ 1 (for/sum ([i (in-list (cdr number))]) (if (not (string? i))...
Using a list of two strings does "solve" the problem, but when a single string is returned, I don't see why the subsections would need to bebe lifted one level...
I narrowed down the problem to the [determine-spaces](https://github.com/racket/gui/blob/01c665e6e9ce4f6d57ee6bab2849565dea57fbe6/gui-lib/scribble/private/indentation.rkt#L329) function, and I think it is needed to add a case for `#\{` like for `#\(`, but only when the `{` is...