4 Commits (22a658e794598ff893c63596b5ad289acc1eb8d9)

Author	SHA1	Message	Date
Lennart Spitzner	ebe85a5949	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-05-02 09:16:04 +00:00
Lennart Spitzner	72c9e4c3ab	Fix block-comment delta position special case	2023-05-02 09:16:03 +00:00
Lennart Spitzner	ee2814e3a8	Reintroduce BDAnnotationKW in the form of BDEntryDelta	2023-05-02 09:16:03 +00:00
Lennart Spitzner	d11141d34d	Refactor+Rewrite+Adaptation for ghc-9.2 support	2023-05-02 09:16:03 +00:00