Add musical overload resolution

AlgebraicJulia · Aug 22, 2024 · 6f36ba7 · 6f36ba7
1 parent ed3d20f
commit 6f36ba7
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/deca/deca_acset.jl b/src/deca/deca_acset.jl
@@ -253,6 +253,11 @@ op2_inf_rules_2D = vcat(op2_inf_rules_1D, [
     (src_type = :Form1, tgt_type = :Form0, resolved_name = :δ₁, op = :δ),
     (src_type = :Form2, tgt_type = :Form1, resolved_name = :δ₂, op = :codif),
     (src_type = :Form1, tgt_type = :Form0, resolved_name = :δ₁, op = :codif),
+    # Rules for ♯.
+    (src_type = :Form1, tgt_type = :PVF, resolved_name = :♯ᵖᵖ, op = :♯),
+    (src_type = :DualForm1, tgt_type = :DVF, resolved_name = :♯ᵈᵈ, op = :♯),
+    # Rules for ♭.
+    (src_type = :DVF, tgt_type = :Form1, resolved_name = :♭ᵈᵖ, op = :♭),
     # Rules for ∇².
     # TODO: Call this :nabla2 in ASCII?
     (src_type = :Form0, tgt_type = :Form0, resolved_name = :∇²₀, op = :∇²),

diff --git a/test/language.jl b/test/language.jl
@@ -1110,7 +1110,7 @@ end
       summand = [3, 17]
       summation = [1, 1]
       sum = [5]
-      op1 = [:∂ₜ, :d₀, :d₀, :♯, :mag, :⋆₁, :dual_d₁, :⋆₀⁻¹]
+      op1 = [:∂ₜ, :d₀, :d₀, :♯ᵖᵖ, :mag, :⋆₁, :dual_d₁, :⋆₀⁻¹]
       op2 = [:*, :-, :^, :∧₁₀, :^, :∧₁₀]
       type = [:Form0, :Form1, :Constant, :Form0, :infer, :Form1, :Form1, :Form1, :Form1, :Form0, :Form0, :PVF, :Form1, :infer, :Literal, :Form0, :Literal, :DualForm1, :DualForm2]
       name = [:h, :Γ, :n, :ḣ, :sum_1, Symbol("•2"), Symbol("•3"), Symbol("•4"), Symbol("•5"), Symbol("•6"), Symbol("•7"), Symbol("•8"), Symbol("•9"), Symbol("•10"), Symbol("1"), Symbol("•11"), Symbol("2"), Symbol("•_6_1"), Symbol("•_6_2")]