on master help sign in
Fix for line numbers on type signatures
82a4e9bEdwin Brady
src/Idris/Parser.hs+3−3
@@ -432,8 +432,8 @@ pFunDecl' syn = try (do doc <- option "" (pDocComment '|')
432 opts' <- pFnOpts opts
432 opts' <- pFnOpts opts
433 n_in <- pfName
433 n_in <- pfName
434 let n = expandNS syn n_in
434 let n = expandNS syn n_in
435− ty <- pTSig (impOK syn)
436 fc <- pfc
435 fc <- pfc
436+ ty <- pTSig (impOK syn)
437 pTerminator
437 pTerminator
438-- ty' <- implicit syn n ty
438-- ty' <- implicit syn n ty
439 addAcc n acc
439 addAcc n acc
@@ -1120,8 +1120,8 @@ toTable fs = map (map toBin)
1120 assoc (Infixr _) = AssocRight
1120 assoc (Infixr _) = AssocRight
1121 assoc (InfixN _) = AssocNone
1121 assoc (InfixN _) = AssocNone
1122
1122
1123−binary name f = Infix (do reservedOp name
1123+binary name f = Infix (do fc <- pfc
1124− fc <- pfc;
1124+ reservedOp name
1125 doc <- option "" (pDocComment '^')
1125 doc <- option "" (pDocComment '^')
1126 return (f fc))
1126 return (f fc))
1127prefix name f = Prefix (do reservedOp name
1127prefix name f = Prefix (do reservedOp name