[plt-scheme] puzzling bug with (extremely simple) curried Typed Scheme program

From: Eli Barzilay (eli at barzilay.org)
Date: Mon Oct 20 04:41:47 EDT 2008

On Oct 20, Benjamin L. Russell wrote:
> [...]
> main.hs:3:14:
>     Kind error: `String' is applied to too many type arguments
> [...]
> For reference, it may be helpful if Typed Scheme were to return a
> similar type error message in this case.

It does provide a similar error message, try this:

  (: blah (String (String -> Void)))
  (define blah 1)

The problem is that it reported the other error first, so it never got
to this one.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!

Posted on the users mailing list.