on master help sign in
CHANGELOG version edit
6d9ef7bEdwin Brady
CHANGELOG+1−1
@@ -1,4 +1,4 @@
1−New in 0.9.21:
1+New in 0.10:
2==============
2==============
3
3
4* 'class' and 'instance' are now deprecated keywords. They have been
4* 'class' and 'instance' are now deprecated keywords. They have been
src/Idris/Parser.hs+1−1
@@ -930,7 +930,7 @@ instance_ kwopt syn
930 fc <- getFC
930 fc <- getFC
931 ist <- get
931 ist <- get
932 put ist { parserWarnings =
932 put ist { parserWarnings =
933− (fc, Msg "The 'instance' keyword is deprecated. Use 'implementation' instead.")
933+ (fc, Msg "The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.")
934 : parserWarnings ist }
934 : parserWarnings ist }
935
935
936
936