Merge pull request #2166 from idris-lang/literal_c
Don't append a literal 'c'
commite2581c957e8955ed648cf7ecc12c8ed306e8a298
authorNiklas Larsson <metaniklas@gmail.com>
dateMon 20 Apr 2015, 18:50 (12 years ago)
parent217c6694d716f6
libs/contrib/Data/String.idr+2−2
@@ -12,7 +12,7 @@ infixr 5 <+
1212||| strSnoc "" 'A'
1313||| ```
1414strSnoc : String -> Char -> String
15−strSnoc s c = s ++ (singleton 'c')
15+strSnoc s c = s ++ (singleton c)
1616
1717||| Alias of `strSnoc`
1818|||
@@ -28,4 +28,4 @@ strSnoc s c = s ++ (singleton 'c')
2828||| 'A' <+ "AB"
2929||| ```
3030(<+) : Char -> String -> String
31−(<+) = strCons
31+(<+) = strCons