quickspec-0.9.1: src/Test/QuickSpec/errors.h
-- Inspired by Agda's undefined.h
#define __ (ERROR "no error message given")
#define ERROR (\msg -> error ("Error at file " ++ __FILE__ ++ ", line " ++ show __LINE__ ++ ": " ++ msg))
-- Inspired by Agda's undefined.h
#define __ (ERROR "no error message given")
#define ERROR (\msg -> error ("Error at file " ++ __FILE__ ++ ", line " ++ show __LINE__ ++ ": " ++ msg))