<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'>


<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
Hello,<br><br>I have narrowed down the coredumps to be caused by the usage of show.<br><br>open import Data.Nat.Show using (show)<br>fromString : String → Colist Char<br>fromString = fromColist ∘ toCostring<br><br>main = (putStrLn ∘ fromString) (show 0) -- coredumps<br>main = (putStrLn ∘ fromString) ("0") -- does not coredump<br><br>though C-c C-n in emacs on main, shows the output for both commands.<br><br>Thanks<br><br><br><hr id="stopSpelling">From: sivaramreddy@hotmail.com<br>To: agda@lists.chalmers.se<br>Subject: agda coredump<br>Date: Thu, 24 Mar 2011 15:10:14 -0400<br><br>

<meta http-equiv="Content-Type" content="text/html; charset=unicode">
<meta name="Generator" content="Microsoft SafeHTML">
<style>
.ExternalClass .ecxhmmessage P
{padding:0px;}
.ExternalClass body.ecxhmmessage
{font-size:10pt;font-family:Tahoma;}

</style>


<br>



<style>
.ExternalClass .ecxhmmessage P
{padding:0px;}
.ExternalClass body.ecxhmmessage
{font-size:10pt;font-family:Tahoma;}
</style>


<br>



<style>
.ExternalClass .ecxhmmessage P
{padding:0px;}
.ExternalClass body.ecxhmmessage
{font-size:10pt;font-family:Tahoma;}
</style>


Hello,<br><br>The attached source file coredumps when I execute it from shell as "./mylist", where as the term "main" seems to work fine in emacs and it shows the output in emacs as:<br><br>putStrLn<br>(Foreign.Haskell._∷_ 'l'<br>&nbsp;(.Foreign.Haskell.♯-0 'l'<br>&nbsp; (.Data.Colist.♯-2 'l'<br>&nbsp;&nbsp; (.Data.List.List._∷_ 'e'<br>&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 'n'<br>&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 'g'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 't'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 'h'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ ' '<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 'o'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 'f'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ ' '<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 'l'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 'i'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 's'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ 't'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ ':'<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ ' '<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (.Data.List.List._∷_ '0' .Data.List.List.[])))))))))))))))))))<br><br>my versions are: <br><br>┌─(~/dev/apps/haskell/agda/learn)─────────────────────────────────────────────────────────────────────────────────────────────────────────────────(pts/1@firefox)─┐<br>ghc -v<br>Glasgow Haskell Compiler, Version 7.0.2.20110316, for Haskell 98, stage 2 booted by GHC version 6.12.3<br>Using binary package database: /home/j/.ghc/lib/ghc-7.0.2.20110316/package.conf.d/package.cache<br>Using binary package database: /home/j/.ghc/i386-linux-7.0.2.20110316/package.conf.d/package.cache<br>hiding package Agda-2.2.10 to avoid conflict with later version Agda-2.2.11<br>hiding package syb-0.2.2 to avoid conflict with later version syb-0.3<br>hiding package xmonad-contrib-0.9.2 to avoid conflict with later version xmonad-contrib-0.10<br>hiding package xmonad-0.9.2 to avoid conflict with later version xmonad-0.10<br>wired-in package ghc-prim mapped to ghc-prim-0.2.0.0-6bf7b03ebc9c668817e4379b6796c0c2<br>wired-in package integer-gmp mapped to integer-gmp-0.2.0.3-91607778cf3ae8f3948a50062b4f8479<br>wired-in package base mapped to base-4.3.1.0-cf5fbbf5ccbd0475ad054efbb121340e<br>wired-in package rts mapped to builtin_rts<br>wired-in package template-haskell mapped to template-haskell-2.5.0.0-f0c8f015e470d561d64a578434331367<br>wired-in package dph-seq not found.<br>wired-in package dph-par not found.<br>Hsc static flags: -static<br>*** Deleting temp files:<br>Deleting: <br>*** Deleting temp dirs:<br>Deleting: <br>ghc: no input files<br>Usage: For basic information, try the `--help' option.<br>┌─(~/dev/apps/haskell/agda/learn)─────────────────────────────────────────────────────────────────────────────────────────────────────────────────(pts/1@firefox)─┐<br>ghc-pkg list -v | grep -i agda<br>&nbsp;&nbsp;&nbsp; Agda-2.2.10 (Agda-2.2.10-63be3f8749c7ebfb7d87b08fb5483c8c)<br>&nbsp;&nbsp;&nbsp; Agda-2.2.11 (Agda-2.2.11-e2c6a5deeb94eddc4a90b96a521ea4e5)<br>┌─(~/dev/apps/haskell/agda/learn)─────────────────────────────────────────────────────────────────────────────────────────────────────────────────(pts/1@firefox)─┐<br>agda --version<br>Agda version 2.2.10<br>┌─(~/dev/apps/haskell/agda/learn)─────────────────────────────────────────────────────────────────────────────────────────────────────────────────(pts/1@firefox)─┐<br>./mylist<br>zsh: segmentation fault (core dumped)&nbsp; ./mylist<br><br>Please let me know if you want the core file.<br><br>Thanks<br>Siva<br>                                               </body>
</html>