{-

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.

-}