implementation module DebugUtilities; //from StdString import /*String,*/ +++; import StdString; from StdFile import fwrites, stderr; E a b :== b; F a b :== b; FL a b :== b; FB _ _ b :== b; FNONL _ b :== b; // Auxillary functions /* E :: !a .b -> .b; E a b = b; F :: !String .b -> .b; F s b = E (fwrites (s +++ "\n") stderr) b; FL :: [!String] .b -> .b; FL l b #! s_l = loop l; = /*F ("---\n" +++ s_l)*/ b; where { loop [] = ""; loop [s:ss] = s +++ "\n" +++ (loop ss); } FNONL :: !String .b -> .b; FNONL s b = b;//E (fwrites s stderr) b; FB :: !Bool !String .b -> .b; FB cond s b | cond = F s b; = b; */