type checker breaks on F_type_error prf


Bugzilla Link	112
Created on	Sep 13, 2005 19:53
Resolution	FIXED
Resolved on	Sep 29, 2005 14:22
Version	1.00beta
OS	SunOS
Architecture	Sun
Attachments	dfr.sac

Extended Description

when doing type upgrade on the given example, the typechecker breaks while
trying to typecheck the F_type_error during cycle 3.
the program needs to be that complicated to ensure type upgrade running 3 times
on function reverse.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information