57b64a7 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Remove deprecated 'public' without 'export'

57b64a7Jason Felice9 years ago

CHANGELOG.md+4−3

compare with master

unifiedsplit

@@ -31,9 +31,10 @@

31 intMax : IO Int

32 intMax = foreign FFI_C "#INT_MAX" (IO Int)

33 ```

34−+ The deprecated keywords `%assert_total`, `abstract`, and `[static]` have been

34++ The deprecated keywords `%assert_total`, `abstract`, and `[static]` have

35− removed.

35+ been removed as well as the use of "public" instead of "public export" to

36−

36+ expose a symbol.

37+

37## Library Updates

38## Library Updates

39+ Removed `oldeffects` library from `libs` folder, use `effects` or `Control.ST` instead.

40+ Removed `oldeffects` library from `libs` folder, use `effects` or `Control.ST` instead.

src/Idris/Parser/Helpers.hs+4−14

@@ -520,20 +520,10 @@ notOpenBraces = do ist <- get

520

521{- | Parses an accessibilty modifier (e.g. public, private) -}

522accessibility' :: IdrisParser Accessibility

523−accessibility'

523+accessibility' = Public <$ reserved "public" <* reserved "export"

524− = do fc <- extent $ reserved "public"

524+ <|> Frozen <$ reserved "export"

525− gotexp <- optional (reserved "export")

525+ <|> Private <$ reserved "private"

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"

526+ <?> "accessibility modifier"

537

527

538accessibility :: IdrisParser Accessibility

528accessibility :: IdrisParser Accessibility

539accessibility = do acc <- optional accessibility'

529accessibility = do acc <- optional accessibility'