with x <- 1 do :ok else _ -> \n;a end

[mhanberg]

  1) property ascii comprehensions/with inside for/with generators and filters/else (Spitfire.CharPropertyTest)
     Parameters: %{mode: :strict}
     test/property/char_property_test.exs:1682
     Failed with generated values (after 689 successful runs):

         * Clause:    {context, code} <- comp_contexts
           Generated: {"with_else_body", "with x <- 1 do :ok else _ -> \n;a end"}

     AST mismatch in context with_else_body for code: "with x <- 1 do :ok else _ -> \n;a end"

     Elixir:
     {:with,
      [do: [line: 1, column: 13], end: [line: 2, column: 4], line: 1, column: 1],
      [
        {:<-, [line: 1, column: 8], [{:x, [line: 1, column: 6], nil}, 1]},
        [
          do: :ok,
          else: [
            {:->, [newlines: 1, line: 1, column: 27],
             [
               [{:_, [line: 1, column: 25], nil}],
               {:__block__, [], [nil, {:a, [line: 2, column: 2], nil}]}
             ]}
          ]
        ]
      ]}

     Spitfire:
     {:with,
      [do: [line: 1, column: 13], end: [line: 2, column: 4], line: 1, column: 1],
      [
        {:<-, [line: 1, column: 8], [{:x, [line: 1, column: 6], nil}, 1]},
        [
          do: :ok,
          else: [
            {:->, [newlines: 1, line: 1, column: 27],
             [[{:_, [line: 1, column: 25], nil}], {:a, [line: 2, column: 2], nil}]}
          ]
        ]
      ]}

     code: check all({context, code} <- comp_contexts, max_runs: 1000, max_shrinking_steps: 50) do
     stacktrace:
       test/property/char_property_test.exs:1693: anonymous fn/3 in Spitfire.CharPropertyTest."property ascii comprehensions/with inside for/with generators and filters/else"/1
       (stream_data 1.2.0) lib/stream_data.ex:2414: StreamData.shrink_failure/6
       (stream_data 1.2.0) lib/stream_data.ex:2374: StreamData.check_all/7
       test/property/char_property_test.exs:1692: (test)

...............................

  2) property ascii comprehensions/with inside for/with generators and filters/else (Spitfire.CharPropertyTest)
     Parameters: %{mode: :tolerant}
     test/property/char_property_test.exs:1682
     Failed with generated values (after 689 successful runs):

         * Clause:    {context, code} <- comp_contexts
           Generated: {"with_else_body", "with x <- 1 do :ok else _ -> \n;a end"}

     AST mismatch in context with_else_body for code: "with x <- 1 do :ok else _ -> \n;a end"

     Elixir:
     {:with,
      [do: [line: 1, column: 13], end: [line: 2, column: 4], line: 1, column: 1],
      [
        {:<-, [line: 1, column: 8], [{:x, [line: 1, column: 6], nil}, 1]},
        [
          do: :ok,
          else: [
            {:->, [newlines: 1, line: 1, column: 27],
             [
               [{:_, [line: 1, column: 25], nil}],
               {:__block__, [], [nil, {:a, [line: 2, column: 2], nil}]}
             ]}
          ]
        ]
      ]}

     Spitfire:
     {:with,
      [do: [line: 1, column: 13], end: [line: 2, column: 4], line: 1, column: 1],
      [
        {:<-, [line: 1, column: 8], [{:x, [line: 1, column: 6], nil}, 1]},
        [
          do: :ok,
          else: [
            {:->, [newlines: 1, line: 1, column: 27],
             [[{:_, [line: 1, column: 25], nil}], {:a, [line: 2, column: 2], nil}]}
          ]
        ]
      ]}

     code: check all({context, code} <- comp_contexts, max_runs: 1000, max_shrinking_steps: 50) do
     stacktrace:
       test/property/char_property_test.exs:1693: anonymous fn/3 in Spitfire.CharPropertyTest."property ascii comprehensions/with inside for/with generators and filters/else"/1
       (stream_data 1.2.0) lib/stream_data.ex:2414: StreamData.shrink_failure/6
       (stream_data 1.2.0) lib/stream_data.ex:2374: StreamData.check_all/7
       test/property/char_property_test.exs:1692: (test)