RFC 8259 compliance tests

test/compliance/dune

@@ -0,0 +1,16 @@
+(executable
+  (name test)
+  (libraries
+    alcotest
+    yojson
+  )
+)
+
+(alias
+  (name compliance-tests)
+  (deps
+    (:test test.exe)
+    (glob_files test_cases/*)
+  )
+  (action (run %{test} --show-errors))
+)

test/compliance/test.ml

@@ -0,0 +1,51 @@
+let test_cases_dir = "test_cases"
+
+let test ~accepted ~rejected ~dir_name file_name =
+  try
+    let json = Yojson.Basic.from_file @@ Filename.concat dir_name file_name in
+    let pped = Yojson.Basic.show json in
+    accepted file_name pped
+  with
+  | Yojson.Json_error msg ->
+    rejected file_name msg
+
+let pass = fun _ _ -> ()
+
+let fail fmt filename v = Alcotest.failf fmt filename v
+
+let test_parses =
+  test
+    ~accepted:pass
+    ~rejected:(fail "%s is valid JSON but failed with Json_error %s")
+
+let test_rejects =
+  test
+    ~accepted:(fail "%s is invalid JSON but parsed to %s")
+    ~rejected:pass
+
+let test_any =
+  test
+    ~accepted:pass
+    ~rejected:pass
+
+let test_file ~dir_name file_name =
+  match file_name.[0] with
+  | 'y' -> test_parses ~dir_name file_name
+  | 'n' -> test_rejects ~dir_name file_name
+  | 'i' -> test_any ~dir_name file_name
+  | _ -> assert false
+
+let basic =
+  let test_files = Array.to_list @@ Sys.readdir test_cases_dir in
+  let sorted = List.sort String.compare test_files in
+  List.rev_map
+    ( fun base_name ->
+        (base_name, `Quick, fun () -> test_file ~dir_name:test_cases_dir base_name)
+    )
+    sorted
+
+let () =
+  Alcotest.run
+    "RFC 8259 Compliance"
+    [ "Yojson.Basic", basic
+    ]

test/compliance/test_cases/i_number_double_huge_neg_exp.json

@@ -0,0 +1 @@
+[123.456e-789]

test/compliance/test_cases/i_number_huge_exp.json

@@ -0,0 +1 @@
+[0.4e00669999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999969999999006]

test/compliance/test_cases/i_number_neg_int_huge_exp.json

@@ -0,0 +1 @@
+[-1e+9999]

test/compliance/test_cases/i_number_pos_double_huge_exp.json

@@ -0,0 +1 @@
+[1.5e+9999]

test/compliance/test_cases/i_number_real_neg_overflow.json

@@ -0,0 +1 @@
+[-123123e100000]

test/compliance/test_cases/i_number_real_pos_overflow.json

@@ -0,0 +1 @@
+[123123e100000]

test/compliance/test_cases/i_number_real_underflow.json

@@ -0,0 +1 @@
+[123e-10000000]

test/compliance/test_cases/i_number_too_big_neg_int.json

@@ -0,0 +1 @@
+[-123123123123123123123123123123]

test/compliance/test_cases/i_number_too_big_pos_int.json

@@ -0,0 +1 @@
+[100000000000000000000]

test/compliance/test_cases/i_number_very_big_negative_int.json

@@ -0,0 +1 @@
+[-237462374673276894279832749832423479823246327846]

test/compliance/test_cases/i_object_key_lone_2nd_surrogate.json

@@ -0,0 +1 @@
+{"\uDFAA":0}

test/compliance/test_cases/i_string_1st_surrogate_but_2nd_missing.json

@@ -0,0 +1 @@
+["\uDADA"]

test/compliance/test_cases/i_string_1st_valid_surrogate_2nd_invalid.json

@@ -0,0 +1 @@
+["\uD888\u1234"]

test/compliance/test_cases/i_string_UTF-8_invalid_sequence.json

@@ -0,0 +1 @@
+["日ш�"]

test/compliance/test_cases/i_string_UTF8_surrogate_U+D800.json

@@ -0,0 +1 @@
+["���"]

test/compliance/test_cases/i_string_incomplete_surrogate_and_escape_valid.json

@@ -0,0 +1 @@
+["\uD800\n"]

test/compliance/test_cases/i_string_incomplete_surrogate_pair.json

@@ -0,0 +1 @@
+["\uDd1ea"]

test/compliance/test_cases/i_string_incomplete_surrogates_escape_valid.json

@@ -0,0 +1 @@
+["\uD800\uD800\n"]

test/compliance/test_cases/i_string_invalid_lonely_surrogate.json

@@ -0,0 +1 @@
+["\ud800"]

test/compliance/test_cases/i_string_invalid_surrogate.json

@@ -0,0 +1 @@
+["\ud800abc"]

test/compliance/test_cases/i_string_invalid_utf-8.json

@@ -0,0 +1 @@
+["�"]

test/compliance/test_cases/i_string_inverted_surrogates_U+1D11E.json

@@ -0,0 +1 @@
+["\uDd1e\uD834"]

test/compliance/test_cases/i_string_iso_latin_1.json

@@ -0,0 +1 @@
+["�"]

test/compliance/test_cases/i_string_lone_second_surrogate.json

@@ -0,0 +1 @@
+["\uDFAA"]

test/compliance/test_cases/i_string_lone_utf8_continuation_byte.json

@@ -0,0 +1 @@
+["�"]

test/compliance/test_cases/i_string_not_in_unicode_range.json

@@ -0,0 +1 @@
+["����"]

test/compliance/test_cases/i_string_overlong_sequence_2_bytes.json

@@ -0,0 +1 @@
+["��"]

test/compliance/test_cases/i_string_overlong_sequence_6_bytes.json

@@ -0,0 +1 @@
+["������"]

test/compliance/test_cases/i_string_overlong_sequence_6_bytes_null.json

@@ -0,0 +1 @@
+["������"]

test/compliance/test_cases/i_string_truncated-utf-8.json

@@ -0,0 +1 @@
+["��"]

test/compliance/test_cases/i_structure_500_nested_arrays.json

@@ -0,0 +1 @@
+[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

test/compliance/test_cases/i_structure_UTF-8_BOM_empty_object.json

@@ -0,0 +1 @@
+{}

test/compliance/test_cases/n_array_1_true_without_comma.json

@@ -0,0 +1 @@
+[1 true]

test/compliance/test_cases/n_array_a_invalid_utf8.json

@@ -0,0 +1 @@
+[a�]

test/compliance/test_cases/n_array_colon_instead_of_comma.json

@@ -0,0 +1 @@
+["": 1]

test/compliance/test_cases/n_array_comma_after_close.json

@@ -0,0 +1 @@
+[""],

test/compliance/test_cases/n_array_comma_and_number.json

@@ -0,0 +1 @@
+[,1]

test/compliance/test_cases/n_array_double_comma.json

@@ -0,0 +1 @@
+[1,,2]

test/compliance/test_cases/n_array_double_extra_comma.json

@@ -0,0 +1 @@
+["x",,]

test/compliance/test_cases/n_array_extra_close.json

@@ -0,0 +1 @@
+["x"]]

test/compliance/test_cases/n_array_extra_comma.json

@@ -0,0 +1 @@
+["",]

test/compliance/test_cases/n_array_incomplete.json

@@ -0,0 +1 @@
+["x"

test/compliance/test_cases/n_array_incomplete_invalid_value.json

@@ -0,0 +1 @@
+[x

test/compliance/test_cases/n_array_inner_array_no_comma.json

@@ -0,0 +1 @@
+[3[4]]

test/compliance/test_cases/n_array_invalid_utf8.json

@@ -0,0 +1 @@
+[�]

test/compliance/test_cases/n_array_items_separated_by_semicolon.json

@@ -0,0 +1 @@
+[1:2]

test/compliance/test_cases/n_array_just_comma.json

@@ -0,0 +1 @@
+[,]

test/compliance/test_cases/n_array_just_minus.json

@@ -0,0 +1 @@
+[-]

test/compliance/test_cases/n_array_missing_value.json

@@ -0,0 +1 @@
+[   , ""]

test/compliance/test_cases/n_array_newlines_unclosed.json

@@ -0,0 +1,3 @@
+["a",
+4
+,1,

test/compliance/test_cases/n_array_number_and_comma.json

@@ -0,0 +1 @@
+[1,]

test/compliance/test_cases/n_array_number_and_several_commas.json

@@ -0,0 +1 @@
+[1,,]

test/compliance/test_cases/n_array_spaces_vertical_tab_formfeed.json

@@ -0,0 +1 @@
+["a"\f]

test/compliance/test_cases/n_array_star_inside.json

@@ -0,0 +1 @@
+[*]

test/compliance/test_cases/n_array_unclosed.json

@@ -0,0 +1 @@
+[""

test/compliance/test_cases/n_array_unclosed_trailing_comma.json

@@ -0,0 +1 @@
+[1,

test/compliance/test_cases/n_array_unclosed_with_new_lines.json

@@ -0,0 +1,3 @@
+[1,
+1
+,1

test/compliance/test_cases/n_array_unclosed_with_object_inside.json

@@ -0,0 +1 @@
+[{}

test/compliance/test_cases/n_incomplete_false.json

@@ -0,0 +1 @@
+[fals]

test/compliance/test_cases/n_incomplete_null.json

@@ -0,0 +1 @@
+[nul]

test/compliance/test_cases/n_incomplete_true.json

@@ -0,0 +1 @@
+[tru]

test/compliance/test_cases/n_number_++.json

@@ -0,0 +1 @@
+[++1234]

test/compliance/test_cases/n_number_+1.json

@@ -0,0 +1 @@
+[+1]

test/compliance/test_cases/n_number_+Inf.json

@@ -0,0 +1 @@
+[+Inf]

test/compliance/test_cases/n_number_-01.json

@@ -0,0 +1 @@
+[-01]

test/compliance/test_cases/n_number_-1.0..json

@@ -0,0 +1 @@
+[-1.0.]

test/compliance/test_cases/n_number_-2..json

@@ -0,0 +1 @@
+[-2.]

test/compliance/test_cases/n_number_-NaN.json

@@ -0,0 +1 @@
+[-NaN]

test/compliance/test_cases/n_number_.-1.json

@@ -0,0 +1 @@
+[.-1]

test/compliance/test_cases/n_number_.2e-3.json

@@ -0,0 +1 @@
+[.2e-3]

test/compliance/test_cases/n_number_0.1.2.json

@@ -0,0 +1 @@
+[0.1.2]

test/compliance/test_cases/n_number_0.3e+.json

@@ -0,0 +1 @@
+[0.3e+]

test/compliance/test_cases/n_number_0.3e.json

@@ -0,0 +1 @@
+[0.3e]

test/compliance/test_cases/n_number_0.e1.json

@@ -0,0 +1 @@
+[0.e1]

test/compliance/test_cases/n_number_0_capital_E+.json

@@ -0,0 +1 @@
+[0E+]

test/compliance/test_cases/n_number_0_capital_E.json

@@ -0,0 +1 @@
+[0E]

test/compliance/test_cases/n_number_0e+.json

@@ -0,0 +1 @@
+[0e+]

test/compliance/test_cases/n_number_0e.json

@@ -0,0 +1 @@
+[0e]

test/compliance/test_cases/n_number_1.0e+.json

@@ -0,0 +1 @@
+[1.0e+]

test/compliance/test_cases/n_number_1.0e-.json

@@ -0,0 +1 @@
+[1.0e-]

test/compliance/test_cases/n_number_1.0e.json

@@ -0,0 +1 @@
+[1.0e]

test/compliance/test_cases/n_number_1_000.json

@@ -0,0 +1 @@
+[1 000.0]

test/compliance/test_cases/n_number_1eE2.json

@@ -0,0 +1 @@
+[1eE2]

test/compliance/test_cases/n_number_2.e+3.json

@@ -0,0 +1 @@
+[2.e+3]

test/compliance/test_cases/n_number_2.e-3.json

@@ -0,0 +1 @@
+[2.e-3]

test/compliance/test_cases/n_number_2.e3.json

@@ -0,0 +1 @@
+[2.e3]

test/compliance/test_cases/n_number_9.e+.json

@@ -0,0 +1 @@
+[9.e+]

test/compliance/test_cases/n_number_Inf.json

@@ -0,0 +1 @@
+[Inf]

test/compliance/test_cases/n_number_NaN.json

@@ -0,0 +1 @@
+[NaN]

test/compliance/test_cases/n_number_U+FF11_fullwidth_digit_one.json

@@ -0,0 +1 @@
+[１]

test/compliance/test_cases/n_number_expression.json

@@ -0,0 +1 @@
+[1+2]

test/compliance/test_cases/n_number_hex_1_digit.json

@@ -0,0 +1 @@
+[0x1]

test/compliance/test_cases/n_number_hex_2_digits.json

@@ -0,0 +1 @@
+[0x42]

test/compliance/test_cases/n_number_infinity.json

@@ -0,0 +1 @@
+[Infinity]

test/compliance/test_cases/n_number_invalid+-.json

@@ -0,0 +1 @@
+[0e+-1]

test/compliance/test_cases/n_number_invalid-negative-real.json

@@ -0,0 +1 @@
+[-123.123foo]

test/compliance/test_cases/n_number_invalid-utf-8-in-bigger-int.json

@@ -0,0 +1 @@
+[123�]

test/compliance/test_cases/n_number_invalid-utf-8-in-exponent.json

@@ -0,0 +1 @@
+[1e1�]

test/compliance/test_cases/n_number_invalid-utf-8-in-int.json

@@ -0,0 +1 @@
+[0�]

test/compliance/test_cases/n_number_minus_infinity.json

@@ -0,0 +1 @@
+[-Infinity]

test/compliance/test_cases/n_number_minus_sign_with_trailing_garbage.json

@@ -0,0 +1 @@
+[-foo]

test/compliance/test_cases/n_number_minus_space_1.json

@@ -0,0 +1 @@
+[- 1]

test/compliance/test_cases/n_number_neg_int_starting_with_zero.json

@@ -0,0 +1 @@
+[-012]

test/compliance/test_cases/n_number_neg_real_without_int_part.json

@@ -0,0 +1 @@
+[-.123]

test/compliance/test_cases/n_number_neg_with_garbage_at_end.json

@@ -0,0 +1 @@
+[-1x]

test/compliance/test_cases/n_number_real_garbage_after_e.json

@@ -0,0 +1 @@
+[1ea]

test/compliance/test_cases/n_number_real_with_invalid_utf8_after_e.json

@@ -0,0 +1 @@
+[1e�]

test/compliance/test_cases/n_number_real_without_fractional_part.json

@@ -0,0 +1 @@
+[1.]

test/compliance/test_cases/n_number_starting_with_dot.json

@@ -0,0 +1 @@
+[.123]