refactor: add diagnostics for validation

1. Add new sdml_error crate.
2. Add new diagnostic functions and reporters.
3. Start wiring in error messages to the Validate trait.
4. Separate MaybeIncomplete trait from Validate.
5. Add i18n support for error text.

Cargo.toml

@@ -4,6 +4,7 @@ resolver = "2"
 
 members = [
     "sdml-core",
+    "sdml_error",
     "sdml-parse",
     "sdml-generate",
     "sdml-cli",

examples/errors/e0101.sdm

@@ -0,0 +1,5 @@
+module example <https://example.com/api> is
+
+  import other
+
+end

examples/errors/e0102.sdm

@@ -0,0 +1,5 @@
+module example <https://example.com/api> is
+
+  import nonversioned_other <https://example.com/api/v2>
+
+end

examples/errors/e0103.sdm

@@ -0,0 +1,5 @@
+module example <https://example.com/api> is
+
+  import versioned_other <https://example.com/api/v3>
+
+end

examples/errors/e0104.sdm

@@ -0,0 +1,9 @@
+module example <https://example.com/api> is
+
+  structure Foo
+
+  structure Bar
+
+  structure Foo
+
+end

examples/errors/e0105.sdm

@@ -0,0 +1,9 @@
+module example <https://example.com/api> is
+
+  structure Foo is
+    foo -> string
+    bar -> integer
+    foo -> boolean
+  end
+
+end

examples/errors/e0106-enum.sdm

@@ -0,0 +1,9 @@
+module example <https://example.com/api> is
+
+  enum EnumFoo of
+    Foo
+    Bar
+    Foo
+  end
+
+end

examples/errors/e0106-rename.sdm

@@ -0,0 +1,9 @@
+module example <https://example.com/api> is
+
+  union UnionFoo of
+    Foo
+    Bar
+    Boo as Foo
+  end
+
+end

examples/errors/e0106-union.sdm

@@ -0,0 +1,9 @@
+module example <https://example.com/api> is
+
+  union UnionFoo of
+    Foo
+    Bar
+    Foo
+  end
+
+end

examples/errors/i0500.sdm

@@ -0,0 +1,5 @@
+module example <https://example.com/api> is
+
+  structure Foo
+
+end

examples/errors/i0501.sdm

@@ -0,0 +1,5 @@
+module example <https://example.com/api> is
+
+  structure Foo
+
+end

examples/errors/i0502.sdm

@@ -0,0 +1,7 @@
+module example <https://example.com/api> is
+
+  structure Foo is
+    bar -> unknown
+  end
+
+end

examples/errors/nonversioned_other.sdm

@@ -0,0 +1,2 @@
+module nonversioned_other <https://example.com/api> is
+end

examples/errors/versioned_other.sdm

@@ -0,0 +1,3 @@
+module versioned_other <https://example.com/api>
+       version "v2" <https://example.com/api/v2> is
+end

examples/errors/w0301.sdm

@@ -0,0 +1,7 @@
+module example <https://example.com/api> is
+
+  import owl
+
+  import [ dc xsd owl owl ]
+
+end

examples/errors/w0302.sdm

@@ -0,0 +1,7 @@
+module example <https://example.com/api> is
+
+  import owl:Class
+
+  import [ dc xsd owl:Class ]
+
+end

sdml-cli/Cargo.toml

@@ -18,11 +18,12 @@ targets = ["x86_64-unknown-linux-gnu"]
 all-features = true
 
 [dependencies]
-clap = { version = "4.4.18", features = ["derive", "env", "wrap_help"] }
-clap-verbosity-flag = "2.1.2"
-sdml-core = { version = "0.2.10", path = "../sdml-core" }
-sdml-parse = { version = "0.2.8", path = "../sdml-parse" }
+clap = { version = "4.5", features = ["derive", "env", "wrap_help"] }
+human-panic = "1.2.3"
+sdml-core = { version = "0.2.10", features = ["serde"], path = "../sdml-core" }
+sdml_error = { version = "0.1.0", path = "../sdml_error" }
 sdml-generate = { version = "0.2.7", path = "../sdml-generate" }
+sdml-parse = { version = "0.2.8", path = "../sdml-parse" }
 tracing = "0.1.40"
 tracing-subscriber = { version = "0.3.18", features = ["env-filter"] }
 tree-sitter-sdml = "0.2.12"