Kind1 icon indicating copy to clipboard operation
Kind1 copied to clipboard

Problem with variables named `dup`

Open algebraic-dev opened this issue 3 years ago • 0 comments

#derive[match]
type Node {
  dup
  bup
}
thread 'main' panicked at 'Expected `name`:
    880 | (Q$Node.match orig (Kind.Term.ct0 (Node.dup.) orig) motive dup bup) = (Kind.Term.ann 536870941 (Kind.Term.set_origin 536870941 dup) (Kind.Term.app 402653204 (Kind.Term.set_origin 402653204 motive) (Kind.Term.ct0 (Node.dup.) 402653204)))', crates/kind-checker/src/lib.rs:88:21
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

algebraic-dev avatar Mar 10 '23 20:03 algebraic-dev