Hi Marcel,

I've just uploaded v0.8.1 that requires recent lens without moveTo.

Thanks,
Dmitry


On Fri, Apr 11, 2014 at 11:31 PM, Mateusz Kowalczyk <[email protected]
> wrote:

> On 11/04/14 17:23, Marcel Fourné wrote:
> > Hi!
> >
> > I'm trying to make an update to the debian package of yi to version
> > 0.8, but I ran into some errors (first relevant log snippet attached).
> >
> > To my untrained eye I'm guessing the import from Control.Lens just
> > picked up a name clash with the internal function in
> > src/library/Yi/Buffer/Misc.hs (and some others later from there on).
> >
> > Adding moveTo to the hiding clause of the import from Control.Lens in
> > the following files made yi compile:
> > Buffer/Misc.hs
> > Buffer/Normal.hs
> > Buffer/HighLevel.hs
> > Editor.hs
> > UI/Pango/Control.hs
> > Search.hs,
> > Dired.hs
> > Mode/Compilation.hs
> > Keymap/Vim2/NormalMap.hs
> > Keymap/Vim2/VisualMap.hs
> > Keymap/Vim.hs
> > Mode/Abella.hs
> > Snippets.hs
> > UI/Pango.hs
> >
> > I took the liberty of changing only the imports which make the build
> > fail and have made a patch to the latest available git commit - please
> > see yi-lens-import-hiding-moveTo.diff.
> >
> > Long story short: yi 0.8 did not compile, I hope my patch helps!
> >
> > Greetings and thanks for your work,
> > Marcel
> >
>
> Hi,
>
> It is indeed a clash due to the commit
> ed3aa5141c4fb4fffda70ec4964c1a5671ed38fb
>
> I think what that comment lacks is the restriction on the lower bound of
> lens. Basically, your version of lens is old. It's our fault about the
> version bound but just updating your lens should make the problem go away.
>
> Thanks for reporting.
>
> --
> Mateusz K.
>

-- 
-- 
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
--- 
You received this message because you are subscribed to the Google Groups 
"yi.devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to