Recursive Types not Handled Well

Arminius / cat-language

Automatically exported from code.google.com/p/cat-language

Other

0 stars 0 forks source link

Recursive Types not Handled Well #27

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Some recursive programs "dup apply" etc. now are no longer legal, however 
others are. The problem is that it is not clear where the distinction is 
between legal recursive programs and non-legal recursive programs.

Original issue reported on code.google.com by cdiggins on 22 Oct 2007 at 6:33