4 Commits (e9f66b3fd8239f9643c3e95e723f6e5cf80526a8)

Author	SHA1	Message	Date
Lennart Spitzner	bad95f3670	Use dependency-injection for ToBriDoc modules ... I assume this makes inlining impossible, but it enables parallel compilation of all these modules. In my tests this reduce wall clock time to 92%, and with more cores the benefit should be higher.	2023-04-22 19:54:24 +00:00
Lennart Spitzner	278dcfc7c6	Fix block-comment delta position special case	2023-04-22 19:54:24 +00:00
Lennart Spitzner	7db1028223	Reintroduce BDAnnotationKW in the form of BDEntryDelta	2023-04-22 19:54:24 +00:00
Lennart Spitzner	7ebd61db3d	Refactor+Rewrite+Adaptation for ghc-9.2 support	2023-04-22 19:54:24 +00:00