Htdp2.0

[bennn]

This is for discussing, not merging. It doesn't compile anyway.

Look at the type in types.rkt. There are ~100 methods. Only 13 were in the documentation.
The latest compile error is passing a higher-order type for Any in the traverse method. If we fix it, we still need to assign a type to:

(compose render-multi-mixin render-mixin)

❓

[bennn]

The fully typed version now runs, but note #30. It is not faithful to the original program.

Still need to try running all variations. I'm skeptical 😱

[bennn]

These do not run. Don't merge!

[bennn]

The bad configurations are 0010 0011 1010 and 1011. The error is always the same. @takikawa do you know how to fix?

process-whole: contract violation;
 cannot subclass a row polymorphic class with disallowed members (alt-paths up-path script-path script-file search-box?)
  in: the 1st conjunct of
      the 1st argument of
      ...
      the 5th argument of
      the 2nd argument of
      (->* <TRUNCATED ... Love, Ben>