[cvs-nhc98] patch applied (hat): Introduced even more Sats and resurrected field selectors.

[Malcolm Wallace]

Wed Apr 18 03:28:35 PDT 2001  olaf
  * Introduced even more Sats and resurrected field selectors.
  
  The application of a saturated application never had a Sat. Now it has.
  If a trusted application is recorded (because the function is suspected), then it has a Sat.
  
  There are now even more SatCs. Filesize grows by ~2%, runtime grows by ~2%.
  
  Corrected implementation of transformed field selectors. The definitions are derived at transformation time and subsequently transformed. Because nhc derives the type of imported selectors from data definitions, these types have to be patched by the transformation.
  
  Now application of a field selector to a value that does not contain the field is caught correctly in the transformed code.

    M ./src/compiler98/DbgDataTrans.hs -4 +2
    M ./src/compiler98/DbgTrans.hs -64 +52
    M ./src/compiler98/IExtract.hs -39 +127
    M ./src/compiler98/Remove1_3.hs -2 +3