[cvs-nhc98] patch applied (hat): Partial support for traced named fields.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:03:23 EDT 2006


Thu Apr 12 07:53:36 PDT 2001  olaf
  * Partial support for traced named fields.
  
  Patterns with named fields work now (simple extension of transformation).
  
  Using field names as selectors works. However, if the result of the selection is `undefined', because the datum does not contain the named field, then the traced program performs a segmentation fault.
  
  Tracing field names as selectors is difficult, because although nhc distinguishes between a name used as selector or for construction/updating, nhc doesn't write the type of a selector into an interface file but determines it from the data definition. But for tracing the selector needs a differnt type. At the moment at every call site of the selector a wrapper is put round the original, untransformed selector. But that way we cannot handle errors caused by the selector ...

    M ./src/compiler98/DbgDataTrans.hs -22 +29
    M ./src/compiler98/DbgTrans.hs -7 +68
    M ./src/compiler98/IExtract.hs -5 +57
    M ./src/compiler98/Import.hs -1 +15


More information about the Cvs-nhc98 mailing list