<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/4.6.6">
</HEAD>
<BODY>
<BR>
Trying to compile a simple agda programme with the epic backend ran into problems. Installing Agda-2.4.2.2 with ghc-7.8.3 and emacs-mode (on Linux) work flawlessly. Equally, the MAlonzo backend works fine.<BR>
<BR>
Trying out the Epic backend, I ran into problems already with a sample programme using the stdlib-0.9 when epic compiles EpicInclude.e:<BR>
<BR>
&quot;Compilation error: epic: user error (Unknown name primShowString)&quot;<BR>
<BR>
Trying a simple fix, adding<BR>
<BR>
&nbsp;&nbsp;&nbsp; primShowString (xs : String) -&gt; String = xs<BR>
<BR>
<BR>
to EpicInclude.e avoided this error message, but primShowChar became unknown to the compiler. Trying to fix this with<BR>
<BR>
&nbsp;&nbsp;&nbsp; primShowChar (c : Int) -&gt; String = charToString c<BR>
<BR>
brought another error I couldn't correct anymore:<BR>
<BR>
&quot;Compilation error:<BR>
epic: user error (AgdaPrelude.e:67:Parse error at&nbsp; (s : String) -&gt; Int = foreign Int &quot;strl ...)&quot;<BR>
<BR>
which could of course be caused by a wrong definition of primShowChar.<BR>
<BR>
<BR>
Any help is appreciated.<BR>
<BR>
Hans Peter
</BODY>
</HTML>