Merge pull request #886 from Melvar/append-fixity
Make (++) right associative
commitd0343ee553fc94e43ca04d5ad8fe8b2256f56519
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 18 Feb 2014, 11:10 (13 years ago)
parentf98d1387c9cc16
libs/javascript/JavaScript/JSON.idr−2
@@ -36,8 +36,6 @@ index : (i : Fin n) -> JSON (JSONArray n ts) -> JSON (index i ts)
3636index fZ (JSArray (x :: xs)) = x
3737index (fS i) (JSArray (x :: xs)) = index i (JSArray xs)
3838
39−infixl 8 ++
40−
4139(++) : JSON (JSONArray m ts1) ->
4240 JSON (JSONArray n ts2) ->
4341 JSON (JSONArray (m + n) (ts1 ++ ts2))
libs/prelude/Prelude/List.idr+1−2
@@ -12,8 +12,7 @@ import Prelude.Nat
1212%access public
1313%default total
1414
15−infixr 7 ::
16−infixl 8 ++
15+infixr 7 ::,++
1716
1817%elim data List a
1918 = Nil