Issue 98 in teyjus: beta-nornalization doesn't occur for inner reducts when pattern matching.

[tey...@googlecode.com]

Status: New
Owner: ----

New issue 98 by shaoli...@gmail.com: beta-nornalization doesn't occur for
inner reducts when pattern matching.
https://code.google.com/p/teyjus/issues/detail?id=98

What steps will reproduce the problem?

See test and test2 in the attached files. Both should have the same output
but the first fails and the second succeeds.

When one pattern matches on the application ( ( x\ t ) s ) [outermost
reduct] it succeeds but when pattern matches on ( c ( ( x\ t ) s ) ) [inner
reduct] it fails.

The reason for success in test2 is that we check for equality which
apparently forces beta-reduction on the inner reduct.



Attachments:
test.sig 187 bytes
test.mod 337 bytes

--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings