Illegal type signature in instance declaration

Question

I'm getting the Illegal type signature in instance declaration error and I have no idea why it is popping up for my program. Indentation seems right, etc. I hope you can help me.

class Game g s | g -> s where
  findPossibleMoves :: Player -> g -> [(s,g)]
  identifyWinner :: g -> Player -> Maybe Player

instance Game HForest HStrategy where
  identifyWinner :: HForest -> Player -> Maybe Player
  identifyWinner ts p = getWinner $ getLeaves ts

  findPossibleMoves :: Player -> HForest -> [(HStrategy, HForest)]
  findPossibleMoves p ts = map (\s -> (s,move s ts)) $ getStrategies p ts

The error is :

Illegal type signature in instance declaration:
  findPossibleMoves :: Player -> HForest -> [(HStrategy, HForest)]
(Use InstanceSigs to allow this)
In the instance declaration for `Game HForest HStrategy'

Cactus · Accepted Answer · 2016-01-15 07:18:32Z

33

You have a type signature in an instance declaration. That's illegal in standard Haskell. You can enable the InstanceSigs extension (put {-# LANGUAGE InstanceSigs #-} at the top of your file) to allow it. Or just delete the type signature.

edited Jan 15, 2016 at 7:18

Cactus

27.8k10 gold badges74 silver badges165 bronze badges

answered Jan 9, 2016 at 22:39

Reid Barton

15k3 gold badges42 silver badges50 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Illegal type signature in instance declaration

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related