Merge pull request #689 from epatters/unused-type-params

Fix unused type parameters related to acset schemas
AlgebraicJulia · Oct 7, 2022 · 623abd9 · 623abd9
2 parents 36b591b + 3da8fe3
commit 623abd9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/acsets/DenseACSets.jl b/src/acsets/DenseACSets.jl
@@ -256,7 +256,7 @@ function AnonACSetType(
   end
 end
 
-function ACSetTableSchema(s::Schema{Symbol}, ob::Symbol) where {S}
+function ACSetTableSchema(s::Schema{Symbol}, ob::Symbol)
   attrs = filter(Schemas.attrs(s)) do (f,d,c)
     d == ob
   end
@@ -396,7 +396,7 @@ end
 @inline ACSetInterface.incident(acs::StructACSet{S}, ::Colon, f::Symbol; unbox_injective=true) where {S} =
   _incident(acs, Val{S}, :, Val{f}, unbox_injective)
 
-ACSetInterface.incident(acs::DynamicACSet, ::Colon, f::Symbol; unbox_injective=true) where {S} =
+ACSetInterface.incident(acs::DynamicACSet, ::Colon, f::Symbol; unbox_injective=true) =
   runtime(_incident, acs, acs.schema, :, f, unbox_injective)
 
 @ct_enable function _incident(acs::SimpleACSet, @ct(S), ::Colon, @ct(f), unbox_injective)

diff --git a/src/categorical_algebra/DataMigrations.jl b/src/categorical_algebra/DataMigrations.jl
@@ -459,7 +459,7 @@ end
 Returns a `FreeDiagram` whose objects are the generating objects of `pres` and 
 whose homs are the generating homs of `pres`.
 """
-function FreeDiagrams.FreeDiagram(pres::Presentation{ThSchema, Symbol}) where Schema
+function FreeDiagrams.FreeDiagram(pres::Presentation{ThSchema, Symbol})
   obs = Array{FreeSchema.Ob}(generators(pres, :Ob))
   homs = Array{FreeSchema.Hom}(generators(pres, :Hom))
   doms = map(h -> generator_index(pres, nameof(dom(h))), homs)