Alex Knauth
Alex Knauth
There are several places in `racket/draw/private/color.rkt` where two names differ by a space, but are defined as the same color. However, `"cornflowerblue"` and `"cornflower blue"` seem to break this pattern....
Instead of writing a bunch of colors like this: ```racket ... ("darkblue" . #(0 0 139)) ("darkcyan" . #(0 139 139)) ("darkgoldenrod" . #(184 134 11)) ("darkgray" . #(169 169...
Related to #71. I put `check-equal?/values` in a separate form because `check-equal?` is meant to be a function-like check, and adding multiple values to the existing `check-equal?` would require it...
How should clojure `:keywords` be handled, assuming that clojure macros can be defined, and can look at the values within the syntax objects? Should `:keywords` be different from racket `#:keywords`...
Running a program where deriving instances produces a cycle gets into an infinite loop. Here the `(C (List Integer))` instance produces the subgoal `(C (Tuple Integer (List Integer)))`, which produces...
Some macros, and specifically the `mod` macro in the Module/Functor system @iitalics and I are working on, should do all the elaboration passes themselves, and they should not be part...
This is the solution discussed in https://github.com/lexi-lambda/hackett/issues/73#issuecomment-390085946 for a Core-`def` form that's always annotated. This will allow our Module/Functor system to catch these when it partially expands the definitions in...
This PR makes way for other namespaces such as the `module` and `signature` namespaces in the module language @iitalics and I are working on. It splits up the logic into...
Similar to how `:` declarations work in Typed Racket or how `id :: type` declarations work in Haskell, I want to be able to separate definitions from their type annotations...
Based on the work of @Refragg, I updated it to use the new settings map and settings value types. - [x] Make sure the auto-splitter gets the settings from a...