Question - Point of Doctrine for typei

[Dan Haskin]

I know that the following:

(infer-type (parse '(fun (x) (bif (tempty? x) (tempty) (tcons (tfirst
x) (trest x)))) ) )

should resolve to something like this:

list(x) -> list(x)

But my question is, should the following:

(infer-type (parse '(x x)))

resolve to anything other than an "unbound identifier" error?

the same goes for something like

(infer-type (parse '(with (x y) (* x x)))) - should it resolve to (t-
num) or should it throw an error?

[Jay McCarthy]

Both should error with an unbound identifier

--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93