Searched refs:Info_CompilationError (Results 1 – 3 of 3) sorted by relevance
129 | Info_CompilationError [TCWarning] constructor
298 showInfoError (Info_CompilationError warnings) = do
510 w@(_:_) -> display_info $ Info_Error $ Info_CompilationError w