diff options
Diffstat (limited to 'lib/syntax/default.ml')
-rw-r--r-- | lib/syntax/default.ml | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml deleted file mode 100644 index d345401..0000000 --- a/lib/syntax/default.ml +++ /dev/null @@ -1,41 +0,0 @@ -(** 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 type T = sig - type t - - val default : t -end - -module Expression (T' : T) = 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' = T'.t - - let ident : (S.pos, T'.t) S.variable -> T'.t = fun _ -> T'.default - - (* - Basic values, text, number… - *) - - let integer : S.pos -> string -> T'.t = fun _ _ -> T'.default - let literal : S.pos -> T'.t T.literal list -> T'.t = fun _ _ -> T'.default - - (** Call a function. The functions list is hardcoded in lib/lexer.mll *) - let function_ : S.pos -> T.function_ -> T'.t list -> T'.t = - fun _ _ _ -> T'.default - - (** Unary operator like [-123] or [+'Text']*) - let uoperator : S.pos -> T.uoperator -> T'.t -> T'.t = fun _ _ _ -> T'.default - - (** Binary operator, for a comparaison, or an operation *) - let boperator : S.pos -> T.boperator -> T'.t -> T'.t -> T'.t = - fun _ _ _ _ -> T'.default -end |