(** Default implementation which does nothing. 

This module is expected to be used when you only need to implement an analyze
over a limited part of the whole syntax. *)

module Expression = struct
  (** 
      Describe a variable, using the name in capitalized text, and an optionnal
      index.

      If missing, the index should be considered as [0].
   *)

  type t = unit
  type t' = unit

  let ident : (S.pos, t S.repr) S.variable -> t S.repr =
   fun _ report -> ((), report)

  (*
        Basic values, text, number…
   *)

  let integer : S.pos -> string -> t S.repr = fun _ _ report -> ((), report)
  let literal : S.pos -> string -> t S.repr = fun _ _ report -> ((), report)

  (** Call a function. The functions list is hardcoded in lib/lexer.mll *)
  let function_ : S.pos -> T.function_ -> t S.repr list -> t S.repr =
   fun _ _ _ report -> ((), report)

  (** Unary operator like [-123] or [+'Text']*)
  let uoperator : S.pos -> T.uoperator -> t S.repr -> t S.repr =
   fun _ _ _ report -> ((), report)

  (** Binary operator, for a comparaison, or an operation *)
  let boperator : S.pos -> T.boperator -> t S.repr -> t S.repr -> t S.repr =
   fun _ _ _ _ report -> ((), report)
end