search

ekzhang / crepe

Datalog compiler embedded in Rust as a procedural macro
Apache License 2.0
453 stars 16 forks source link

Register Datalog variables bound in `let` patterns #14

Closed ekzhang closed 3 years ago

ekzhang commented 3 years ago

This fixes #13

ekzhang commented 3 years ago

@segeljakt @domenicquirl Would appreciate any feedback on this, or if you have a test to add!

segeljakt commented 3 years ago

Hi, thank you for fixing it so fast! 👍1 I'll try to send a PR with a test or example