[Agda] Agda error reporting
Nils Anders Danielsson
nad at Cs.Nott.AC.UK
Mon Apr 12 14:51:42 CEST 2010
On 2010-04-10 22:04, kahl at cas.mcmaster.ca wrote:
> Does anybody know a terminal+settings combination that works?
On what kind of system?
Agda will "crash" if you try to print a character which is not supported
by the underlying locale:
$ LC_CTYPE=sv_SE.utf8 ghc -e 'putStrLn "\x2200"'
∀
$ LC_CTYPE=sv_SE.iso88591 ghc -e 'putStrLn "\x2200"'
<interactive>: <stdout>: hPutChar: invalid argument (Invalid or incomplete multibyte or wide character)
> What is the best way to limit the heap for Agda running inside emacs?
One option:
• M-x customize-group RET haskell-ghci RET
• Add three new arguments to "Haskell Ghci Program Args": +RTS -MxxG
-RTS
You could also use the GHCRTS environment variable.
> Could one also pass in +RTS -S and actually see the result in the ghci
> buffer?
Yes.
--
/NAD
More information about the Agda
mailing list