{-
I want to override Prelude.^ (as an academic exercise).
Can it be done? How?
Trent
-}
(^) :: Int -> Int -> Int
m ^ 0 = 1
m ^ n = m * (m ^ (n-1))
{-
Hutton, Graham. Programming in Haskell (p. 263). Cambridge University
Press. Kindle Edition. 2016.
-}
{-
Result
[1 of 1] Compiling Main ( ex6_3b.hs, interpreted )
ex6_3b.hs:3:16: error:
Ambiguous occurrence ‘^’
It could refer to either ‘Prelude.^’,
imported from ‘Prelude’ at ex6_3b.hs:1:1
(and originally defined in ‘GHC.Real’)
or ‘Main.^’, defined at ex6_3b.hs:2:3
|
3 | m ^ n = m * (m ^ (n-1)) | ^
Failed, no modules loaded.
-}
-- So I try
(^) :: Int -> Int -> Int
m Main.^ 0 = 1
m Main.^ n = m * (m Main.^ (n-1))
{-
Result
Prelude> :reload
ex6_3b.hs:2:3: error: Qualified name in binding position: Main.^
|
2 | m Main.^ 0 = 1 | ^^^^^^
[1 of 1] Compiling Main ( ex6_3b.hs, interpreted )
Failed, no modules loaded.
-}
