Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-08-23 10:11:09 -0700 (Fri, 23 Aug 2002)
Revision: 3821
Log message:
Lots of changes here:
1) The usual ``cleaning up documentation and existing rules''.
Also cleaned up some display forms.
2) Mfir_basic has been split into Mfir_int, Mfir_int_set, Mfir_list,
and Mfir_bool. Mfir_basic was getting a bit unwieldy.
3) Wrote up the rules for atomTyApply, atomTyPack, and atomTyUnpack.
4) Wrote up most of the rules for letAlloc.
5) Wrote up a rule for letExt.