id,summary,owner,type,priority,version,resolution
3157,ghci segmentation fault when computation is interrupted,,bug,normal,6.10.2,wontfix