
 0 | module Utils.Show
 1 | 
 2 | import Data.List
 3 | 
 4 | export
 5 | show_record : String -> List (String, String) -> String
 6 | show_record adt_name fields = adt_name <+> " { " <+> (concat $ intersperse "; " $ map (\(a,b) => a <+> " = " <+> b) $ fields) <+> " }"
 7 |