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
On 2015-05-11 14:33:51 -0400, Benjamin Greenman wrote:
This program gives a confusing error message. Does anyone know why the
xs in the body doesn't have type (List Foo)?
It's because the type `Foo` is not defined, so it cannot have a sensible
representation. Erroneous types like this
I think we should at least make `(Listof Error)` turn into `Error`.
That would eliminate the error message than Ben reported.
Sam
On Mon, May 11, 2015 at 4:01 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2015-05-11 14:33:51 -0400, Benjamin Greenman wrote:
This program gives a confusing
On Mon, May 11, 2015 at 04:01:15PM -0400, Asumu Takikawa wrote:
On 2015-05-11 14:33:51 -0400, Benjamin Greenman wrote:
This program gives a confusing error message. Does anyone know why the
xs in the body doesn't have type (List Foo)?
It's because the type `Foo` is not defined, so
4 matches
Mail list logo