aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/t.ml
diff options
context:
space:
mode:
authorChimrod <>2023-11-13 10:12:42 +0100
committerChimrod <>2023-11-13 11:54:49 +0100
commit4ec7f0b73f8aa43eccf387bdec55fc464d809896 (patch)
tree9cf31bee4b23e4d48bdbd33bee49f2c25a6334a7 /lib/syntax/t.ml
parent0d5bcaea3370697822675d9f8d25bca34c02505e (diff)
Simplified the representation of expressions in strings
Diffstat (limited to 'lib/syntax/t.ml')
-rw-r--r--lib/syntax/t.ml8
1 files changed, 2 insertions, 6 deletions
diff --git a/lib/syntax/t.ml b/lib/syntax/t.ml
index 38ad5b0..c50d2e2 100644
--- a/lib/syntax/t.ml
+++ b/lib/syntax/t.ml
@@ -2,14 +2,10 @@
This module contains the basic operators used in the QSP syntax.
*)
-open StdLabels
-
-type 'a literal = Text of string | Expression of 'a list
+type 'a literal = Text of string | Expression of 'a
let map_litteral : f:('a -> 'b) -> 'a literal -> 'b literal =
- fun ~f -> function
- | Text t -> Text t
- | Expression e -> Expression (List.map ~f e)
+ fun ~f -> function Text t -> Text t | Expression e -> Expression (f e)
type boperator =
| Eq