git.iko.soy/Idris-dev
on master help sign in
CHANGELOG version edit
commit6d9ef7bde07a43fc4b5277c4682aa8dae5af124f authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 20 Jan 2016, 17:40 (11 years ago) parentde57888
2 files changed+2−2
compare with master
unifiedsplit
CHANGELOG+1−1 src/Idris/Parser.hs+1−1
CHANGELOG+1−1
@@ -1,4 +1,4 @@
1−New in 0.9.21:
1+New in 0.10:
22==============
33
44* 'class' and 'instance' are now deprecated keywords. They have been
src/Idris/Parser.hs+1−1
@@ -930,7 +930,7 @@ instance_ kwopt syn
930930 fc <- getFC
931931 ist <- get
932932 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.")
934934 : parserWarnings ist }
935935
936936