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.