Improve ding printout in skeleton

diff --git a/lib/Grade/Skeleton.hs b/lib/Grade/Skeleton.hs
index 1fd79700dd0c8c752e4871ec6b6260c1dcf566e0..aa9457080b55b740747549bf77cf78d59e5512db 100644 (file)
--- 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)