@@ -39,11 +39,10 @@ compressSeparators str
39 | isPrefixOf "'" str = head str : retainConstants compressSeparators "'" (drop 1 str)
39 | isPrefixOf "'" str = head str : retainConstants compressSeparators "'" (drop 1 str)
40 | stripFirst = compressSeparators (drop 1 str)
40 | stripFirst = compressSeparators (drop 1 str)
41 | stripSecond = compressSeparators (head str : (drop 2 str))
41 | stripSecond = compressSeparators (head str : (drop 2 str))
42− | isPrefixOf ";}" str = '}' : compressSeparators (drop 2 str)
43 | otherwise = head str : compressSeparators (drop 1 str)
42 | otherwise = head str : compressSeparators (drop 1 str)
45 prefix p = isPrefixOf p str
44 prefix p = isPrefixOf p str
46− stripFirst = or $ map prefix [" ", " {", " }", ";;"]
45+ stripFirst = or $ map prefix [" ", " {", " }", ";;", ";}"]
47 stripSecond = or $ map prefix ["{ ", "} ", "; "]
46 stripSecond = or $ map prefix ["{ ", "} ", "; "]
49--------------------------------------------------------------------------------
48--------------------------------------------------------------------------------