Build error: Can't disambiguate name: Main.yprefix, YafflePaths.yprefix

[LeifW]

Just did a git pull (at 21507e64f38c3ac4a1f0fafce7fa7e5c1f59ec1d), and running "make install" fails with:

...
Type checking ./Idris/IDEMode/REPL.idr
Type checking ./Idris/Main.idr
./Idris/Main.idr:49:15-21:
   |
49 |               Nothing => setPrefix yprefix
   |               ~~~~~~~
When checking right hand side of Main.case block in updatePaths at ./Idris/Main.idr:47:15-21 with expected type
        Core ()

Can't disambiguate name: Main.yprefix, YafflePaths.yprefix

./Idris/Main.idr:212:7-213:19:
    |
212 |     = do putStrLn yprefix
    |       ~~~~~~~~~~~~~~~~~~~ ...
When checking right hand side of quitOpts with expected type
        IO Bool

Can't disambiguate name: Main.yprefix, YafflePaths.yprefix

make: *** [Makefile:92: dist/idris2.c] Error 1

Using Idris 1.3.2 provided by Arch Linux (which pulls the tarball down from GitHub releases: https://git.archlinux.org/svntogit/community.git/tree/trunk/PKGBUILD?h=packages/idris#n21)

[edwinb]

Did you clean everything first? You might have an out of date YafflePaths.idr