Closed stu204146-kiel closed 4 years ago
Floskell should now format promoted types properly, as of master
commit 562dba8
.
With that fix, the function signature looks like this
runTest :: (forall f.
S.EqAST f
=> Sem '[ WithFrontend f
, GetOpt
, InputFile
, Cancel
, Report
, SetExpectation
, Embed IO
]
())
-> IO ()
In a project I am working on, we use Floskell to format the code. We are also using the Framework Polysemy. This framework also uses promoted types. Floskell did format a type signature correctly that uses promoted types (the concrete semantics of the types is not important for this issue).
However, I would expect the following output.
The following configuration file was used.