id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
6012,No warning for Incorrect display of 15! (factorial 15) when type is Int -> Int,George.Atelier,,"GHCi version: 7.0.4

Offending function:

factorial :: Int -> Int
factorial 0 = 1
factorial n = n * factorial (n-1)


Correct answer is displayed (as expected) when type is

factorial :: Integer -> Integer

THE BUG IS THE DISPLAY OF A CORRECT-LOOKING INCORRECT ANSWER THAT RESULTED FROM (UNREPORTED) OVERFLOW OF Int (but not of Integer)

~~ Thank you


",bug,closed,normal,,Compiler,7.0.4,invalid,Int  Integer recursion,,Windows,x86_64 (amd64),Incorrect result at runtime,,factorial 15,,,