<!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>
"Compilation error: epic: user error (Unknown name primShowString)"<BR>
<BR>
Trying a simple fix, adding<BR>
<BR>
primShowString (xs : String) -> 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>
primShowChar (c : Int) -> String = charToString c<BR>
<BR>
brought another error I couldn't correct anymore:<BR>
<BR>
"Compilation error:<BR>
epic: user error (AgdaPrelude.e:67:Parse error at (s : String) -> Int = foreign Int "strl ...)"<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>