When my pl `define-type` thing is used in drr, there are three problems
that would be nice to fix:
1. In a `define-type`, the variant names are shown as the predicates
that are not actually visible to user code. For example:
(define-type FOO
[Foo Number])
when I hover over `Foo`, the tooltip shows `(-> Any Boolean : Foo)`
but that's a description of the underlying struct predicate, which is
not visible. It should really show the type of the resulting
constructor (which is the thing that gets bound to `Foo`).
(The implementation of `define-type` is the first part of
"pl/lang/datatype.rkt" in my repo, which can be seen here too:
http://tmp.barzilay.org/pl/)
2. Hovering over these variant names in `cases` doesn't show any binding
arrow.
3. The tooltips show the types in the prefix-ish style, and it would be
nice if it used the `type-output-sexpr-tweaker` thing too to make
things more consistent.
Any suggestions?
--
((x=>x(x))(x=>x(x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
