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