Updated the interface

1 files changed, 7 insertions, 2 deletions

diff --git a/lib/syntax/tree.ml b/lib/syntax/tree.ml
index d4af905..34baae0 100644
--- a/lib/syntax/tree.ml
+++ b/lib/syntax/tree.ml
@@ -1,12 +1,15 @@
 open StdLabels
 
 module Ast = struct
+  type 'a literal = 'a T.literal = Text of string | Expression of 'a list
+  [@@deriving eq, show]
+
   type 'a variable = { pos : 'a; name : string; index : 'a expression option }
   [@@deriving eq, show]
 
   and 'a expression =
     | Integer of 'a * string
-    | Literal of 'a * string
+    | Literal of 'a * 'a expression literal list
     | Ident of 'a variable
     | BinaryOp of 'a * T.boperator * 'a expression * 'a expression
     | Op of 'a * T.uoperator * 'a expression
@@ -38,7 +41,9 @@ module Expression : S.Expression with type t' = S.pos Ast.expression = struct
 
   let v : t -> t' = fun t -> t
   let integer : S.pos -> string -> t = fun pos i -> Ast.Integer (pos, i)
-  let literal : S.pos -> string -> t = fun pos l -> Ast.Literal (pos, l)
+
+  let literal : S.pos -> t T.literal list -> t =
+   fun pos l -> Ast.Literal (pos, l)
 
   let function_ : S.pos -> T.function_ -> t list -> t =
    fun pos name args -> Ast.Function (pos, name, args)