[Barrelfish-users] build error: Main.hs: Expecting one more argument to ‘Exp’

[Timothy Roscoe]

If I understand you correctly, you have the following ghc packages
installed:

 ghc
 libghc-exceptions-dev
 libghc-extensible-exceptions-dev
 libghc-ghc-mtl-dev 
 libghc-ghc-paths-dev
 libghc-mtl-dev
 libghc-stm-dev
 libghc-transformers-compat-dev

Can you try installing the following additional packages and seeing if
this fixes the problem?

 libghc-async-dev
 libghc-parsec3-dev
 libghc-random-dev
 libghc-src-exts-dev

 --  Mothy


At Sat, 29 Apr 2017 18:42:00 +0000, Michael Neilly <mneilly at yahoo.com> wrote:
> Thanks for the response Timothy. Unfortunately, I'm seeing the same error on Ubuntu with GHC 7.10.3. FWIW - I've attached the output from "cabal list --installed" and "dpkg -l | grep ghc" to show the versions in case there are any issues there...
> mneilly at vm-ubuntu:~/OSS/barrelfish/build$
> NAME="Ubuntu"VERSION="16.04.1 LTS (Xenial Xerus)"ID=ubuntuID_LIKE=debianPRETTY_NAME="Ubuntu 16.04.1 LTS"VERSION_ID="16.04"HOME_URL="http://www.ubuntu.com/"SUPPORT_URL="http://help.ubuntu.com/"BUG_REPORT_URL="http://bugs.launchpad.net/ubuntu/"UBUNTU_CODENAME=xenial
> mneilly at vm-ubuntu:~/OSS/barrelfish/build$ ghc --versionThe Glorious Glasgow Haskell Compilation System, version 7.10.3
> mneilly at vm-ubuntu:~/OSS/barrelfish/build$ ../hake/hake.sh -s ../ -a x86_64Install directory defaulting to '.'Source directory is ../Architectures to build: "x86_64"Setting up hake build directory...You already have Config.hs, leaving it as-is.Building hake...[13 of 13] Compiling Main             ( ../hake/Main.hs, hake/Main.o )
> ../hake/Main.hs:348:43:    Expecting one more argument to ‘Exp’    The first argument of ‘Either’ should have kind ‘*’,      but ‘Exp’ has kind ‘* -> *’    In the type signature for ‘parseHake’:      parseHake :: FilePath -> String -> Either Exp HakeError
> ../hake/Main.hs:406:25:    Expecting one more argument to ‘Exp’    Expected a type, but ‘Exp’ has kind ‘* -> *’    In the type signature for ‘wrapHake’:      wrapHake :: FilePath -> Exp -> Exp
> 
>       From: Timothy Roscoe <troscoe at inf.ethz.ch>
>  To: Michael Neilly <mneilly at yahoo.com>
> Cc: "barrelfish-users at lists.inf.ethz.ch" <barrelfish-users at lists.inf.ethz.ch>
>  Sent: Saturday, April 29, 2017 10:29 AM
>  Subject: Re: [Barrelfish-users] build error: Main.hs: Expecting one more argument to ‘Exp’
> 
> 
> Dear Michael,
> 
> This is most likely a Haskell problem - the glorious Glasgow Haskell
> people like to make subtle incompatible changes to their compiler with
> each new version.
> 
> As a rule, we always support (and our CI tests run on) a reasonably
> recent version of Ubuntu LTS - right now that's 16.04 (Xenial), which
> ships with GHC version 7.10.3.  I'd suggest trying that, and let us
> know if the problem persists.
> 
> Best regards,
> 
>  -- Mothy
> 
> At Sat, 29 Apr 2017 16:03:33 +0000, Michael Neilly <mneilly at yahoo.com> wrote:
> > Hello, I thought I'd take a look at barrelfish. I have cloned the git repo and am attempting to build from mastesr but I am seeing the following error. Any suggestions on how I can resolve this? Thx!
> > $ ghc --versionThe Glorious Glasgow Haskell Compilation System, version 8.0.1
> > $ ../hake/hake.sh -s ../ -a x86_64Install directory defaulting to '.'Source directory is ../Architectures to build: "x86_64"Setting up hake build directory...You already have Config.hs, leaving it as-is.Building hake...[13 of 13] Compiling Main             ( ../hake/Main.hs, hake/Main.o )
> > ../hake/Main.hs:348:43: error:    • Expecting one more argument to ‘Exp’      Expected a type, but ‘Exp’ has kind ‘* -> *’    • In the first argument of ‘Either’, namely ‘Exp’      In the type signature:        parseHake :: FilePath -> String -> Either Exp HakeError
> > ../hake/Main.hs:406:25: error:    • Expecting one more argument to ‘Exp’      Expected a type, but ‘Exp’ has kind ‘* -> *’    • In the type signature:        wrapHake :: FilePath -> Exp -> Exp
> > ../hake/Main.hs:406:32: error:    • Expecting one more argument to ‘Exp’      Expected a type, but ‘Exp’ has kind ‘* -> *’    • In the type signature:        wrapHake :: FilePath -> Exp -> Exp$
> 
>