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/sublanguage.ml | |
| parent | e32ba6294781691846c3ab19281fe977350b4d0f (diff) | |
| download | Sakura-b555c28c7e6c315fc0394baf213ecb08b21ed959.tar.gz Sakura-b555c28c7e6c315fc0394baf213ecb08b21ed959.zip | |
further deletions on drl and prelude
Diffstat (limited to 'lib/drl/sublanguage.ml')
| -rw-r--r-- | lib/drl/sublanguage.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml deleted file mode 100644 index d5c5977..0000000 --- a/lib/drl/sublanguage.ml +++ /dev/null @@ -1,11 +0,0 @@ -module Make (NT : Nt.S) = struct - module Exec = Executor.Make (NT) - - type configuration = unit - type ast = Ast.query - - let name = "drl" - let parse _ = Ok () - let parse_sexp sexp = Parser.of_sexp sexp - let execute ctx ast = Exec.execute ctx ast -end |