search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
911 stars 200 forks source link

Refactor inlining transformation #1742

Open azreika opened 3 years ago

azreika commented 3 years ago

The inlining AST transformer - ast/transform/InlineRelationsTransformer's - code quality can be improved significantly. At some point, it should be refactored to remove code bloat and have a structure consistent with the other cleaned-up transformations.

azreika commented 3 years ago

This is not high-priority, but definitely needed, as maintainability can be improved extremely.