This program gives a confusing error message. Does anyone know why the "xs" in the body doesn't have type "(List Foo)"?
The error message is much better if the return type is "(Listof Integer)". It only complains about "Foo" being unbound instead of "Foo unbound and got a listof error". ;; --- #lang typed/racket/base (: foo (-> (Listof Foo) Integer)) (define (foo xs) xs) > Type Checker: parse error in type; type name `Foo' is unbound > Type Checker: type mismatch expected: Integer given: (Listof Error) in: xs -- 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.
