Sorry for the delay.
1) Coloring of a #; commented-out S-expression, as in Emacs.
2) Code folding that is saved and yet compatible with external editors.
The way I would go about dealing with the WXME format would be be to save
two files, with the WXME format hidden somewhere (Sqlite or a fil
> On Jan 11, 2018, at 9:52 AM, Sam Tobin-Hochstadt wrote:
>
> This is an intentional design choice, but I also think it's pretty
> hard to avoid. In particular, consider immutable hash tables. In that
> case, (HT A B) is a subtype of (HT A* B), if A <: A*. But then for
> immutable hash tables,
Yes — that's perfect, thank you! And it also gives me a better sense of how
racket/gui is implemented for macOS. This snippet of code is now included in my
library, and I wonder if there's benefit to having this be available in
racket/gui for cross-platform usage?
Now that I understand this a b
This is an intentional design choice, but I also think it's pretty
hard to avoid. In particular, consider immutable hash tables. In that
case, (HT A B) is a subtype of (HT A* B), if A <: A*. But then for
immutable hash tables, your `checked-hash-ref` has the same issue that
the original type for `h
I was surprised and a wee bit dismayed this morning to see that this code,
using hash-ref with the wrong key type, typechecks:
#lang typed/racket
(define my-hash : (HashTable String String)
(make-immutable-hash
'(("abc" . "def")
("ghi" . "jkl"
(hash-ref my-hash 1234)
So, I printe
Maybe you can use snips% inside a single editor%?
Snips can be text or pictures or other things.
On Wed, Jan 10, 2018 at 9:58 PM, Christopher Lemmer Webber <
cweb...@dustycloud.org> wrote:
> Christopher Lemmer Webber writes:
>
> > Matthew Flatt writes:
> >
> >> At Wed, 10 Jan 2018 10:29:28 -0600
6 matches
Mail list logo
