rvs314
rvs314
### What version of Racket are you using? Racket 8.0 [CS] ### What program did you run? I tried loading the following program into Dr. Racket and Racket-Mode: ```scheme #lang...
This fixes #165 by declaiming the aliases as functions so that the compiler doesn't emit a style warning.
### What version of Racket are you using? Racket 8.10 [cs] ### What program did you run? ``` #lang typed/racket (require/typed racket/stream [prop:stream (Struct-Property Any)] [stream->list (-> (Has-Struct-Property prop:stream) (List...
When running a simple example in IRB, I get a weird result where running a program multiple times causes the second invocation to make an empty window. Here's an example...
Currently, an expression which isn't used is discarded as dead code, even though it includes an `unsafePerformIO` action like `Debug.Trace`. While this behavior is understandable, this caveat should at least...
When opening a nested package (a package defined within another package), idris-mode can't seem to find the outer package, as idris itself can. When trying to run test code from...
I'm trying to derive a `DecEq` instance on an inductive datatype, but it seems to fail (it causes the Idris2 process to eat all of my ram and get killed...
The [eval-when page in CSUG](https://cisco.github.io/ChezScheme/csug9.5/system.html#./system:s98) gives an example of how to use `eval-when` in order to make a definition available in multiple phases: ```scheme (eval-when (compile load eval) (define nodups?...
It seems like ed6f72a introduced a new test which currently fails on chez, but not racket: On Chez: ``` > (load "./mk-vicare.scm") > (load "./mk.scm") > (load "./test-check.scm") > (load...
I currently have the following `general-create-definer` invocation in my `.emacs`: ```emacs-lisp (general-create-definer define-global-keys :states '(normal insert motion visual emacs) :prefix "SPC" :keymaps 'override :non-normal-prefix "M-SPC") ``` This generates the following...