@@ -97,7 +97,7 @@ pipeSep1 :: IParser a -> IParser [a]
97pipeSep1 = spaceySepBy1 (char '|' <?> "type divider '|'")
97pipeSep1 = spaceySepBy1 (char '|' <?> "type divider '|'")
99consSep1 :: IParser a -> IParser [a]
99consSep1 :: IParser a -> IParser [a]
100−consSep1 = spaceySepBy1 (char ':' <?> "cons operator ':'")
100+consSep1 = spaceySepBy1 (string "::" <?> "cons operator '::'")
102dotSep1 :: IParser a -> IParser [a]
102dotSep1 :: IParser a -> IParser [a]
103dotSep1 p = (:) <$> p <*> many (try (char '.') >> p)
103dotSep1 p = (:) <$> p <*> many (try (char '.') >> p)