Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ivanoats/b5f1d24ae8b83dbfdfce972278266105 to your computer and use it in GitHub Desktop.
Save ivanoats/b5f1d24ae8b83dbfdfce972278266105 to your computer and use it in GitHub Desktop.
cabal: Entering directory '/var/folders/85/c3khd5g15nq5yy8_1m0s40y00000gn/T/cabal-tmp-26301/herbalizer-0.4.9'
Configuring herbalizer-0.4.9...
Building herbalizer-0.4.9...
Preprocessing executable 'herbalizer' for herbalizer-0.4.9...
[1 of 1] Compiling Main ( src/Main.hs, dist/build/herbalizer/herbalizer-tmp/Main.o )
src/Main.hs:152:5: error:
• Non type-variable argument in the constraint: Stream s m Char
(Use FlexibleContexts to permit this)
• When checking the inferred type
betweenStuff :: forall s (m :: * -> *) u.
Stream s m Char =>
Char -> Char -> ParsecT s u m [Char]
In an equation for ‘rubyValue’:
rubyValue
= do { xs <- many (noneOf "},([ \t") <* spaces;
rest <- ((lookAhead (oneOf ",}") >> return ""))
<|> (betweenStuff '(' ')') <|> (betweenStuff '[' ']');
return $ "<%= " ++ xs ++ rest ++ " %>" }
where
betweenStuff x y
= do { xs' <- between (char x) (char y) (many $ noneOf ...);
.... }
src/Main.hs:187:1: error:
• Non type-variable argument
in the constraint: Stream s (State SourcePos) z
(Use FlexibleContexts to permit this)
• When checking the inferred type
filterBlock :: forall s u a z.
Stream s (State SourcePos) z =>
ParsecT s u (State SourcePos) a -> IndentParser s u [a]
cabal: Leaving directory '/var/folders/85/c3khd5g15nq5yy8_1m0s40y00000gn/T/cabal-tmp-26301/herbalizer-0.4.9'
@ivanoats
Copy link
Author

ivanoats commented Jun 6, 2016

with stack, too:

 stack build
[1 of 1] Compiling Main             ( /private/var/folders/85/c3khd5g15nq5yy8_1m0s40y00000gn/T/stack35055/Setup.hs, /private/var/folders/85/c3khd5g15nq5yy8_1m0s40y00000gn/T/stack35055/Setup.o )
Linking /Users/ivan/.stack/setup-exe-cache/x86_64-osx/tmp-setup-Simple-Cabal-1.22.5.0-ghc-7.10.3 ...
concatenative-1.0.1: download
mtl-2.2.1: download
concatenative-1.0.1: configure
text-1.2.2.1: download
concatenative-1.0.1: build
mtl-2.2.1: configure
mtl-2.2.1: build
text-1.2.2.1: configure
concatenative-1.0.1: copy/register
text-1.2.2.1: build
mtl-2.2.1: copy/register
regex-base-0.93.2: download
regex-base-0.93.2: configure
regex-base-0.93.2: build
regex-base-0.93.2: copy/register
regex-posix-0.95.2: download
regex-posix-0.95.2: configure
regex-posix-0.95.2: build
regex-posix-0.95.2: copy/register
text-1.2.2.1: copy/register
parsec-3.1.11: download
parsec-3.1.11: configure
parsec-3.1.11: build
parsec-3.1.11: copy/register
indents-0.3.3: download
indents-0.3.3: configure
indents-0.3.3: build
indents-0.3.3: copy/register
herbalizer-0.4.9: configure
Configuring herbalizer-0.4.9...
herbalizer-0.4.9: build
Preprocessing executable 'herbalizer' for herbalizer-0.4.9...
[1 of 1] Compiling Main             ( src/Main.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/herbalizer/herbalizer-tmp/Main.o )

/Users/ivan/dev/haskell/herb/herbalizer-0.4.9/src/Main.hs:152:5:
    Non type-variable argument in the constraint: Stream s m Char
    (Use FlexibleContexts to permit this)
    When checking that ‘betweenStuff’ has the inferred type
      betweenStuff :: forall s u (m :: * -> *).
                      Stream s m Char =>
                      Char -> Char -> ParsecT s u m [Char]
    In an equation for ‘rubyValue’:
        rubyValue
          = do { xs <- many (noneOf "},([ \t") <* spaces;
                 rest <- ((lookAhead (oneOf ",}") >> return ""))
                         <|> (betweenStuff '(' ')') <|> (betweenStuff '[' ']');
                 return $ "<%= " ++ xs ++ rest ++ " %>" }
          where
              betweenStuff x y
                = do { xs' <- between (char x) (char y) (many $ noneOf ...);
                       .... }

/Users/ivan/dev/haskell/herb/herbalizer-0.4.9/src/Main.hs:187:1:
    Non type-variable argument
      in the constraint: Stream s (State SourcePos) z
    (Use FlexibleContexts to permit this)
    When checking that ‘filterBlock’ has the inferred type
      filterBlock :: forall s u a z.
                     Stream s (State SourcePos) z =>
                     ParsecT s u (State SourcePos) a -> IndentParser s u [a]
Completed 8 action(s).

--  While building package herbalizer-0.4.9 using:
      /Users/ivan/.stack/setup-exe-cache/x86_64-osx/setup-Simple-Cabal-1.22.5.0-ghc-7.10.3 --builddir=.stack-work/dist/x86_64-osx/Cabal-1.22.5.0 build exe:herbalizer --ghc-options " -ddump-hi -ddump-to-file"
    Process exited with code: ExitFailure 1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment