From 73a671dd1ee7629049c302fd259a2e4afa9010d7 Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Thu, 3 Oct 2024 20:37:45 +0100
Subject: [PATCH] More `stdlib/syntax.ml` to `smtml_prelude.ml`
---
src/dune | 11 ++++++++---
src/{stdlib/syntax.ml => smtml_prelude.ml} | 2 ++
2 files changed, 10 insertions(+), 3 deletions(-)
rename src/{stdlib/syntax.ml => smtml_prelude.ml} (98%)
diff --git a/src/dune b/src/dune
index 1d39333e..eeeb059d 100644
--- a/src/dune
+++ b/src/dune
@@ -1,5 +1,11 @@
(include_subdirs unqualified)
+(library
+ (name smtml_prelude)
+ (public_name smtml.prelude)
+ (modules smtml_prelude)
+ (libraries prelude))
+
(library
(name smtml)
(public_name smtml)
@@ -32,7 +38,6 @@
solver
solver_intf
solver_dispatcher
- syntax
smtlib
symbol
statistics
@@ -42,13 +47,13 @@
z3_mappings)
(private_modules lexer parser)
(flags
- (:standard -open Prelude))
+ (:standard -open Smtml_prelude))
(libraries
dolmen
hc
menhirLib
ocaml_intrinsics
- prelude
+ smtml.prelude
rusage
patricia-tree
yojson
diff --git a/src/stdlib/syntax.ml b/src/smtml_prelude.ml
similarity index 98%
rename from src/stdlib/syntax.ml
rename to src/smtml_prelude.ml
index 2ea0a0bc..92e0aae9 100644
--- a/src/stdlib/syntax.ml
+++ b/src/smtml_prelude.ml
@@ -1,3 +1,5 @@
+include Prelude
+
module Option = struct
include Option