nikita-volkov / cases Goto Github PK

> /tmp/stackage-build8$ stack unpack cases-0.1.3
Unpacked cases-0.1.3 to /tmp/stackage-build8/cases-0.1.3/
> /tmp/stackage-build8/cases-0.1.3$ runghc -clear-package-db -global-package-db -package-db=/home/stackage/work/build
s/nightly/pkgdb Setup configure --package-db=clear --package-db=global --package-db=/home/stackage/work/builds/nightl
y/pkgdb --libdir=/home/stackage/work/builds/nightly/lib --bindir=/home/stackage/work/builds/nightly/bin --datadir=/ho
me/stackage/work/builds/nightly/share --libexecdir=/home/stackage/work/builds/nightly/libexec --sysconfdir=/home/stac
kage/work/builds/nightly/etc --docdir=/home/stackage/work/builds/nightly/doc/cases-0.1.3 --htmldir=/home/stackage/wor
k/builds/nightly/doc/cases-0.1.3 --haddockdir=/home/stackage/work/builds/nightly/doc/cases-0.1.3 --flags=
Configuring cases-0.1.3...
> /tmp/stackage-build8/cases-0.1.3$ runghc -clear-package-db -global-package-db -package-db=/home/stackage/work/build
s/nightly/pkgdb Setup build
Building cases-0.1.3...
Preprocessing library cases-0.1.3...
[1 of 2] Compiling Cases.Prelude    ( library/Cases/Prelude.hs, dist/build/Cases/Prelude.o )
[2 of 2] Compiling Cases            ( library/Cases.hs, dist/build/Cases.o )

library/Cases.hs:72:20: error:
    • Couldn't match type ‘r’ with ‘forall a. Monoid a => a’
      ‘r’ is a rigid type variable bound by
        the type signature for:
          partsParser :: forall r. Monoid r => Folder r -> A.Parser r
        at library/Cases.hs:71:16
      Expected type: (forall a. Monoid a => a) -> A.Parser r
        Actual type: r -> Data.Attoparsec.Internal.Types.Parser T.Text r
    • The function ‘loop’ is applied to one argument,
      its type is ‘cat0 b0 c0’,
      it is specialized to ‘r
                            -> Data.Attoparsec.Internal.Types.Parser T.Text r’
      In the expression: loop mempty
      In an equation for ‘partsParser’:
          partsParser fold
            = loop mempty
            where
                loop r
                  = (partParser >>= loop . fold r) <|> (A.anyChar *> loop r)
                    <|> (A.endOfInput *> pure r)
    • Relevant bindings include
        loop :: r -> Data.Attoparsec.Internal.Types.Parser T.Text r
          (bound at library/Cases.hs:73:3)
        fold :: Folder r (bound at library/Cases.hs:72:13)
: