[Agda] Agda on ghc-7.6.2-candidate

Serge D. Mechveliani mechvel at botik.ru
Thu Jan 10 16:04:03 CET 2013


On Thu, Jan 10, 2013 at 07:56:08AM -0500, Andr??s Sicard-Ram??rez wrote:
> On Thu, Jan 10, 2013 at 3:15 AM, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> > Hello,
> >
> > This is on installing  Agda-2.3.2, MAlonzo  on  ghc-7.6.2-pre.
> >
> > ghc-7.6.2  is coming and asks for testing its candidate
> >                                               ghc-7.6.1.20121207.
> > So, I have tried to install Agda-2.3.2, MAlonzo  from source on
> > ghc-7.6.1.20121207,
> > -- with  ghc-7.6.1.20121207  made from source  on Debian Linux.
> >
> > Everything looks as installed, but the final use of
> >
> >   agda -c $agdaLibOpt Main.agda
> >
> > reports
> >   ...
> >   ...
> >   Compiling  Level ...
> >   No such file ... not found  FFI.IO
> >   ~~~~~~~~~~~~
> 
> From the README.agda of the Agda standard library:
> 
> -- To compile the library using the MAlonzo compiler you first need to
> -- install some supporting Haskell code, for instance as follows:
> --
> --   cd ffi
> --   cabal install


Yes, I have done this before applying  agda -c $agdaLibOpt Main.agda

Anyone tried  MAlonzo under ghc-7.6.1.20121207 ?

Regards,

------
Sergei




More information about the Agda mailing list