From 9b742e6b0d710b896ab3cceafd2c901b3ca464cc Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 24 Nov 2015 19:30:19 +0000 Subject: [PATCH] modify glosses.hs to merge several examples into one --- src/ui/android/glosses.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ui/android/glosses.hs b/src/ui/android/glosses.hs index cd77e2118..3776d569b 100644 --- a/src/ui/android/glosses.hs +++ b/src/ui/android/glosses.hs @@ -14,8 +14,8 @@ gloss l = _ -> Nothing glossTriples fn s = - (if null gs then [] else ["<"++fn++",gloss,"++show (mergeGloss gs)++">"])++ - ["<"++fn++",example,"++e++">" | e <- es] + (if null gs then [] else ["<"++fn++",gloss,"++show (merge gs)++">"])++ + (if null es then [] else ["<"++fn++",example,"++show (merge (map (init . tail) es))++">"]) where (es,gs) = partition isExample (splitGloss s) @@ -27,6 +27,6 @@ splitGloss s = where trim = reverse . dropWhile isSpace . reverse . dropWhile isSpace -mergeGloss = intercalate "; " +merge = intercalate "; " isExample s = not (null s) && head s == '"' && last s == '"'