#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

Reply via email to