Tried to add rule to aesop. Got duplicate rule rror.

Stream: new members

[Kevin Cheung]

I am trying to create a custom rule set for aesop for the first time. I'm not sure why the following caused an error at the line @[aesop]... Help greatly appreciated.

import Aesop

declare_aesop_rule_sets [myrules]

macro (name := foo) "foo" : tactic =>
  `(tactic
    | first
    | aesop (rule_sets := [myrules]) (simp_config := { enabled := false })
        (config := { terminal := true })
    | fail "out of scope")

@[aesop safe (rule_sets [myrules])]
theorem mytheorem {a b : Nat} : a ^ 3 + b ^ 3 = (a + b) * (a ^ 2 + b ^ 2 - a * b) := by
  sorry

duplicate rule 'rule_sets (List.cons✝ myrules List.nil✝)'; rule 'mytheorem' was already given.
Use [<term>,...] to give multiple rules.```

[Kevin Cheung]

I figured out the problems.