Intended for internal use: Generic representation of
Try to hide some part of the value.
This is used in the evaluation of exercises, when the result is wrong. We would like to show the erroneous part but not the whole result.
time limit for showing error messages
size penalty per errors
global size limit
|-> IO ([GenericData], [(String, String)])|
Collect and number of
Error values and replace them
by an indexed bottom sign.
Repeated errors will get the same number.