Reorganize the Fixpoint Engine? #6935
Closed
stephentetley
started this conversation in
General
Replies: 2 comments 1 reply
-
Hi Stephen, I agree with your suggestions. Do you want to have a go at it? On a related note, I have a Msc student who will be working on the Datalog aspect in Flix. He starts in about a month. The project itself is yet to be determined. |
Beta Was this translation helpful? Give feedback.
0 replies
-
Thanks Magnus - I'll make a PR. |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Should the fixpoint engine be reorganized to be more like the Flix compiler itself?
At the moment the fixpoint engine doesn't really use namespaces and the file layout arguably makes harder to see how the engine works. I propose merging the Datalog and Ram types into larger units under in an
Ast
namespace like Flix compiler:PrecedenceGraph
seems to merit its own module andPredSym
andDenotation
are used by bothDatalog
andRam
types.Likewise I think a
Phase
namespace would help show how the engine's processing works with the modules called bySolver.solveWithStratification
moved into this namespace:Any thoughts?
Beta Was this translation helpful? Give feedback.
All reactions