Dear All, I am using EVAL to evaluate some operational semantics. EVAL often seems to hang, when I would have expected it to simply stop. This often seems to be the case when it doesn't know how to evaluate some constant. Why should EVAL hang, rather than e.g. just failing?
Thanks Tom ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
