Intended for internal use: Generic representation of Data
vales.
- mistify :: GenericData -> GenericData
- numberErrors :: TimeLimit -> SizeLimit -> SizeLimit -> [GenericData] -> IO ([GenericData], [(String, String)])
Documentation
mistify :: GenericData -> GenericDataSource
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.
:: TimeLimit | time limit for showing error messages |
-> SizeLimit | size penalty per errors |
-> SizeLimit | global size limit |
-> [GenericData] | |
-> 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.