@@ -939,7 +939,7 @@ rewriteTerm syn = do keyword "rewrite"
939 return (PRewrite fc using prf sc giving)
939 return (PRewrite fc using prf sc giving)
940 <?> "term rewrite expression"
940 <?> "term rewrite expression"
942−-- | Parse a constant and its source span
942+-- | Parse rig count for linear types
943rigCount :: Parsing m => m RigCount
943rigCount :: Parsing m => m RigCount
944rigCount = P.option RigW $ do lchar '1'; return Rig1
944rigCount = P.option RigW $ do lchar '1'; return Rig1
945 <|> do lchar '0'; return Rig0
945 <|> do lchar '0'; return Rig0