[Agda] Agda darcs patches for additional reporting

Wolfram Kahl kahl at cas.mcmaster.ca
Mon Nov 29 03:12:03 CET 2010


During my quest to localise the source of the segmentation faults that
have been blocking my Agda developments for quite some time now,
I have added some optional reporting (to enable via -v flags)
and made the central reporting function (reportSLn) flush stdout after
it is done.

I include three patches as separate gzipped attachments --- hope these get through!


Wolfram


-------------- next part --------------
A non-text attachment was scrubbed...
Name: stdoutFlush.patch.gz
Type: application/x-gzip
Size: 6941 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20101128/e869cabd/stdoutFlush.patch-0001.gz
-------------- next part --------------
A non-text attachment was scrubbed...
Name: writeInterfaceReport.patch.gz
Type: application/x-gzip
Size: 6572 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20101128/e869cabd/writeInterfaceReport.patch-0001.gz
-------------- next part --------------
A non-text attachment was scrubbed...
Name: generateSyntaxInfo_reportSLn.patch.gz
Type: application/x-gzip
Size: 6828 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20101128/e869cabd/generateSyntaxInfo_reportSLn.patch-0001.gz


More information about the Agda mailing list