parse fully-expanded types

[bennn]

parse-type should not use surface syntax, it should fully expand first

is this feasible?

[bennn]

No, this seems very difficult. Some notes/thoughts:

• TR can do type->contract after (during?) tc-toplevel-pass1
• pass1 seems to happen after expansion
  • so definitely, cannot just call local-expand and expect TR to resolve all the aliases
• SUPPOSE we can get require/typed/scv to happen during/after this pass1 ... how to get the right types?
  • typed racket's internal rep is different from "syntax the programmer would write"
  • so need to either (1) translate back (2) find what TR does to pretty-print (3) generate contracts from the internal rep ... and (3) begs the question "why not use type->contract itself?"
• I think type->contract will not work because the contracts are "bigger" than you'd think. But that's something to investigate.

At least while require-typed-scv is prototype work, I don't think it's worth the effort to parse types properly.