diff --git a/Clean/Doc.icl b/Clean/Doc.icl index 5d698ca0dce9303b2c72d78198ede8d90cc16c48..f422be077d54342125434f04a0af17a34364710f 100644 --- a/Clean/Doc.icl +++ b/Clean/Doc.icl @@ -151,7 +151,7 @@ where where parser :: Parser Char (!String, ![(!String, !Type)]) parser = skipSpaces *> - pMany (pSatisfy \c -> c <> ':' && not (isSpace c)) >>= \name -> + pMany (pSatisfy ((<>) ':')) >>= \name -> skipSpaces *> pToken ':' *> ((skipSpaces *> pToken 'A' *> pToken '.' *> pMany