Merge pull request #12 from mhauru/mhauru/fix-broken-export

- Fix broken export - Add Aqua tests - Switch to separate `Project.toml` for the test project
Herb-AI · Oct 23, 2024 · e8521bd · e8521bd
2 parents d9de26b + 86e2a5a
commit e8521bd
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 7 deletions.
diff --git a/Project.toml b/Project.toml
@@ -7,9 +7,3 @@ version = "0.1.0"
 
 [compat]
 julia = "1.8"
-
-[extras]
-Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
-
-[targets]
-test = ["Test"]
diff --git a/src/HerbSpecification.jl b/src/HerbSpecification.jl
@@ -15,7 +15,7 @@ export
     Trace,
 
     AbstractTypeSpecification,
-    DependentTypeSpecification,
+    AbstractDependentTypeSpecification,
     AgdaSpecification
 
 end # module HerbSpecification
diff --git a/test/Project.toml b/test/Project.toml
@@ -0,0 +1,3 @@
+[deps]
+Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -1,6 +1,8 @@
 using HerbSpecification
 using Test
+using Aqua
 
 @testset "HerbSpecification.jl" verbose=true begin
+    @testset "Aqua.jl Checks" Aqua.test_all(HerbSpecification)
     include("test_ioproblem.jl") 
 end