From e9bf325d4f3fb8f563fdbe3a959960b06e71bfd8 Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Mon, 21 Sep 2015 15:03:39 -0400
Subject: [PATCH] Improve ding printout in skeleton

---
 lib/Grade/Skeleton.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/lib/Grade/Skeleton.hs b/lib/Grade/Skeleton.hs
index 1fd7970..aa94570 100644
--- a/lib/Grade/Skeleton.hs
+++ b/lib/Grade/Skeleton.hs
@@ -35,4 +35,9 @@ makeSkel (Defs _ sl) =
   prettyDings [] = id
   prettyDings ds = (indent 1 (vcat $ map prettyDing ds) `above`)
 
-  prettyDing (dn, _) = "#:" <> pretty (unDN dn)
+  prettyDing (dn, DingDefn _ _ mult dcl) =
+    (if not (null dcl)
+     then (vcat (empty : map pretty dcl) `above`)
+     else id)
+    $ "#:" <> pretty (unDN dn)
+           <> (if mult then " # repeat as needed" else empty)
-- 
2.50.1