Sorry this should have been sent to the list. ---------- Forwarded message ---------- From: David McBride Date: Sat, Jul 8, 2017 at 8:49 AM Subject: Re: [Haskell-beginners] using Shake to compile c++ To: Roger Mason There's three errors here. pkg-config is an IO action and thus in order to use its output, you must use <- instead of a let binding. Then you must choose what you want to save from that command. You could get the exit result, stderr or stdout or both stdout and stderr. We want stdout. And lastly, Stdout is parameterized over a type a, and you have to decide which. You can either do the following Stdout i <- cmd "pkg-config glib-2.0 --cflags" () <- cmd "c++ -c" [c] "-o" [out] "-MMD -MF" [m] [i :: String] Or you can enable ScopedTypeVariables and go Stdout (i :: String) <- cmd "pkg-config glib-2.0 --cflags" I don't really understand why Stdout is parameterized, rather than just being forced to be a string like Stdin, that's a question for the shake authors. On Sat, Jul 8, 2017 at 7:57 AM, Roger Mason wrote:

David McBride writes:

...

Sorry that should have been command, not command_ which is very different.

On Sat, Jul 8, 2017 at 7:37 AM, David McBride wrote:

...

The easy option is to just use command instead of cmd. Variadic functions are always a little weird to type check.

command_ [] "pkg-config" ["glib-2.0","--cflags"]

That will *probably* solve the ambiguity in both lines, but I haven't tested.

Thank you for your replies.

This is what I have now:

"objects//*.o" %> \out -> do let c = dropDirectory1 $ out -<.> "cxx" let m = out -<.> "m" let i = command [] "pkg-config" ["glib-2.0","--cflags"] () <- cmd "c++ -c" [c] "-o" [out] "-MMD -MF" [m] [i] needMakefileDependencies m

That produces:

Build.hs:29:17: error: * Ambiguous type variable `r0' arising from a use of `command' prevents the constraint `(CmdResult r0)' from being solved. Relevant bindings include i :: Action r0 (bound at Build.hs:29:13) Probable fix: use a type annotation to specify what `r0' should be. These potential instances exist: instance CmdResult CmdLine -- Defined in `Development.Shake.Command' instance CmdResult CmdTime -- Defined in `Development.Shake.Command' instance CmdResult Exit -- Defined in `Development.Shake.Command' ...plus 9 others ...plus two instances involving out-of-scope types (use -fprint-potential-instances to see them all) * In the expression: command [] "pkg-config" ["glib-2.0", "--cflags"] In an equation for `i': i = command [] "pkg-config" ["glib-2.0", "--cflags"] In the expression: do { let c = dropDirectory1 $ out -<.> "cxx"; let m = out -<.> "m"; let i = command ... "pkg-config" ...; () <- cmd "c++ -c" [c] "-o" [out] "-MMD -MF" [m] [i]; .... }

Build.hs:30:15: error: * No instance for (Development.Shake.Command.Arg [Action r0]) arising from a use of `cmd' * In a stmt of a 'do' block: () <- cmd "c++ -c" [c] "-o" [out] "-MMD -MF" [m] [i] In the expression: do { let c = dropDirectory1 $ out -<.> "cxx"; let m = out -<.> "m"; let i = command ... "pkg-config" ...; () <- cmd "c++ -c" [c] "-o" [out] "-MMD -MF" [m] [i]; .... } In the second argument of `(%>)', namely `\ out -> do { let ...; let ...; .... }'

Thanks again, Roger