search

HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

Problem with variables named `dup` #495

Closed algebraic-dev closed 4 months ago

algebraic-dev commented 1 year ago 
#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