[Agda] Agda environment: Hackage, Hoogle, Haddock, Cabal?

[Ulf Norell]

I was considering that it might be possible to use cabal packages (and
cabal) out-of-the-box. We'd just need some Distribution.Agda functions to
use in Setup.hs to type check and install the Agda files. We are already
doing something like this for Agda.Primitive in the Agda cabal package.

/ Ulf


On Mon, Mar 24, 2014 at 11:06 PM, Mateusz Kowalczyk <fuuzetsu at fuuzetsu.co.uk
> wrote:

> On 24/03/14 21:02, Tillmann Rendel wrote:
> > Hi,
> >
> > Mateusz Kowalczyk wrote:
> >> Are there plans to assimilate tools with functionality of Hackage,
> >> Hoogle, Haddock and Cabal into the Agda environment?
> >
> > This would be great!
> >
> > Maybe a first step would be to define a notion of "Agda package" that
> > consists of a bunch of agda files. The goal would be to say:
> >
> >    agda --package stdlib Main.agda
> >
> > instead of
> >
> >    agda -i$HOME/agda-lib/src -i. Main.agda
> >
> > This is intentionally a very modest goal, but I think it would be a step
> > in a good direction.
> >
> >    Tillmann
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se
> > https://lists.chalmers.se/mailman/listinfo/agda
> >
>
> I think we can re-use cabal packages for this pretty easily, removing
> anything we might not need. I think that what you outline is a fine
> first ‘big’ goal.
>
> I'll have to study the cabal source code.
>
> I am glad to see that there's interest.
>
> --
> Mateusz K.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140325/38218e79/attachment.html