<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:????
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><font size="3" style="font-size:12pt;" color="#000000">Hi Andres,</font><div><font size="3" style="font-size:12pt;" color="#000000"><br></font></div><div><font size="3" style="font-size:12pt;" color="#000000">how to uninstall this incompatible version?<br id="FontBreak"></font><br><div>Regards,</div><div><br></div><div>Martin </div><br><br><div>> From: asr@eafit.edu.co<br>> Date: Sat, 19 Dec 2015 04:57:23 -0500<br>> Subject: Re: [Agda] how to run helloworld in agda<br>> To: tesleft@hotmail.com<br>> CC: leo@halfaya.org; ulf.norell@gmail.com; agda@lists.chalmers.se<br>> <br>> On 19 December 2015 at 03:23, Mandy Martino <tesleft@hotmail.com> wrote:<br>> > time agda -c hello.agda -i. -iagda-stdlib/src/<br>> > --ghc-flag=/home/martin/hilbertreborn/agda-stdlib/ffi/IO/FFI.hs<br>> ><br>> <br>> You don't need `--ghc-flag=/home/martin/hilbertreborn/agda-stdlib/ffi/IO/FFI.hs`<br>> with the agda-stdlib library.<br>> <br>> <br>> > open import IO<br>> > main = putStrLn "Hello World"<br>> ><br>> <br>> The above program requires the agda-prelude library, but you are using<br>> the agda-stdlib library.<br>> <br>> > martin@ubuntu:~/hilbertreborn$ time agda -c hello.agda -i.<br>> > -iagda-stdlib/src/<br>> > --ghc-flag=/home/martin/hilbertreborn/agda-stdlib/ffi/IO/FFI.hs<br>> ...<br>> > (/home/martin/hilbertreborn/agda-stdlib/src/Data/Maybe/Base.agda).<br>> > Checking Data.Bool.Base<br>> > (/home/martin/hilbertreborn/agda-stdlib/src/Data/Bool/Base.agda).<br>> > /home/martin/hilbertreborn/agda-stdlib/src/Data/Bool/Base.agda:32,5-5<br>> > /home/martin/hilbertreborn/agda-stdlib/src/Data/Bool/Base.agda:32,5: Parse<br>> > error<br>> > COMPILED_DATA_UHC<ERROR><br>> > Bool __BOOL__ __TRUE__ __FALS...<br>> <br>> Your version of agda-stdlib is not compatible with your version of Agda.<br>> <br>> In http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary<br>> you can see which version of agda-stdlib is compatible with your<br>> version of Agda.<br>> <br>> -- <br>> Andrés<br></div></div>                                            </div></body>
</html>