module Check = Make_checkTest.M (Qsp_syntax.Locations)

let _position = (Lexing.dummy_pos, Lexing.dummy_pos)

let error_message =
  [
    ( "Location",
      Check.
        {
          level = Error;
          loc = _position;
          message = "The location unknown_place does not exists";
        } );
  ]

let ok () = Check.global_check "gt 'location'" []
let ok_upper () = Check.global_check "gt 'LOCATION'" []
let missing_gt () = Check.global_check "gt 'unknown_place'" error_message
let missing_gs () = Check.global_check "gs 'unknown_place'" error_message

let test =
  ( "Locations",
    [
      Alcotest.test_case "Ok" `Quick ok;
      Alcotest.test_case "Ok upper" `Quick ok_upper;
      Alcotest.test_case "Missing GT" `Quick missing_gt;
      Alcotest.test_case "Missing GS" `Quick missing_gs;
    ] )