[1 of 4] Compiling Prettyprinter.Render.Terminal.Internal ( src/Prettyprinter/Render/Terminal/Internal.hs, dist/build/Prettyprinter/Render/Terminal/Internal.o, dist/build/Prettyprinter/Render/Terminal/Internal.dyn_o )
src/Prettyprinter/Render/Terminal/Internal.hs:158:44: error: [GHC-83865]
• Couldn't match type ‘[Char]’ with ‘Text’
Expected: Text
Actual: prettyprinter-1.7.1:Data.Text.Text
• In the first argument of ‘TLB.fromText’, namely ‘t’
In the first argument of ‘(<>)’, namely ‘TLB.fromText t’
In the expression: TLB.fromText t <> go s rest
|
158 | SText _ t rest -> TLB.fromText t <> go s rest
| ^
src/Prettyprinter/Render/Terminal/Internal.hs:211:29: error: [GHC-83865]
• Couldn't match type ‘[Char]’ with ‘Text’
Expected: Text
Actual: prettyprinter-1.7.1:Data.Text.Text
• In the second argument of ‘T.hPutStr’, namely ‘t’
In a stmt of a 'do' block: T.hPutStr h t
In the expression:
do T.hPutStr h t
go rest
|
211 | T.hPutStr h t
| ^
Error: cabal: Failed to build prettyprinter-ansi-terminal-1.1.3 (which is
required by exe:counterexample from counterexample-0.1.0.0). See the build log
above for details.
Here is a minimal counterexample:
Cabal file:
counterexample.cabal:
Cabal.project file
cabal.project
Build errors