type checker breaks on F_type_error prf
|Created on||Sep 13, 2005 19:53|
|Resolved on||Sep 29, 2005 14:22|
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