Milo
Milo
I get the following when running `chicken-slime` in emacs. I tried to follow the instructions as closely as possible. ``` error in process filter: apply: Bug: sldb-level is equal but...
`flush` calls `.write_all()` on the underlying `std::io::Write` but this does not necessarily actually flush the writer. For instance, if you try using `stdout` as the writer you will notice that...
``` racket--cmd/await: cache-set!: contract violation expected: (or/c promise? syntax?) given: #f in: the range of the 2nd argument of (->* (path-string? (-> (or/c promise? syntax?))) ((or/c #f string?)) any) contract...
Code: ```racket @defform[(m) #:contracts ([x any/c] [y any/c bad])] ``` Result: ``` issue.scrbl:3:27: x: unbound identifier in: x ``` When the `#:contracts` clause is even slightly malformed, it treats the...
One feature I intended to eventually add but doesn't yet work is automatically generating arguments to passes that take additional arguments. ```ocaml module%language L0 = struct type expr = [...
- Added (optional and backwards compatible) `#:var-stx` keyword arg to the `infer` function in macrotypes. This allows the exact variable transformer for each element of the context to be specified,...
There's a cyclical dependency between `define-syntax-category` and `infer`. The former defines functions like `current-type-eval` which are used by the latter. However, the type-generated forms of `define-syntax-category`, most prominently `define-binding-type`, make...
For some reason, using the generated ~ pattern expanders for types does not work in (define-syntax-class ...). As a simple example, ```racket #lang turnstile (define-type-constructor List #:arity = 1) (begin-for-syntax...
As far as I can tell, the # character is actually completely ignored and there's no such thing as a breakpoint.
The `wiphy_debug` macro expands to `dev_printk`, which doesn't give any way to control debugging output. This patch changes all uses of `wiphy_debug` to `wiphy_dbg`, which will use dynamic debug if...