id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
7365	rem function in ghci changes result when using the Int type	leonardo		"I define this function

{{{
congruent_modulo_n a b n = (rem a n) == (rem b n)
}}}

If the signature is:

{{{
congruent_modulo_n :: Integer->Integer->Integer->Bool
}}}

Then when I try this function in the ghci everything works perfect.
If I use this signature:

{{{
congruent_modulo_n :: Int->Int->Int->Bool
}}}
Then for the following input I get False:

{{{
congruent_modulo_n (3^(113-1)) 1 113
}}}


"	bug	closed	normal		GHCi	7.4.1	invalid			Windows	x86	Incorrect result at runtime	Unknown