#7365: rem function in ghci changes result when using the Int type -----------------------------------------+---------------------------------- Reporter: leonardo | Owner: Type: bug | Status: new Priority: normal | Component: GHCi Version: 7.4.1 | Keywords: Os: Windows | Architecture: x86 Failure: Incorrect result at runtime | Testcase: Blockedby: | Blocking: Related: | -----------------------------------------+---------------------------------- 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 }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7365> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs