Partial support for traced named fields.

olaf: Thu Apr 12 16:53:37 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv2021/src/prelude/PreludeDebug Modified Files: PreludeDebug.hs Log Message: 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 ...
participants (1)
-
olaf@sparud.net