@@ -520,20 +520,10 @@ notOpenBraces = do ist <- get
520520
521521{- | Parses an accessibilty modifier (e.g. public, private) -}
522522accessibility' :: IdrisParser Accessibility
523−accessibility'
524− = do fc <- extent $ reserved "public"
525− gotexp <- optional (reserved "export")
526− case gotexp of
527− Just _ -> return ()
528− Nothing -> do
529− ist <- get
530− put ist { parserWarnings =
531− (fc, Msg "'public' is deprecated. Use 'public export' instead.")
532− : parserWarnings ist }
533− return Public
534− <|> do reserved "export"; return Frozen
535− <|> do reserved "private"; return Private
536− <?> "accessibility modifier"
523+accessibility' = Public <$ reserved "public" <* reserved "export"
524+ <|> Frozen <$ reserved "export"
525+ <|> Private <$ reserved "private"
526+ <?> "accessibility modifier"
537527
538528accessibility :: IdrisParser Accessibility
539529accessibility = do acc <- optional accessibility'