Makarius wrote: > * avoidance of unspecific exception handlers -- no dreaded > "handle _ => ..." that would let bad weather intrude program semantics > (I've seen this occasionally in the HOL Zero sources)
These were taken out of HOL Zero some time ago. But if you know of any instances, please let me know. Mark. ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
