summaryrefslogtreecommitdiff
path: root/css/lib/location.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-02-04 21:14:01 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 14:37:57 +0100
commit86ec559f913c389e8dc055b494630f21a45e039b (patch)
tree822341b481695c9bf8b39f8b8fcbdeef56e629d6 /css/lib/location.ml
parent03f8a08fe2dde9db9fb656dbea2e5494b67236ad (diff)
css_merge application
Diffstat (limited to 'css/lib/location.ml')
-rwxr-xr-xcss/lib/location.ml19
1 files changed, 19 insertions, 0 deletions
diff --git a/css/lib/location.ml b/css/lib/location.ml
new file mode 100755
index 0000000..23e9c49
--- /dev/null
+++ b/css/lib/location.ml
@@ -0,0 +1,19 @@
+type t = {
+
+ loc_start : Lexing.position;
+ loc_end : Lexing.position;
+ loc_ghost : bool;
+}
+
+let none =
+ { loc_start = Lexing.dummy_pos
+ ; loc_end = Lexing.dummy_pos
+ ; loc_ghost = true
+ }
+
+let register_error_of_exn _ = ()
+
+let error ~loc ?(sub=[]) _ =
+ let _ = loc
+ and _ = sub in
+ ()