From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Mon, 21 Sep 2015 19:03:39 +0000 (-0400)
Subject: Improve ding printout in skeleton
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=e9bf325d4f3fb8f563fdbe3a959960b06e71bfd8;p=grade

Improve ding printout in skeleton
---

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)