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

[edwinb]

Issue by LeifW
Friday May 15, 2020 at 13:47 GMT
Originally opened as edwinb/Idris2-boot#375

---

Just did a git pull (at 21507e6), 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]

Comment by edwinb
Friday May 15, 2020 at 14:58 GMT

---

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

[buzden]

When I had this problem, cleaning helped.

[edwinb]

I'm going to close this since the build system is entirely different now. If there's still a problem, please reopen (or maybe better, open a new issue).