fix comment
commit65ba5c5140d99551ad25f83714627ab846df6f04
authorAlex Gryzlov <a.gryzlov@adform.com>
dateFri 19 Jan 2018, 19:22 (9 years ago)
parentc11c55e
src/Idris/Parser/Expr.hs+1−1
@@ -939,7 +939,7 @@ rewriteTerm syn = do keyword "rewrite"
939939 return (PRewrite fc using prf sc giving)
940940 <?> "term rewrite expression"
941941
942−-- | Parse a constant and its source span
942+-- | Parse rig count for linear types
943943rigCount :: Parsing m => m RigCount
944944rigCount = P.option RigW $ do lchar '1'; return Rig1
945945 <|> do lchar '0'; return Rig0