[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