git.iko.soy/Idris-dev
on master help sign in
Remove conflicting fixity declaration
7c9cc16Melvar Chen
libs/javascript/JavaScript/JSON.idr−2
compare with master
unifiedsplit
@@ -36,8 +36,6 @@ index : (i : Fin n) -> JSON (JSONArray n ts) -> JSON (index i ts)
36index fZ (JSArray (x :: xs)) = x
36index fZ (JSArray (x :: xs)) = x
37index (fS i) (JSArray (x :: xs)) = index i (JSArray xs)
37index (fS i) (JSArray (x :: xs)) = index i (JSArray xs)
38
38
39−infixl 8 ++
40−
41(++) : JSON (JSONArray m ts1) ->
39(++) : JSON (JSONArray m ts1) ->
42 JSON (JSONArray n ts2) ->
40 JSON (JSONArray n ts2) ->
43 JSON (JSONArray (m + n) (ts1 ++ ts2))
41 JSON (JSONArray (m + n) (ts1 ++ ts2))