Le 02.04.13 21:46, Bill Richter a écrit : > Thanks, Vincent, but I really was wrong, I just made an error in describing > my mistake. You're right (and I knew it): > > if you just type `&1 + 1`, you still get the exception: > > My error was thinking that the presence of preterm_of_term would keep `&1 + > 1` from being evaluated, and that was wrong. I learned about parse_term from > Freek, as a way to emulate backquotes into miz3, which doesn't allow them. > But outside of miz3, doesn't parse_term mean the same as backquotes? > Yes.
(note: I know almost nothing about miz3) -- Vincent ARAVANTINOS - PostDoctoral Fellow - Concordia University, Hardware Verification Group http://users.encs.concordia.ca/~vincent/ ------------------------------------------------------------------------------ Minimize network downtime and maximize team effectiveness. Reduce network management and security costs.Learn how to hire the most talented Cisco Certified professionals. Visit the Employer Resources Portal http://www.cisco.com/web/learning/employer_resources/index.html _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
