parser through type error

[Willard Hagen]

What does the evaluation question mean by the parser allowing through type errors?

[Jay McCarthy]

(parse '(+ 1 true))

is example. This is a type error, but the parser should NOT stop it,
the unification should.

On Wed, Dec 4, 2013 at 2:54 PM, Willard Hagen <willar...@gmail.com> wrote:
> What does the evaluation question mean by the parser allowing through type
> errors?
>

> --
> You received this message because you are subscribed to the Google Groups
> "byu-cs-330-fall-2013" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to byu-cs-330-fall-...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.



--
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

[Jay McCarthy]

You should answer yes if you DO test for it

On Wed, Dec 4, 2013 at 2:57 PM, Willard Hagen <willar...@gmail.com> wrote:
> So if I have a test for this I should answer no?

> --
> -Willard

[Willard Hagen]

would this fit the bill?

(test (parse (list 'tempty? 1)) (istempty (num 1)))

Isn't istempty expecting a list?

--
-Willard

[Jay McCarthy]

Yup

[Jay McCarthy]

Provided it is clear that bif is tested

On Wed, Dec 4, 2013 at 3:24 PM, Willard Hagen <willar...@gmail.com> wrote:
> When asking for bif tests, does it count if I have a bif within a rec-with?