1
0
forked from GitHub/gf-core

Merge branch 'master' into master

This commit is contained in:
Aarne Ranta
2018-12-18 19:05:42 +02:00
committed by GitHub

View File

@@ -808,14 +808,14 @@ getCncDepLabels s = wlabels s ++ flabels s
sortBy (comparing fst) . sortBy (comparing fst) .
concatMap analyse . concatMap analyse .
filter chooseW . filter chooseW .
map rmcomments . -- map rmcomments .
lines lines
flabels = flabels =
map Right . map Right .
map collectTags . map collectTags .
map words . map words .
filter chooseF . filter chooseF .
map rmcomments . -- map rmcomments .
lines lines
--- choose is for compatibility with the general notation --- choose is for compatibility with the general notation