================================================================================
constant pattern
================================================================================

let x = 1

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (value_declaration_left
        (identifier_pattern
          (long_identifier_or_op
            (identifier))))
      (const
        (int)))))

================================================================================
tuple pattern
================================================================================

let (x,y) = (1,2)

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (value_declaration_left
        (paren_pattern
          (repeat_pattern
            (identifier_pattern
              (long_identifier_or_op
                (identifier)))
            (identifier_pattern
              (long_identifier_or_op
                (identifier))))))
      (paren_expression
        (tuple_expression
          (const
            (int))
          (const
            (int)))))))

================================================================================
typed pattern
================================================================================

let name (x : int) = 1

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (function_declaration_left
        (identifier)
        (argument_patterns
          (typed_pattern
            (identifier_pattern
              (long_identifier_or_op
                (identifier)))
            (type
              (long_identifier
                (identifier))))))
      (const
        (int)))))

================================================================================
typed tuple pattern
================================================================================

let name (x: int, y: string) = 1, "test"

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (function_declaration_left
        (identifier)
        (argument_patterns
          (repeat_pattern
            (typed_pattern
              (identifier_pattern
                (long_identifier_or_op
                  (identifier)))
              (type
                (long_identifier
                  (identifier))))
            (typed_pattern
              (identifier_pattern
                (long_identifier_or_op
                  (identifier)))
              (type
                (long_identifier
                  (identifier)))))))
      (tuple_expression
        (const
          (int))
        (const
          (string))))))

================================================================================
typed pattern with constraints
================================================================================

type A() =
  member _.B(x: 'T when 'T: equality) = ()

--------------------------------------------------------------------------------

(file
  (type_definition
    (anon_type_defn
      (type_name
        (identifier))
      (primary_constr_args)
      (member_defn
        (method_or_prop_defn
          (property_or_ident
            (identifier)
            (identifier))
          (paren_pattern
            (typed_pattern
              (identifier_pattern
                (long_identifier_or_op
                  (identifier)))
              (type
                (type_argument
                  (identifier)))
              (type_argument_constraints
                (constraint
                  (type_argument
                    (identifier))))))
          (const
            (unit)))))))

================================================================================
active pattern 1
================================================================================

module A =
  let (|A|) () = ()

--------------------------------------------------------------------------------

(file
  (module_defn
    (identifier)
    (value_declaration
      (function_or_value_defn
        (function_declaration_left
          (active_pattern
            (active_pattern_op_name))
          (argument_patterns
            (const
              (unit))))
        (const
          (unit))))))

================================================================================
active pattern 2
================================================================================

module A =
  let (|A|B|) () = ()

--------------------------------------------------------------------------------

(file
  (module_defn
    (identifier)
    (value_declaration
      (function_or_value_defn
        (function_declaration_left
          (active_pattern
            (active_pattern_op_name)
            (active_pattern_op_name))
          (argument_patterns
            (const
              (unit))))
        (const
          (unit))))))

================================================================================
partial active pattern
================================================================================

module A =
  let (|A|B|_|) () = ()

--------------------------------------------------------------------------------

(file
  (module_defn
    (identifier)
    (value_declaration
      (function_or_value_defn
        (function_declaration_left
          (active_pattern
            (active_pattern_op_name)
            (active_pattern_op_name)
            (wildcard_active_pattern_op))
          (argument_patterns
            (const
              (unit))))
        (const
          (unit))))))

================================================================================
multiline list patterns
================================================================================

let f =
    match immutQuery with
    | CallJoin([ F(A, B)
                 G([A
                    B; C], C)]) -> ()

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (value_declaration_left
        (identifier_pattern
          (long_identifier_or_op
            (identifier))))
      (match_expression
        (long_identifier_or_op
          (identifier))
        (rules
          (rule
            (identifier_pattern
              (long_identifier_or_op
                (identifier))
              (paren_pattern
                (list_pattern
                  (identifier_pattern
                    (long_identifier_or_op
                      (identifier))
                    (paren_pattern
                      (repeat_pattern
                        (identifier_pattern
                          (long_identifier_or_op
                            (identifier)))
                        (identifier_pattern
                          (long_identifier_or_op
                            (identifier))))))
                  (identifier_pattern
                    (long_identifier_or_op
                      (identifier))
                    (paren_pattern
                      (repeat_pattern
                        (list_pattern
                          (identifier_pattern
                            (long_identifier_or_op
                              (identifier)))
                          (identifier_pattern
                            (long_identifier_or_op
                              (identifier)))
                          (identifier_pattern
                            (long_identifier_or_op
                              (identifier))))
                        (identifier_pattern
                          (long_identifier_or_op
                            (identifier)))))))))
            (const
              (unit))))))))

================================================================================
empty list pattern
================================================================================

let [] = []

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (value_declaration_left
        (list_pattern))
      (list_expression))))

================================================================================
empty array pattern
================================================================================

let [||] = [||]

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (value_declaration_left
        (array_pattern))
      (array_expression))))

================================================================================
Identifier pattern with negative int
================================================================================

let (Some -1) = Some -1

--------------------------------------------------------------------------------

(file
  (value_declaration
    (function_or_value_defn
      (value_declaration_left
        (paren_pattern
          (identifier_pattern
            (long_identifier_or_op
              (identifier))
            (const
              (int)))))
      (application_expression
        (long_identifier_or_op
          (identifier))
        (const
          (int))))))
