diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:35:39 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 15:35:39 -0300 |
| commit | b555c28c7e6c315fc0394baf213ecb08b21ed959 (patch) | |
| tree | a1a181863805d013aafcd5957944790328ce027b /lib/drl/ast.ml | |
| parent | e32ba6294781691846c3ab19281fe977350b4d0f (diff) | |
| download | Sakura-b555c28c7e6c315fc0394baf213ecb08b21ed959.tar.gz Sakura-b555c28c7e6c315fc0394baf213ecb08b21ed959.zip | |
further deletions on drl and prelude
Diffstat (limited to 'lib/drl/ast.ml')
| -rw-r--r-- | lib/drl/ast.ml | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/lib/drl/ast.ml b/lib/drl/ast.ml deleted file mode 100644 index 2fd56e6..0000000 --- a/lib/drl/ast.ml +++ /dev/null @@ -1,26 +0,0 @@ -open Sexplib.Std - -(** Literal values for Const nodes *) -type value = Int of int | Float of float | Str of string | Bool of bool [@@deriving sexp] - -(** Convert an AST value to an AbstractValue.t (Obj.t) via Obj.repr *) -let value_to_abstract : value -> Conventions.AbstractValue.t = function - | Int n -> Obj.repr n - | Float f -> Obj.repr f - | Str s -> Obj.repr s - | Bool b -> Obj.repr b - -type direction = Asc | Desc [@@deriving sexp] - -type query = - | Base of string (** base relation by name *) - | Const of (string * value) list (** constant single-tuple relation *) - | Select of query * query (** σ semijoin: (filter, source) *) - | Join of string list * query * query (** ⋈ natural equijoin on named attrs *) - | Cartesian of query * query (** × Cartesian product *) - | Project of string list * query (** π restrict columns *) - | Rename of (string * string) list * query (** ρ rename (old,new) pairs *) - | Union of query * query (** ∪ — compatible schemas assumed *) - | Diff of query * query (** − *) - | Take of int * query (** τ *) -[@@deriving sexp] |