<br>On Fri, Apr 9, 2010 at 11:23 PM, <span dir="ltr"><<a href="mailto:kahl@cas.mcmaster.ca">kahl@cas.mcmaster.ca</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
The latest development version of Agda (my first pull since quite a while)<br>
seems to truncate error messages to the first three lines when called<br>
from the command line.<br>
(Being on PowerPC, I don't have ghci, so I normally use the command line.)<br>
<br>
I did<br>
<br>
darcs changes -v | less<br>
<br>
and looked for ``take'', but didn't find anything suspicious-looking<br>
back to 2nd December.<br>
<br>
How can I get the full error messages back?<br></blockquote><div><br>That's a unicode issue. We switched to using the unicode support that comes with<br>the ghc libraries, and there's a problem that if your terminal isn't configured for<br>
unicode it just truncates the output. I can't remember the exact details but making<br>sure your terminal can display unicode will make the problem go away.<br><br>/ Ulf<br></div></div>