Merge pull request #1600 from spechub/extract_list_with_commas

Extract list with commas
spechub · Mar 15, 2016 · 50d93a7 · 50d93a7
2 parents 996ed46 + 6f098ee
commit 50d93a7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Syntax/Parse_AS_Structured.hs b/Syntax/Parse_AS_Structured.hs
@@ -389,8 +389,8 @@ minimization lg = do
 extraction :: LogicGraph -> AParser st EXTRACTION
 extraction lg = do
   p <- asKey extractS <|> asKey removeS
-  is <- many1 (hetIRI lg)
-  return . ExtractOrRemove (tokStr p == extractS) is $ tokPos p
+  (is,commas) <- separatedBy (hetIRI lg) commaT
+  return . ExtractOrRemove (tokStr p == extractS) is $ catRange (p:commas)
 
 filtering :: LogicGraph -> AParser st FILTERING
 filtering lg = do